@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 }