OOPSLA1 2023 – Author Index

A B C D E F G H J K L M N O P R S T V W X Y Z

	Avneri, Eran	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Deep Learning Robustness Verification ..." Deep Learning Robustness Verification for Few-Pixel Attacks Yuval Shapira, Eran Avneri, and Dana Drachsler-Cohen (Technion, Israel) Publisher's Version Article: oopslaa23main-p80-p (type: Full Paper (27 pages + references)) doi:10.1145/3586042
	Baluta, Teodora	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "User-Customizable Transpilation ..." User-Customizable Transpilation of Scripting Languages Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p36-p (type: Full Paper (27 pages + references)) doi:10.1145/3586034
	Barke, Shraddha	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Grounded Copilot: How Programmers ..." Grounded Copilot: How Programmers Interact with Code-Generating Models Shraddha Barke, Michael B. James, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p24-p (type: Full Paper (27 pages + references)) doi:10.1145/3586030
	Becker, Hanno	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Boyland, Peter	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Brachthäuser, Jonathan Immanuel	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Back to Direct Style: Typed ..." Back to Direct Style: Typed and Tight Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Article: oopslaa23main-p163-p (type: Full Paper (27 pages + references)) doi:10.1145/3586056
	Brun, Matthias	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Buse, Florena	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Randomized Testing of Byzantine ..." Randomized Testing of Byzantine Fault Tolerant Algorithms Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan (Delft University of Technology, Netherlands; Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p151-p (type: Full Paper (27 pages + references)) doi:10.1145/3586053
	Chen, Mingshuai	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Chen, Xiaohong	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Generating Proof Certificates ..." Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu (Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Published Artifact Archive submitted (1.1 MB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p23-p (type: Full Paper (27 pages + references)) doi:10.1145/3586029
	Chiang, David	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Exact Recursive Probabilistic ..." Exact Recursive Probabilistic Programming David Chiang, Colin McDonald, and Chung-chieh Shan (University of Notre Dame, USA; Indiana University, USA) Publisher's Version Published Artifact Archive submitted (520 kB) Artifacts Available Artifacts Functional Article: oopslaa23main-p131-p (type: Full Paper (27 pages + references)) doi:10.1145/3586050
	Cho, Chanhee	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Chong, Nathan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Criswell, John	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Fat Pointers for Temporal ..." Fat Pointers for Temporal Memory Safety of C Jie Zhou, John Criswell, and Michael Hicks (University of Rochester, USA; Amazon, USA; University of Maryland, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p64-p (type: Full Paper (27 pages + references)) doi:10.1145/3586038
	Dardinier, Thibault	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verification-Preserving Inlining ..." Verification-Preserving Inlining in Automatic Separation Logic Verifiers Thibault Dardinier, Gaurav Parthasarathy, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p153-p (type: Full Paper (27 pages + references)) doi:10.1145/3586054
	De Graaf, Daan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Randomized Testing of Byzantine ..." Randomized Testing of Byzantine Fault Tolerant Algorithms Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan (Delft University of Technology, Netherlands; Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p151-p (type: Full Paper (27 pages + references)) doi:10.1145/3586053
	Dewey, Kyle	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Dillig, Işıl	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Automated Translation of Functional ..." Automated Translation of Functional Big Data Queries to SQL Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, and Işıl Dillig (North Carolina State University, USA; University of Texas at Austin, USA) Publisher's Version Archive submitted (880 kB) Article: oopslaa23main-p98-p (type: Full Paper (27 pages + references)) doi:10.1145/3586047
	Drachsler-Cohen, Dana	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Deep Learning Robustness Verification ..." Deep Learning Robustness Verification for Few-Pixel Attacks Yuval Shapira, Eran Avneri, and Dana Drachsler-Cohen (Technion, Israel) Publisher's Version Article: oopslaa23main-p80-p (type: Full Paper (27 pages + references)) doi:10.1145/3586042
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Outcome Logic: A Unifying ..." Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Noam Zilberstein, Derek Dreyer, and Alexandra Silva (Cornell University, USA; MPI-SWS, Germany) Publisher's Version Article: oopslaa23main-p89-p (type: Full Paper (27 pages + references)) doi:10.1145/3586045
	Emre, Mehmet	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Feng, Shenghua	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Fox, Anthony C. J.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Garg, Deepak	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Compositional Security Definitions ..." Compositional Security Definitions for Higher-Order Where Declassification Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg (MPI-SWS, Germany; University at Buffalo, USA; Pennsylvania State University, USA) Publisher's Version Article: oopslaa23main-p75-p (type: Full Paper (27 pages + references)) doi:10.1145/3586041
	Gheri, Lorenzo	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Hybrid Multiparty Session ..." Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection Lorenzo Gheri and Nobuko Yoshida (University of Oxford, UK) Publisher's Version Article: oopslaa23main-p25-p (type: Full Paper (27 pages + references)) doi:10.1145/3586031
	Gil, Yossi	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Fluent APIs in Functional ..." Fluent APIs in Functional Languages Ori Roth and Yossi Gil (Technion, Israel) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p172-p (type: Full Paper (27 pages + references)) doi:10.1145/3586057
	Goharshady, Amir Kafshdar	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Algebro-geometric Algorithms ..." Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani (Hong Kong University of Science and Technology, Hong Kong; KU Leuven, Belgium; Ghent University, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p137-p (type: Full Paper (27 pages + references)) doi:10.1145/3586052
	Griffis, Eric	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Guest, Scott	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Guo, Guanchen	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Bidirectional Object-Oriented ..." Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Xing Zhang, Guanchen Guo, Xiao He, and Zhenjiang Hu (Peking University, China; University of Science and Technology Beijing, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p37-p (type: Full Paper (27 pages + references)) doi:10.1145/3586035
	Hance, Travis	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Hardekopf, Ben	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Hawblitzel, Chris	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	He, Xiao	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Bidirectional Object-Oriented ..." Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Xing Zhang, Guanchen Guo, Xiao He, and Zhenjiang Hu (Peking University, China; University of Science and Technology Beijing, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p37-p (type: Full Paper (27 pages + references)) doi:10.1145/3586035
	Hicks, Michael	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Fat Pointers for Temporal ..." Fat Pointers for Temporal Memory Safety of C Jie Zhou, John Criswell, and Michael Hicks (University of Rochester, USA; Amazon, USA; University of Maryland, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p64-p (type: Full Paper (27 pages + references)) doi:10.1145/3586038
	Hirsch, Andrew K.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Compositional Security Definitions ..." Compositional Security Definitions for Higher-Order Where Declassification Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg (MPI-SWS, Germany; University at Buffalo, USA; Pennsylvania State University, USA) Publisher's Version Article: oopslaa23main-p75-p (type: Full Paper (27 pages + references)) doi:10.1145/3586041
	Hitarth, S.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Algebro-geometric Algorithms ..." Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani (Hong Kong University of Science and Technology, Hong Kong; KU Leuven, Belgium; Ghent University, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p137-p (type: Full Paper (27 pages + references)) doi:10.1145/3586052
	Howell, Jon	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Hu, Zhenjiang	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Improving Oracle-Guided Inductive ..." Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Ruyi Ji, Chaozhe Kong, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p158-p (type: Full Paper (27 pages + references)) doi:10.1145/3586055 Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Bidirectional Object-Oriented ..." Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Xing Zhang, Guanchen Guo, Xiao He, and Zhenjiang Hu (Peking University, China; University of Science and Technology Beijing, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p37-p (type: Full Paper (27 pages + references)) doi:10.1145/3586035
	Jaber, Nouraldin	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Enabling Bounded Verification ..." Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions Christopher Wagner, Nouraldin Jaber, and Roopsha Samanta (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p34-p (type: Full Paper (27 pages + references)) doi:10.1145/3586033
	James, Michael B.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Grounded Copilot: How Programmers ..." Grounded Copilot: How Programmers Interact with Code-Generating Models Shraddha Barke, Michael B. James, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p24-p (type: Full Paper (27 pages + references)) doi:10.1145/3586030
	Ji, Ruyi	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Improving Oracle-Guided Inductive ..." Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Ruyi Ji, Chaozhe Kong, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p158-p (type: Full Paper (27 pages + references)) doi:10.1145/3586055
	Jiang, Yu	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Kaminski, Benjamin Lucien	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Kang, Chan Gu	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Modular Component-Based Quantum ..." Modular Component-Based Quantum Circuit Synthesis Chan Gu Kang and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p65-p (type: Full Paper (27 pages + references)) doi:10.1145/3586039
	Katoen, Joost-Pieter	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Kolluri, Aashish	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "User-Customizable Transpilation ..." User-Customizable Transpilation of Scripting Languages Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p36-p (type: Full Paper (27 pages + references)) doi:10.1145/3586034
	Kong, Chaozhe	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Improving Oracle-Guided Inductive ..." Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Ruyi Ji, Chaozhe Kong, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p158-p (type: Full Paper (27 pages + references)) doi:10.1145/3586055
	Kong, Lingkun	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Regular Expression Matching ..." Regular Expression Matching using Bit Vector Automata Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras (Rice University, USA) Publisher's Version Artifacts Functional Article: oopslaa23main-p86-p (type: Full Paper (27 pages + references)) doi:10.1145/3586044
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Proof Automation for Linearizability ..." Proof Automation for Linearizability in Separation Logic Ike Mulder and Robbert Krebbers (Radboud University Nijmegen, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p83-p (type: Full Paper (27 pages + references)) doi:10.1145/3586043
	Krogmeier, Paul	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Languages with Decidable Learning: ..." Languages with Decidable Learning: A Meta-theorem Paul Krogmeier and P. Madhusudan (University of Illinois at Urbana-Champaign, USA) Publisher's Version Article: oopslaa23main-p28-p (type: Full Paper (27 pages + references)) doi:10.1145/3586032
	Kulahcioglu Ozkan, Burcu	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Randomized Testing of Byzantine ..." Randomized Testing of Byzantine Fault Tolerant Algorithms Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan (Delft University of Technology, Netherlands; Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p151-p (type: Full Paper (27 pages + references)) doi:10.1145/3586053
	Lattuada, Andrea	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Le Glaunec, Alexis	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Regular Expression Matching ..." Regular Expression Matching using Bit Vector Automata Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras (Rice University, USA) Publisher's Version Artifacts Functional Article: oopslaa23main-p86-p (type: Full Paper (27 pages + references)) doi:10.1145/3586044
	Li, Peixuan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Compositional Security Definitions ..." Compositional Security Definitions for Higher-Order Where Declassification Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg (MPI-SWS, Germany; University at Buffalo, USA; Pennsylvania State University, USA) Publisher's Version Article: oopslaa23main-p75-p (type: Full Paper (27 pages + references)) doi:10.1145/3586041
	Li, Shaohua	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Accelerating Fuzzing through ..." Accelerating Fuzzing through Prefix-Guided Execution Shaohua Li and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p11-p (type: Full Paper (27 pages + references)) doi:10.1145/3586027
	Lin, Fangzhen	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Solving Conditional Linear ..." Solving Conditional Linear Recurrences for Program Verification: The Periodic Case Chenglin Wang and Fangzhen Lin (Hong Kong University of Science and Technology, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p18-p (type: Full Paper (27 pages + references)) doi:10.1145/3586028
	Lin, Zhengyao	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Generating Proof Certificates ..." Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu (Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Published Artifact Archive submitted (1.1 MB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p23-p (type: Full Paper (27 pages + references)) doi:10.1145/3586029
	Madhusudan, P.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Languages with Decidable Learning: ..." Languages with Decidable Learning: A Meta-theorem Paul Krogmeier and P. Madhusudan (University of Illinois at Urbana-Champaign, USA) Publisher's Version Article: oopslaa23main-p28-p (type: Full Paper (27 pages + references)) doi:10.1145/3586032
	Mamouras, Konstantinos	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Regular Expression Matching ..." Regular Expression Matching using Bit Vector Automata Alexis Le Glaunec, Lingkun Kong, and Konstantinos Mamouras (Rice University, USA) Publisher's Version Artifacts Functional Article: oopslaa23main-p86-p (type: Full Paper (27 pages + references)) doi:10.1145/3586044
	Mariano, Benjamin	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Automated Translation of Functional ..." Automated Translation of Functional Big Data Queries to SQL Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, and Işıl Dillig (North Carolina State University, USA; University of Texas at Austin, USA) Publisher's Version Archive submitted (880 kB) Article: oopslaa23main-p98-p (type: Full Paper (27 pages + references)) doi:10.1145/3586047
	McDonald, Colin	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Exact Recursive Probabilistic ..." Exact Recursive Probabilistic Programming David Chiang, Colin McDonald, and Chung-chieh Shan (University of Notre Dame, USA; Indiana University, USA) Publisher's Version Published Artifact Archive submitted (520 kB) Artifacts Available Artifacts Functional Article: oopslaa23main-p131-p (type: Full Paper (27 pages + references)) doi:10.1145/3586050
	Menz, Jan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Compositional Security Definitions ..." Compositional Security Definitions for Higher-Order Where Declassification Jan Menz, Andrew K. Hirsch, Peixuan Li, and Deepak Garg (MPI-SWS, Germany; University at Buffalo, USA; Pennsylvania State University, USA) Publisher's Version Article: oopslaa23main-p75-p (type: Full Paper (27 pages + references)) doi:10.1145/3586041
	Mohammadi, Fatemeh	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Algebro-geometric Algorithms ..." Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani (Hong Kong University of Science and Technology, Hong Kong; KU Leuven, Belgium; Ghent University, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p137-p (type: Full Paper (27 pages + references)) doi:10.1145/3586052
	Moon, David	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Motwani, Harshit Jitendra	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Algebro-geometric Algorithms ..." Algebro-geometric Algorithms for Template-Based Synthesis of Polynomial Programs Amir Kafshdar Goharshady, S. Hitarth, Fatemeh Mohammadi, and Harshit Jitendra Motwani (Hong Kong University of Science and Technology, Hong Kong; KU Leuven, Belgium; Ghent University, Belgium) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p137-p (type: Full Paper (27 pages + references)) doi:10.1145/3586052
	Mulder, Ike	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Proof Automation for Linearizability ..." Proof Automation for Linearizability in Separation Logic Ike Mulder and Robbert Krebbers (Radboud University Nijmegen, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p83-p (type: Full Paper (27 pages + references)) doi:10.1145/3586043
	Müller, Marius	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Back to Direct Style: Typed ..." Back to Direct Style: Typed and Tight Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Article: oopslaa23main-p163-p (type: Full Paper (27 pages + references)) doi:10.1145/3586056
	Müller, Peter	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verification-Preserving Inlining ..." Verification-Preserving Inlining in Automatic Separation Logic Verifiers Thibault Dardinier, Gaurav Parthasarathy, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p153-p (type: Full Paper (27 pages + references)) doi:10.1145/3586054
	Mulligan, Dominic P.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Nikolić, Ivica	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "User-Customizable Transpilation ..." User-Customizable Transpilation of Scripting Languages Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p36-p (type: Full Paper (27 pages + references)) doi:10.1145/3586034
	Oh, Hakjoo	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Modular Component-Based Quantum ..." Modular Component-Based Quantum Circuit Synthesis Chan Gu Kang and Hakjoo Oh (Korea University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p65-p (type: Full Paper (27 pages + references)) doi:10.1145/3586039
	Olmedo, Federico	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Gradual Probabilistic Lambda ..." A Gradual Probabilistic Lambda Calculus Wenjia Ye, Matías Toro, and Federico Olmedo (University of Hong Kong, China; University of Chile, Chile) Publisher's Version Article: oopslaa23main-p40-p (type: Full Paper (27 pages + references)) doi:10.1145/3586036
	Omar, Cyrus	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Ostermann, Klaus	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Back to Direct Style: Typed ..." Back to Direct Style: Typed and Tight Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Article: oopslaa23main-p163-p (type: Full Paper (27 pages + references)) doi:10.1145/3586056
	Parekh, Aesha	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Parno, Bryan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Parthasarathy, Gaurav	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verification-Preserving Inlining ..." Verification-Preserving Inlining in Automatic Separation Logic Verifiers Thibault Dardinier, Gaurav Parthasarathy, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p153-p (type: Full Paper (27 pages + references)) doi:10.1145/3586054
	Petri, Gustavo	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Grounded Copilot: How Programmers ..." Grounded Copilot: How Programmers Interact with Code-Generating Models Shraddha Barke, Michael B. James, and Nadia Polikarpova (University of California at San Diego, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p24-p (type: Full Paper (27 pages + references)) doi:10.1145/3586030
	Potter, Hannah	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Roşu, Grigore	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Generating Proof Certificates ..." Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu (Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Published Artifact Archive submitted (1.1 MB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p23-p (type: Full Paper (27 pages + references)) doi:10.1145/3586029
	Roth, Ori	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Fluent APIs in Functional ..." Fluent APIs in Functional Languages Ori Roth and Yossi Gil (Technion, Israel) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p172-p (type: Full Paper (27 pages + references)) doi:10.1145/3586057
	Samanta, Roopsha	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Enabling Bounded Verification ..." Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions Christopher Wagner, Nouraldin Jaber, and Roopsha Samanta (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p34-p (type: Full Paper (27 pages + references)) doi:10.1145/3586033
	Saxena, Prateek	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "User-Customizable Transpilation ..." User-Customizable Transpilation of Scripting Languages Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p36-p (type: Full Paper (27 pages + references)) doi:10.1145/3586034
	Schroeder, Ryan	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Aliasing Limits on Translating ..." Aliasing Limits on Translating C to Safe Rust Mehmet Emre, Peter Boyland, Aesha Parekh, Ryan Schroeder, Kyle Dewey, and Ben Hardekopf (University of San Francisco, USA; University of California at Santa Barbara, USA; California State University, Northridge, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p91-p (type: Full Paper (27 pages + references)) doi:10.1145/3586046
	Schuster, Philipp	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Back to Direct Style: Typed ..." Back to Direct Style: Typed and Tight Marius Müller, Philipp Schuster, Jonathan Immanuel Brachthäuser, and Klaus Ostermann (University of Tübingen, Germany) Publisher's Version Article: oopslaa23main-p163-p (type: Full Paper (27 pages + references)) doi:10.1145/3586056
	Shan, Chung-chieh	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Exact Recursive Probabilistic ..." Exact Recursive Probabilistic Programming David Chiang, Colin McDonald, and Chung-chieh Shan (University of Notre Dame, USA; Indiana University, USA) Publisher's Version Published Artifact Archive submitted (520 kB) Artifacts Available Artifacts Functional Article: oopslaa23main-p131-p (type: Full Paper (27 pages + references)) doi:10.1145/3586050
	Shapira, Yuval	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Deep Learning Robustness Verification ..." Deep Learning Robustness Verification for Few-Pixel Attacks Yuval Shapira, Eran Avneri, and Dana Drachsler-Cohen (Technion, Israel) Publisher's Version Article: oopslaa23main-p80-p (type: Full Paper (27 pages + references)) doi:10.1145/3586042
	Shen, Xipeng	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Automated Translation of Functional ..." Automated Translation of Functional Big Data Queries to SQL Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, and Işıl Dillig (North Carolina State University, USA; University of Texas at Austin, USA) Publisher's Version Archive submitted (880 kB) Article: oopslaa23main-p98-p (type: Full Paper (27 pages + references)) doi:10.1145/3586047
	Silva, Alexandra	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Outcome Logic: A Unifying ..." Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Noam Zilberstein, Derek Dreyer, and Alexandra Silva (Cornell University, USA; MPI-SWS, Germany) Publisher's Version Article: oopslaa23main-p89-p (type: Full Paper (27 pages + references)) doi:10.1145/3586045
	Stockwell, Gareth	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Su, Han	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Su, Zhendong	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Accelerating Fuzzing through ..." Accelerating Fuzzing through Prefix-Guided Execution Shaohua Li and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p11-p (type: Full Paper (27 pages + references)) doi:10.1145/3586027
	Subasinghe, Isitha	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Sun, Chengnian	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Tian, Yongqiang	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Toro, Matías	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Gradual Probabilistic Lambda ..." A Gradual Probabilistic Lambda Calculus Wenjia Ye, Matías Toro, and Federico Olmedo (University of Hong Kong, China; University of Chile, Chile) Publisher's Version Article: oopslaa23main-p40-p (type: Full Paper (27 pages + references)) doi:10.1145/3586036
	Trinh, Minh-Thai	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Generating Proof Certificates ..." Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu (Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Published Artifact Archive submitted (1.1 MB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p23-p (type: Full Paper (27 pages + references)) doi:10.1145/3586029
	Von Gleissenthall, Klaus	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Randomized Testing of Byzantine ..." Randomized Testing of Byzantine Fault Tolerant Algorithms Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan (Delft University of Technology, Netherlands; Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p151-p (type: Full Paper (27 pages + references)) doi:10.1145/3586053
	Wagner, Christopher	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Enabling Bounded Verification ..." Enabling Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems via Bounded Regions Christopher Wagner, Nouraldin Jaber, and Roopsha Samanta (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p34-p (type: Full Paper (27 pages + references)) doi:10.1145/3586033
	Wang, Bo	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "User-Customizable Transpilation ..." User-Customizable Transpilation of Scripting Languages Bo Wang, Aashish Kolluri, Ivica Nikolić, Teodora Baluta, and Prateek Saxena (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p36-p (type: Full Paper (27 pages + references)) doi:10.1145/3586034
	Wang, Chenglin	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Solving Conditional Linear ..." Solving Conditional Linear Recurrences for Program Verification: The Periodic Case Chenglin Wang and Fangzhen Lin (Hong Kong University of Science and Technology, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p18-p (type: Full Paper (27 pages + references)) doi:10.1145/3586028
	Wang, John	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Generating Proof Certificates ..." Generating Proof Certificates for a Language-Agnostic Deductive Program Verifier Zhengyao Lin, Xiaohong Chen, Minh-Thai Trinh, John Wang, and Grigore Roşu (Carnegie Mellon University, USA; University of Illinois at Urbana-Champaign, USA; Advanced Digital Sciences Center, Singapore) Publisher's Version Published Artifact Archive submitted (1.1 MB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p23-p (type: Full Paper (27 pages + references)) doi:10.1145/3586029
	Winter, Levin N.	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Randomized Testing of Byzantine ..." Randomized Testing of Byzantine Fault Tolerant Algorithms Levin N. Winter, Florena Buse, Daan de Graaf, Klaus von Gleissenthall, and Burcu Kulahcioglu Ozkan (Delft University of Technology, Netherlands; Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p151-p (type: Full Paper (27 pages + references)) doi:10.1145/3586053
	Xiong, Shale	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Verification Methodology ..." A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, and Nathan Chong (ARM, UK; Amazon Web Services, UK; Amazon Web Services, USA) Publisher's Version Artifacts Reusable Article: oopslaa23main-p70-p (type: Full Paper (27 pages + references)) doi:10.1145/3586040
	Xiong, Yingfei	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Improving Oracle-Guided Inductive ..." Improving Oracle-Guided Inductive Synthesis by Efficient Question Selection Ruyi Ji, Chaozhe Kong, Yingfei Xiong, and Zhenjiang Hu (Peking University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p158-p (type: Full Paper (27 pages + references)) doi:10.1145/3586055
	Xu, Zhenyang	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Ye, Wenjia	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "A Gradual Probabilistic Lambda ..." A Gradual Probabilistic Lambda Calculus Wenjia Ye, Matías Toro, and Federico Olmedo (University of Hong Kong, China; University of Chile, Chile) Publisher's Version Article: oopslaa23main-p40-p (type: Full Paper (27 pages + references)) doi:10.1145/3586036
	Yoshida, Nobuko	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Hybrid Multiparty Session ..." Hybrid Multiparty Session Types: Compositionality for Protocol Specification through Endpoint Projection Lorenzo Gheri and Nobuko Yoshida (University of Oxford, UK) Publisher's Version Article: oopslaa23main-p25-p (type: Full Paper (27 pages + references)) doi:10.1145/3586031
	Yuan, Yongwei	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Live Pattern Matching with ..." Live Pattern Matching with Typed Holes Yongwei Yuan, Scott Guest, Eric Griffis, Hannah Potter, David Moon, and Cyrus Omar (Purdue University, USA; University of Michigan, USA; University of Washington, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Article: oopslaa23main-p103-p (type: Full Paper (27 pages + references)) doi:10.1145/3586048
	Zhan, Naijun	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Lower Bounds for Possibly ..." Lower Bounds for Possibly Divergent Probabilistic Programs Shenghua Feng, Mingshuai Chen, Han Su, Benjamin Lucien Kaminski, Joost-Pieter Katoen, and Naijun Zhan (Institute of Software at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Zhejiang University, China; Saarland University, Germany; University College London, UK; RWTH Aachen University, Germany) Publisher's Version Article: oopslaa23main-p135-p (type: Full Paper (27 pages + references)) doi:10.1145/3586051
	Zhang, Guoqiang	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Automated Translation of Functional ..." Automated Translation of Functional Big Data Queries to SQL Guoqiang Zhang, Benjamin Mariano, Xipeng Shen, and Işıl Dillig (North Carolina State University, USA; University of Texas at Austin, USA) Publisher's Version Archive submitted (880 kB) Article: oopslaa23main-p98-p (type: Full Paper (27 pages + references)) doi:10.1145/3586047
	Zhang, Mengxiao	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Zhang, Xing	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Bidirectional Object-Oriented ..." Bidirectional Object-Oriented Programming: Towards Programmatic and Direct Manipulation of Objects Xing Zhang, Guanchen Guo, Xiao He, and Zhenjiang Hu (Peking University, China; University of Science and Technology Beijing, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p37-p (type: Full Paper (27 pages + references)) doi:10.1145/3586035
	Zhao, Gaosen	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Pushing the Limit of 1-Minimality ..." Pushing the Limit of 1-Minimality of Language-Agnostic Program Reduction Zhenyang Xu, Yongqiang Tian, Mengxiao Zhang, Gaosen Zhao, Yu Jiang, and Chengnian Sun (University of Waterloo, Canada; Tsinghua University, China) Publisher's Version Published Artifact Artifacts Available Article: oopslaa23main-p117-p (type: Full Paper (27 pages + references)) doi:10.1145/3586049
	Zhou, Jie	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Fat Pointers for Temporal ..." Fat Pointers for Temporal Memory Safety of C Jie Zhou, John Criswell, and Michael Hicks (University of Rochester, USA; Amazon, USA; University of Maryland, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: oopslaa23main-p64-p (type: Full Paper (27 pages + references)) doi:10.1145/3586038
	Zhou, Yi	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Verus: Verifying Rust Programs ..." Verus: Verifying Rust Programs using Linear Ghost Types Andrea Lattuada, Travis Hance, Chanhee Cho, Matthias Brun, Isitha Subasinghe, Yi Zhou, Jon Howell, Bryan Parno, and Chris Hawblitzel (VMware Research, Switzerland; Carnegie Mellon University, USA; ETH Zurich, Switzerland; UNSW Sydney, Australia; VMware Research, USA; Microsoft Research, USA) Publisher's Version Published Artifact Archive submitted (61 kB) Artifacts Available Artifacts Reusable Article: oopslaa23main-p45-p (type: Full Paper (27 pages + references)) doi:10.1145/3586037
	Zilberstein, Noam	Proc. ACM Program. Lang., vol. 7, issue OOPSLA1: "Outcome Logic: A Unifying ..." Outcome Logic: A Unifying Foundation for Correctness and Incorrectness Reasoning Noam Zilberstein, Derek Dreyer, and Alexandra Silva (Cornell University, USA; MPI-SWS, Germany) Publisher's Version Article: oopslaa23main-p89-p (type: Full Paper (27 pages + references)) doi:10.1145/3586045

120 authors

proc time: 0.18