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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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)
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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 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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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)
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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)
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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
	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)
	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
	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
	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
	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
	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
	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

120 authors

proc time: 0.08