{"size": 896, "ext": "scrbl", "max_stars_repo_path": "gm-pepm-2018/docs/gm-pepm-2018.scrbl", "max_stars_repo_name": "nuprl/retic_performance", "max_stars_repo_stars_event_min_datetime": "2018-08-03T02:41:29.000Z", "max_stars_repo_stars_event_max_datetime": "2021-03-19T03:18:47.000Z", "max_issues_repo_path": "gm-pepm-2018/docs/gm-pepm-2018.scrbl", "max_issues_repo_name": "nuprl/retic_performance", "max_issues_repo_issues_event_min_datetime": "2018-02-04T17:53:56.000Z", "max_issues_repo_issues_event_max_datetime": "2018-11-10T17:06:57.000Z", "max_forks_repo_path": "gm-pepm-2018/docs/gm-pepm-2018.scrbl", "max_forks_repo_name": "nuprl/retic_performance", "max_forks_repo_forks_event_min_datetime": "2018-08-04T00:14:12.000Z", "max_forks_repo_forks_event_max_datetime": "2018-08-04T00:14:12.000Z"}
{"max_stars_count": 3, "max_issues_count": 3, "max_forks_count": 1, "avg_line_length": 37.3333333333, "max_line_length": 168, "alphanum_fraction": 0.7633928571}
#lang scribble/manual
@title{Artifact: On the Cost of Type-Tag Soundness}
@author[
  @hyperlink["https://github.com/bennn"]{Ben Greenman}
  @hyperlink["https://github.com/migeed-z"]{Zeina Migeed}
]

This package supplements our paper @hyperlink["https://popl18.sigplan.org/event/pepm-2018-on-the-cost-of-type-tag-soundness"]{@emph{On the Cost of Type-Tag Soundness}}.
It contains code to process our datasets and generate the submitted paper.

Local copy: @url{http://www.ccs.neu.edu/home/types/resources/pdf/gm-pepm-2018.pdf}

Source code: @url{https://github.com/nuprl/retic_performance}



@bold{Note}: the code in this package assumes that certain relative paths exist.
 For example, it assumes the Karst datasets are in the folder @filepath{../data/karst}
 relative to the source for the @racketmodname[gm-pepm-2018] package.

@include-section{data.scrbl}
@include-section{reference.scrbl}

