Artifact: Privacy-Respecting Type Error Telemetry at Scale

There is a newer version of the record available.

Published December 8, 2023 | Version 0.1
Dataset Open

Artifact: Privacy-Respecting Type Error Telemetry at Scale

Description

artifact
===

This artifact packages the data for the paper:

_Privacy-Respecting Type Error Telemetry at Scale_

Instructions:

1. Open `main.pdf`
2. Verify that the figures and tables match the paper (`submission.pdf`)
3. For each section of `main.pdf`, check that the data it reports matches the data file(s) it refers to.
4. (Optional) Run scripts in the `code/` directory, run `make` to rebuild the pdf, and check that the pdf did not change.
5. (Optional) Download `data.tar.gz` from Zenodo and explore the data using your favorite text editor or spreadsheet.

Warning: running `prepare.rkt` may take hours. Some of its commands process the entire 1.5 million records.

Files

Files (105.5 MB)

Name Size Download all
md5:28e1d1451d549868698959cc42a4c869
68.2 MB Download
md5:02770726a2a4e0b634a35e1dc41322b5
37.4 MB Download

Additional details

Funding

CIFellows 2020 2030859
U.S. National Science Foundation