- Pascal Baumann 0001, Moses Ganardi, Rupak Majumdar, Ramanathan S. Thinniyam, Georg Zetzsche. Context-Bounded Verification of Context-Free Specifications. Proceedings of the ACM on Programming Languages, 7(POPL):2141-2170, January 2023.
- Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, Mark Stephenson. cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications. Proceedings of the ACM on Programming Languages, 7(PLDI):124-147, 2023.
- John M. Li, Amal Ahmed 0001, Steven Holtzen. Lilac: A Modal Separation Logic for Conditional Probability. Proceedings of the ACM on Programming Languages, 7(PLDI):148-171, 2023.
- Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, Ben Hardekopf. Aliasing Limits on Translating C to Safe Rust. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):551-579, April 2023.
- Ruyi Ji, Chaozhe Kong, Yingfei Xiong 0001, Zhenjiang Hu. Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):819-847, April 2023.
- Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis. Kater: Automating Weak Memory Model Metatheory and Consistency Checking. Proceedings of the ACM on Programming Languages, 7(POPL):544-572, January 2023.
- Paul Krogmeier, P. Madhusudan. Languages with Decidable Learning: A Meta-theorem. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):143-171, April 2023.
- Alejandro Aguirre 0001, Lars Birkedal. Step-Indexed Logical Relations for Countable Nondeterminism and Probabilistic Choice. Proceedings of the ACM on Programming Languages, 7(POPL):33-60, January 2023.
- Fengjuan Gao, Yu Wang 0093, Ke Wang. Discrete Adversarial Attack to Models of Code. Proceedings of the ACM on Programming Languages, 7(PLDI):172-195, 2023.
- Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong. A Verification Methodology for the ArmĀ® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proceedings of the ACM on Programming Languages, 7(OOPSLA1):376-405, April 2023.