遇见数据集

Artifact: Privacy-Respecting Type Error Telemetry at Scale

收藏
Zenodo2025-06-10 更新2026-05-26 收录
官方服务:

资源简介:

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
二维码
社区交流群
二维码
科研交流群
商业服务