@article{gjks-pj-2024,
  author={Ben Greenman and Alan Jeffrey and Shriram Krishnamurthi and Mitesh Shah},
  title={Privacy-Respecting Type Error Telemetry at Scale},
  journal={{Programming}},
  volume={8},
  number={3},
  doi={10.22152/programming-journal.org/2024/8/12},
  pages={12:1--12:30},
  year={2024}
}