@inproceedings{zhang-2020-testing,
  author = {Hengchu Zhang and Edo Roth and Benjamin C. Pierce and Aaron Roth and Andreas Haeberlen},
  title = {Testing Differential Privacy with Dual Interpreters},
  booktitle = {Proceedings of the 35th ACM SIGPLAN International Conference on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA'20)},
  location = {Chicago, IL},
  month = nov,
  year = 2020
}