Artifact: Privacy-Respecting Type Error Telemetry at Scale
收藏官方服务:
资源简介:
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.
提供机构:
Zenodo创建时间:
2023-12-08



