{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:38:22Z","timestamp":1769751502864,"version":"3.49.0"},"reference-count":65,"publisher":"Association for Computing Machinery (ACM)","issue":"OOPSLA1","license":[{"start":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T00:00:00Z","timestamp":1714348800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["Proc. ACM Program. Lang."],"published-print":{"date-parts":[[2024,4,29]]},"abstract":"<jats:p>Software call stack is a sequence of function calls that are executed during the runtime of a software program. Software call stack analysis (CSA) is widely used in software engineering to analyze the runtime behavior of software, which can be used to optimize the software performance, identify bugs, and profile the software. Despite the benefits of CSA, it has recently come under scrutiny due to concerns about privacy. To date, software is often deployed at user-side devices like mobile phones and smart watches. The collected call stacks may thus contain privacy-sensitive information, such as healthy information or locations, depending on the software functionality. Leaking such information to third parties may cause serious privacy concerns such as discrimination and targeted advertisement.<\/jats:p>\n          <jats:p>This paper presents PP-CSA, a practical and privacy-preserving CSA framework that can be deployed in real-world scenarios. Our framework leverages local differential privacy (LDP) as a principled privacy guarantee, to mutate the collected call stacks and protect the privacy of individual users. Furthermore, we propose several key design principles and optimizations in the technical pipeline of PP-CSA, including an encoder-decoder scheme to properly enforce LDP over software call stacks, and several client\/server-side optimizations to largely improve the efficiency of PP-CSA. Our evaluation over real-world Java and Android programs shows that our privacy-preserving CSA pipeline can achieve high utility and privacy guarantees while maintaining high efficiency. We have released our implementation of PP-CSA as an open-source project at https:\/\/github.com\/wangzhaoyu07\/PP-CSA for results reproducibility. We will provide more detailed documents to support and the usage and extension of the community.<\/jats:p>","DOI":"10.1145\/3649856","type":"journal-article","created":{"date-parts":[[2024,4,29]],"date-time":"2024-04-29T17:53:50Z","timestamp":1714413230000},"page":"1264-1293","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["PP-CSA: Practical Privacy-Preserving Software Call Stack Analysis"],"prefix":"10.1145","volume":"8","author":[{"ORCID":"https:\/\/orcid.org\/0009-0009-6892-1264","authenticated-orcid":false,"given":"Zhaoyu","family":"Wang","sequence":"first","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7680-2817","authenticated-orcid":false,"given":"Pingchuan","family":"Ma","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1066-0331","authenticated-orcid":false,"given":"Huaijin","family":"Wang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0866-0308","authenticated-orcid":false,"given":"Shuai","family":"Wang","sequence":"additional","affiliation":[{"name":"Hong Kong University of Science and Technology, Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,4,29]]},"reference":[{"key":"e_1_2_1_1_1","unstructured":"Research artifact. 2023. PP-CSA. https:\/\/github.com\/wangzhaoyu07\/PP-CSA"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594299"},{"key":"e_1_2_1_3_1","volume-title":"Proceedings, Part II 39","author":"Balle Borja","year":"2019","unstructured":"Borja Balle, James Bell, Adri\u00e0 Gasc\u00f3n, and Kobbi Nissim. 2019. The privacy blanket of the shuffle model. In Advances in Cryptology\u2013CRYPTO 2019: 39th Annual International Cryptology Conference, Santa Barbara, CA, USA, August 18\u201322, 2019, Proceedings, Part II 39. 638\u2013667. https:\/\/doi.org\/10.1007\/978-3-030-26951-7_22 10.1007\/978-3-030-26951-7_22"},{"key":"e_1_2_1_4_1","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 508\u2013524","author":"Bichsel Benjamin","year":"2018","unstructured":"Benjamin Bichsel, Timon Gehr, Dana Drachsler-Cohen, Petar Tsankov, and Martin Vechev. 2018. Dp-finder: Finding differential privacy violations by sampling and optimization. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 508\u2013524. https:\/\/doi.org\/10.1145\/3243734.3243863 10.1145\/3243734.3243863"},{"key":"e_1_2_1_5_1","volume-title":"2021 IEEE Symposium on Security and Privacy (SP). 391\u2013409","author":"Bichsel Benjamin","year":"2021","unstructured":"Benjamin Bichsel, Samuel Steffen, Ilija Bogunovic, and Martin Vechev. 2021. Dp-sniper: Black-box discovery of differential privacy violations using classifiers. In 2021 IEEE Symposium on Security and Privacy (SP). 391\u2013409. https:\/\/doi.org\/10.1109\/SP40001.2021.00081 10.1109\/SP40001.2021.00081"},{"key":"e_1_2_1_6_1","volume-title":"Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. ACM Press","author":"Blackburn S. M.","unstructured":"S. M. Blackburn, R. Garner, C. Hoffman, A. M. Khan, K. S. McKinley, R. Bentzur, A. Diwan, D. Feinberg, D. Frampton, S. Z. Guyer, M. Hirzel, A. Hosking, M. Jump, H. Lee, J. E. B. Moss, A. Phansalkar, D. Stefanovi\u0107, T. VanDrunen, D. von Dincklage, and B. Wiedermann. 2006. The DaCapo Benchmarks: Java Benchmarking Development and Analysis. In OOPSLA \u201906: Proceedings of the 21st annual ACM SIGPLAN conference on Object-Oriented Programing, Systems, Languages, and Applications. ACM Press, New York, NY, USA. 169\u2013190. https:\/\/doi.org\/10.1145\/1167473.1167488 10.1145\/1167473.1167488"},{"key":"e_1_2_1_7_1","first-page":"10","volume-title":"38th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO\u201905)","author":"Bond Michael D","year":"2005","unstructured":"Michael D Bond and Kathryn S McKinley. 2005. Continuous path and edge profiling. In 38th Annual IEEE\/ACM International Symposium on Microarchitecture (MICRO\u201905). 11\u2013pp. https:\/\/doi.org\/10.1109\/MICRO.2005.16 10.1109\/MICRO.2005.16"},{"key":"e_1_2_1_8_1","volume-title":"Proceedings of the 2018 International Conference on Management of Data. 1655\u20131658","author":"Cormode Graham","year":"2018","unstructured":"Graham Cormode, Somesh Jha, Tejas Kulkarni, Ninghui Li, Divesh Srivastava, and Tianhao Wang. 2018. Privacy at scale: Local differential privacy in practice. In Proceedings of the 2018 International Conference on Management of Data. 1655\u20131658. https:\/\/doi.org\/10.1145\/3183713.3197390 10.1145\/3183713.3197390"},{"key":"e_1_2_1_9_1","volume-title":"32nd USENIX Security Symposium (USENIX Security 23)","author":"Cu\u00e9llar Santiago","year":"2023","unstructured":"Santiago Cu\u00e9llar, Bill Harris, James Parker, Stuart Pernsteiner, and Eran Tromer. 2023. Cheesecloth:$Zero-Knowledge$ Proofs of Real World Vulnerabilities. In 32nd USENIX Security Symposium (USENIX Security 23). 6525\u20136540."},{"key":"e_1_2_1_10_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, POPL","author":"Darais David","year":"2019","unstructured":"David Darais, Ian Sweet, Chang Liu, and Michael Hicks. 2019. A language for probabilistically oblivious computation. Proceedings of the ACM on Programming Languages, 4, POPL (2019), 1\u201331. https:\/\/doi.org\/10.1145\/3371118 10.1145\/3371118"},{"key":"e_1_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.CAM.2019.01.015"},{"key":"e_1_2_1_12_1","volume-title":"Automation & Test in Europe Conference & Exhibition (DATE). 851\u2013856","author":"Decker Normann","year":"2018","unstructured":"Normann Decker, Boris Dreyer, Philip Gottschling, Christian Hochberger, Alexander Lange, Martin Leucker, Torben Scheffel, Simon Wegener, and Alexander Weiss. 2018. Online analysis of debug trace data for embedded systems. In 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE). 851\u2013856. https:\/\/doi.org\/10.23919\/DATE.2018.8342124 10.23919\/DATE.2018.8342124"},{"key":"e_1_2_1_13_1","unstructured":"Android developer manual. 2023. systrace. https:\/\/developer.android.com\/topic\/performance\/tracing\/command-line"},{"key":"e_1_2_1_14_1","volume-title":"Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 475\u2013489","author":"Ding Zeyu","year":"2018","unstructured":"Zeyu Ding, Yuxin Wang, Guanhong Wang, Danfeng Zhang, and Daniel Kifer. 2018. Detecting violations of differential privacy. In Proceedings of the 2018 ACM SIGSAC Conference on Computer and Communications Security. 475\u2013489. https:\/\/doi.org\/10.1145\/3243734.3243818 10.1145\/3243734.3243818"},{"key":"e_1_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.21236\/ADA465464","volume-title":"Tor: The second-generation onion router.. In USENIX security symposium. 4, 303\u2013320.","author":"Dingledine Roger","year":"2004","unstructured":"Roger Dingledine, Nick Mathewson, and Paul F Syverson. 2004. Tor: The second-generation onion router.. In USENIX security symposium. 4, 303\u2013320."},{"key":"e_1_2_1_16_1","volume-title":"33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 33","author":"Dwork Cynthia","year":"2006","unstructured":"Cynthia Dwork. 2006. Differential privacy. In Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 33. 1\u201312. https:\/\/doi.org\/10.1007\/11787006_1 10.1007\/11787006_1"},{"key":"e_1_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1561\/0400000042"},{"key":"e_1_2_1_18_1","volume-title":"Proceedings of the 2014 ACM SIGSAC conference on computer and communications security. 1054\u20131067","author":"Erlingsson \u00dalfar","year":"2014","unstructured":"\u00dalfar Erlingsson, Vasyl Pihur, and Aleksandra Korolova. 2014. Rappor: Randomized aggregatable privacy-preserving ordinal response. In Proceedings of the 2014 ACM SIGSAC conference on computer and communications security. 1054\u20131067. https:\/\/doi.org\/10.1145\/2660267.2660348 10.1145\/2660267.2660348"},{"key":"e_1_2_1_19_1","volume-title":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 2951\u20132967","author":"Fang Zhiyong","year":"2021","unstructured":"Zhiyong Fang, David Darais, Joseph P Near, and Yupeng Zhang. 2021. Zero knowledge static program analysis. In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 2951\u20132967. https:\/\/doi.org\/10.1145\/3460120.3484795 10.1145\/3460120.3484795"},{"key":"e_1_2_1_20_1","volume-title":"Proceedings of the forty-first annual ACM symposium on Theory of computing. 169\u2013178","author":"Gentry Craig","year":"2009","unstructured":"Craig Gentry. 2009. Fully homomorphic encryption using ideal lattices. In Proceedings of the forty-first annual ACM symposium on Theory of computing. 169\u2013178. https:\/\/doi.org\/10.1145\/1536414.1536440 10.1145\/1536414.1536440"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","unstructured":"Waris Gill Ali Anwar and Muhammad Ali Gulzar. 2023. FedDebug: Systematic Debugging for Federated Learning Applications. In ICSE. https:\/\/doi.org\/10.1109\/ICSE48619.2023.00053 10.1109\/ICSE48619.2023.00053","DOI":"10.1109\/ICSE48619.2023.00053"},{"key":"e_1_2_1_22_1","volume-title":"Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles. 103\u2013116","author":"Glerum Kirk","year":"2009","unstructured":"Kirk Glerum, Kinshuman Kinshumann, Steve Greenberg, Gabriel Aul, Vince Orgovan, Greg Nichols, David Grant, Gretchen Loihle, and Galen Hunt. 2009. Debugging in the (very) large: ten years of implementation and experience. In Proceedings of the ACM SIGOPS 22nd symposium on Operating systems principles. 103\u2013116. https:\/\/doi.org\/10.1145\/1629575.1629586 10.1145\/1629575.1629586"},{"key":"e_1_2_1_23_1","doi-asserted-by":"crossref","unstructured":"Eric Goldman. 2020. An introduction to the california consumer privacy act (ccpa). Santa Clara Univ. Legal Studies Research Paper.","DOI":"10.4337\/9781788119924.00025"},{"key":"e_1_2_1_24_1","volume-title":"Monkey: UI\/Application exerciser for Android. https:\/\/developer.android.com\/studio\/test\/other-testing-tools\/monkey","year":"2020","unstructured":"Google. 2020. Monkey: UI\/Application exerciser for Android. https:\/\/developer.android.com\/studio\/test\/other-testing-tools\/monkey"},{"key":"e_1_2_1_25_1","volume-title":"Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. 1522\u20131528","author":"Habernal Ivan","year":"2021","unstructured":"Ivan Habernal. 2021. When differential privacy meets NLP: The devil is in the detail. In Proceedings of the 2021 Conference on Empirical Methods in Natural Language Processing. 1522\u20131528. https:\/\/doi.org\/10.18653\/V1\/2021.EMNLP-MAIN.114 10.18653\/V1\/2021.EMNLP-MAIN.114"},{"key":"e_1_2_1_26_1","volume-title":"2012 34th International Conference on Software Engineering (ICSE). 145\u2013155","author":"Han Shi","year":"2012","unstructured":"Shi Han, Yingnong Dang, Song Ge, Dongmei Zhang, and Tao Xie. 2012. Performance debugging in the large via mining millions of stack traces. In 2012 34th International Conference on Software Engineering (ICSE). 145\u2013155. https:\/\/doi.org\/10.1109\/ICSE.2012.6227198 10.1109\/ICSE.2012.6227198"},{"key":"e_1_2_1_27_1","first-page":"194","volume-title":"Leibniz international proceedings in informatics","author":"Hao Yu","year":"2021","unstructured":"Yu Hao, Sufian Latif, Hailong Zhang, Raef Bassily, and Atanas Rountev. 2021. Differential privacy for coverage analysis of software traces. Leibniz international proceedings in informatics, 194 (2021), https:\/\/doi.org\/10.4230\/LIPICS.ECOOP.2021.8 10.4230\/LIPICS.ECOOP.2021.8"},{"key":"e_1_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1162\/NECO.1997.9.8.1735"},{"key":"e_1_2_1_29_1","volume-title":"31st USENIX Security Symposium (USENIX Security 22)","author":"Hua Yiqing","year":"2022","unstructured":"Yiqing Hua, Armin Namavari, Kaishuo Cheng, Mor Naaman, and Thomas Ristenpart. 2022. Increasing adversarial uncertainty to scale private similarity testing. In 31st USENIX Security Symposium (USENIX Security 22). 1777\u20131794."},{"key":"e_1_2_1_30_1","volume-title":"Findings of the Association for Computational Linguistics: ACL 2023","author":"Igamberdiev Timour","year":"2023","unstructured":"Timour Igamberdiev and Ivan Habernal. 2023. DP-BART for Privatized Text Rewriting under Local Differential Privacy. In Findings of the Association for Computational Linguistics: ACL 2023. 13914\u201313934. https:\/\/doi.org\/10.18653\/V1\/2023.FINDINGS-ACL.874 10.18653\/V1\/2023.FINDINGS-ACL.874"},{"key":"e_1_2_1_31_1","volume-title":"Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 1539\u20131556","author":"Ishaq Muhammad","year":"2019","unstructured":"Muhammad Ishaq, Ana L Milanova, and Vassilis Zikas. 2019. Efficient MPC via program analysis: A framework for efficient optimal mixing. In Proceedings of the 2019 ACM SIGSAC Conference on Computer and Communications Security. 1539\u20131556. https:\/\/doi.org\/10.1145\/3319535.3339818 10.1145\/3319535.3339818"},{"key":"e_1_2_1_32_1","volume-title":"2012 34th international conference on software engineering (ICSE). 474\u2013484","author":"Jin Wei","year":"2012","unstructured":"Wei Jin and Alessandro Orso. 2012. Bugredux: Reproducing field failures for in-house debugging. In 2012 34th international conference on software engineering (ICSE). 474\u2013484. https:\/\/doi.org\/10.1109\/ICSE.2012.6227168 10.1109\/ICSE.2012.6227168"},{"key":"e_1_2_1_33_1","first-page":"19","volume-title":"Proceedings of NAACL-HLT. 4171\u20134186","author":"Ming-Wei Chang Jacob Devlin","year":"2019","unstructured":"Jacob Devlin Ming-Wei Chang Kenton and Lee Kristina Toutanova. 2019. BERT: Pre-training of Deep Bidirectional Transformers for Language Understanding. In Proceedings of NAACL-HLT. 4171\u20134186. https:\/\/doi.org\/10.18653\/V1\/N19-1423 10.18653\/V1\/N19-1423"},{"key":"e_1_2_1_34_1","volume-title":"Proceedings of the 30th international conference on Software engineering. 301\u2013310","author":"Ko Amy J","year":"2008","unstructured":"Amy J Ko and Brad A Myers. 2008. Debugging reinvented: asking and answering why and why not questions about program behavior. In Proceedings of the 30th international conference on Software engineering. 301\u2013310. https:\/\/doi.org\/10.1145\/1368088.1368130 10.1145\/1368088.1368130"},{"key":"e_1_2_1_35_1","volume-title":"Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume. 2435\u20132439","author":"Krishna Satyapriya","year":"2021","unstructured":"Satyapriya Krishna, Rahul Gupta, and Christophe Dupuy. 2021. ADePT: Auto-encoder based Differentially Private Text Transformation. In Proceedings of the 16th Conference of the European Chapter of the Association for Computational Linguistics: Main Volume. 2435\u20132439. https:\/\/doi.org\/10.18653\/V1\/2021.EACL-MAIN.207 10.18653\/V1\/2021.EACL-MAIN.207"},{"key":"e_1_2_1_36_1","volume-title":"24th USENIX Security Symposium (USENIX Security 15)","author":"Kwon Albert","year":"2015","unstructured":"Albert Kwon, Mashael AlSabah, David Lazar, Marc Dacier, and Srinivas Devadas. 2015. Circuit fingerprinting attacks: Passive deanonymization of tor hidden services. In 24th USENIX Security Symposium (USENIX Security 15). 287\u2013302."},{"key":"e_1_2_1_37_1","volume-title":"Code Generation and Optimization, 2004. CGO 2004. International Symposium on. 75\u201386","author":"Lattner Chris","year":"2004","unstructured":"Chris Lattner and Vikram Adve. 2004. LLVM: A compilation framework for lifelong program analysis & transformation. In Code Generation and Optimization, 2004. CGO 2004. International Symposium on. 75\u201386. https:\/\/doi.org\/10.1109\/CGO.2004.1281665 10.1109\/CGO.2004.1281665"},{"key":"e_1_2_1_38_1","volume-title":"Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. 2531\u20132545","author":"Levy Benjamin","year":"2023","unstructured":"Benjamin Levy, Muhammad Ishaq, Benjamin Sherman, Lindsey Kennard, Ana Milanova, and Vassilis Zikas. 2023. Combine: compilation and backend-independent vectorization for multi-party computation. In Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security. 2531\u20132545. https:\/\/doi.org\/10.1145\/3576915.3623181 10.1145\/3576915.3623181"},{"key":"e_1_2_1_39_1","volume-title":"Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. 7871\u20137880","author":"Lewis Mike","year":"2020","unstructured":"Mike Lewis, Yinhan Liu, Naman Goyal, Marjan Ghazvininejad, Abdelrahman Mohamed, Omer Levy, Veselin Stoyanov, and Luke Zettlemoyer. 2020. BART: Denoising Sequence-to-Sequence Pre-training for Natural Language Generation, Translation, and Comprehension. In Proceedings of the 58th Annual Meeting of the Association for Computational Linguistics. 7871\u20137880. https:\/\/doi.org\/10.18653\/V1\/2020.ACL-MAIN.703 10.18653\/V1\/2020.ACL-MAIN.703"},{"key":"e_1_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775054.2694385"},{"key":"e_1_2_1_41_1","unstructured":"Junrui Liu Ian Kretz Hanzhi Liu Bryan Tan Jonathan Wang Yi Sun Luke Pearson Anders Miltner I\u015f\u0131l Dillig and Yu Feng. 2023. Certifying Zero-Knowledge Circuits with Refinement Types. arXiv preprint arXiv:2304.07648."},{"key":"e_1_2_1_42_1","volume-title":"2021 IEEE 24th international conference on computer supported cooperative work in design (CSCWD). 434\u2013439","author":"Lu Yijun","year":"2021","unstructured":"Yijun Lu and Shaohua Teng. 2021. Application of sequence embedding in host-based intrusion detection system. In 2021 IEEE 24th international conference on computer supported cooperative work in design (CSCWD). 434\u2013439. https:\/\/doi.org\/10.1109\/CSCWD49262.2021.9437683 10.1109\/CSCWD49262.2021.9437683"},{"key":"e_1_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIFS.2022.3155274"},{"key":"e_1_2_1_44_1","volume-title":"Proceedings of the 2006 ACM\/IEEE conference on Supercomputing. 88\u2013es. https:\/\/doi.org\/10","author":"Mirgorodskiy Alexander V","year":"2006","unstructured":"Alexander V Mirgorodskiy, Naoya Maruyama, and Barton P Miller. 2006. Problem diagnosis in large-scale computing environments. In Proceedings of the 2006 ACM\/IEEE conference on Supercomputing. 88\u2013es. https:\/\/doi.org\/10.1145\/1188455.1188548 10.1145\/1188455.1188548"},{"key":"e_1_2_1_45_1","volume-title":"Enigma 2018 (Enigma","author":"Near Joe","year":"2018","unstructured":"Joe Near. 2018. Differential privacy at scale: Uber and berkeley collaboration. In Enigma 2018 (Enigma 2018)."},{"key":"e_1_2_1_46_1","unstructured":"Soot OSS. 2023. Soot \u2013 A Java Optimization Framework. https:\/\/github.com\/soot-oss\/soot"},{"key":"e_1_2_1_47_1","volume-title":"Proceedings of the ACM on Programming Languages, 7, PLDI","author":"Pailoor Shankara","year":"2023","unstructured":"Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodr\u00edguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and I\u015f\u0131l Dillig. 2023. Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs. Proceedings of the ACM on Programming Languages, 7, PLDI (2023), 1510\u20131532. https:\/\/doi.org\/10.1145\/3591282 10.1145\/3591282"},{"key":"e_1_2_1_48_1","doi-asserted-by":"crossref","unstructured":"Qi Pang Yuanyuan Yuan and Shuai Wang. 2024. MPCDiff: Testing and Repairing MPC-Hardened Deep Learning Models.. In NDSS.","DOI":"10.14722\/ndss.2024.23380"},{"key":"e_1_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1613\/JAIR.1.14649"},{"key":"e_1_2_1_50_1","volume-title":"2021 IEEE Symposium on Security and Privacy (SP). 852\u2013865","author":"Roy Subhajit","year":"2021","unstructured":"Subhajit Roy, Justin Hsu, and Aws Albarghouthi. 2021. Learning differentially private mechanisms. In 2021 IEEE Symposium on Security and Privacy (SP). 852\u2013865. https:\/\/doi.org\/10.1109\/SP40001.2021.00060 10.1109\/SP40001.2021.00060"},{"key":"e_1_2_1_51_1","volume-title":"Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1819\u20131819","author":"Santos Joanna CS","year":"2022","unstructured":"Joanna CS Santos and Julian Dolby. 2022. Program analysis using WALA (tutorial). In Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering. 1819\u20131819. https:\/\/doi.org\/10.1145\/3540250.3569449 10.1145\/3540250.3569449"},{"key":"e_1_2_1_52_1","volume-title":"Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis. 1\u201311","author":"Tallent Nathan R","year":"2009","unstructured":"Nathan R Tallent, John M Mellor-Crummey, Laksono Adhianto, Michael W Fagan, and Mark Krentel. 2009. Diagnosing performance bottlenecks in emerging petascale applications. In Proceedings of the Conference on High Performance Computing Networking, Storage and Analysis. 1\u201311. https:\/\/doi.org\/10.1145\/1654059.1654111 10.1145\/1654059.1654111"},{"key":"e_1_2_1_53_1","volume-title":"Context Transformations for Pointer Analysis. PLDI","author":"Thiessen Rei","year":"2017","unstructured":"Rei Thiessen and Ond\u0159ej Lhot\u00e1k. 2017. Context Transformations for Pointer Analysis. PLDI 2017. 263\u2013277. https:\/\/doi.org\/10.1145\/3062341.3062359 10.1145\/3062341.3062359"},{"key":"e_1_2_1_54_1","volume-title":"2017 IEEE European Symposium on Security and Privacy (EuroS&P). 19\u201334","author":"Tramer Florian","year":"2017","unstructured":"Florian Tramer, Fan Zhang, Huang Lin, Jean-Pierre Hubaux, Ari Juels, and Elaine Shi. 2017. Sealed-glass proofs: Using transparent enclaves to prove and sell knowledge. In 2017 IEEE European Symposium on Security and Privacy (EuroS&P). 19\u201334. https:\/\/doi.org\/10.1109\/EUROSP.2017.28 10.1109\/EUROSP.2017.28"},{"key":"e_1_2_1_55_1","unstructured":"Anstralian National University. 2021. DaCapo Bench. https:\/\/www.dacapobench.org\/"},{"key":"e_1_2_1_56_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-319-57959-7","volume-title":"The eu general data protection regulation (gdpr). A Practical Guide","author":"Voigt Paul","year":"2017","unstructured":"Paul Voigt and Axel Von dem Bussche. 2017. The eu general data protection regulation (gdpr). A Practical Guide, 1st Ed., Cham: Springer International Publishing, 10, 3152676 (2017), 10\u20135555.","edition":"1"},{"key":"e_1_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2019.2927695"},{"key":"e_1_2_1_58_1","volume-title":"Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 393\u2013411","author":"Wang Yuxin","year":"2021","unstructured":"Yuxin Wang, Zeyu Ding, Yingtai Xiao, Daniel Kifer, and Danfeng Zhang. 2021. DPGen: Automated program synthesis for differential privacy. In Proceedings of the 2021 ACM SIGSAC Conference on Computer and Communications Security. 393\u2013411. https:\/\/doi.org\/10.1145\/3460120.3484781 10.1145\/3460120.3484781"},{"key":"e_1_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1080\/01621459.1965.10480775"},{"key":"e_1_2_1_60_1","volume-title":"Proceedings of the 2014 International Symposium on Software Testing and Analysis. 204\u2013214","author":"Wu Rongxin","year":"2014","unstructured":"Rongxin Wu, Hongyu Zhang, Shing-Chi Cheung, and Sunghun Kim. 2014. Crashlocator: Locating crashing faults based on crash stacks. In Proceedings of the 2014 International Symposium on Software Testing and Analysis. 204\u2013214. https:\/\/doi.org\/10.1145\/2610384.2610386 10.1145\/2610384.2610386"},{"key":"e_1_2_1_61_1","doi-asserted-by":"publisher","unstructured":"Sarah Wunderlich Markus Ring Dieter Landes and Andreas Hotho. 2020. Comparison of system call representations for intrusion detection. In International Joint Conference: 12th International Conference on Computational Intelligence in Security for Information Systems (CISIS 2019) and 10th International Conference on EUropean Transnational Education (ICEUTE 2019) Seville Spain May 13th-15th 2019 Proceedings 12. 14\u201324. https:\/\/doi.org\/10.1007\/978-3-030-20005-3_2 10.1007\/978-3-030-20005-3_2","DOI":"10.1007\/978-3-030-20005-3_2"},{"key":"e_1_2_1_62_1","volume-title":"Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data. 601\u2013606","author":"Yang Yin","year":"2012","unstructured":"Yin Yang, Zhenjie Zhang, Gerome Miklau, Marianne Winslett, and Xiaokui Xiao. 2012. Differential privacy in data publication and analysis. In Proceedings of the 2012 ACM SIGMOD International Conference on Management of Data. 601\u2013606. https:\/\/doi.org\/10.1145\/2213836.2213910 10.1145\/2213836.2213910"},{"key":"e_1_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1982.38"},{"key":"e_1_2_1_64_1","volume-title":"Proceedings of the ACM on Programming Languages, 4, OOPSLA","author":"Zhang Hailong","year":"2020","unstructured":"Hailong Zhang, Yu Hao, Sufian Latif, Raef Bassily, and Atanas Rountev. 2020. Differentially-private software frequency profiling under linear constraints. Proceedings of the ACM on Programming Languages, 4, OOPSLA (2020), 1\u201324. https:\/\/doi.org\/10.1145\/3428271 10.1145\/3428271"},{"key":"e_1_2_1_65_1","volume-title":"USENIX Security Symposium (USENIX Security).","author":"Zhang Hailong","year":"2020","unstructured":"Hailong Zhang, Sufian Latif, Raef Bassily, and Atanas Rountev. 2020. Differentially-private control-flow node coverage for software usage analysis. In USENIX Security Symposium (USENIX Security)."}],"container-title":["Proceedings of the ACM on Programming Languages"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649856","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3649856","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:54:07Z","timestamp":1750287247000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3649856"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,4,29]]},"references-count":65,"journal-issue":{"issue":"OOPSLA1","published-print":{"date-parts":[[2024,4,29]]}},"alternative-id":["10.1145\/3649856"],"URL":"https:\/\/doi.org\/10.1145\/3649856","relation":{},"ISSN":["2475-1421"],"issn-type":[{"value":"2475-1421","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,4,29]]},"assertion":[{"value":"2024-04-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}