PLDI 2023 – Author Index

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

	Abdulla, Parosh Aziz	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Abrahamsson, Oskar	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Acar, Umut A.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..." Efficient Parallel Functional Programming with Effects Jatin Arora, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Agarwal, Sukarn	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Agrawal, Kunal	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ahmed, Amal	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..." Lilac: A Modal Separation Logic for Conditional Probability John M. Li, Amal Ahmed, and Steven Holtzen (Northeastern University, USA) Publisher's Version
	Albarghouthi, Aws	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..." Synthesizing Quantum-Circuit Optimizers Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Alberdingk Thijm, Timothy	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..." Modular Control Plane Verification via Temporal Invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, and David Walker (Princeton University, USA; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Alistarh, Dan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..." CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Nikita Koval, Dmitry Khalanskiy, and Dan Alistarh (JetBrains, Netherlands; JetBrains, Germany; IST Austria, Austria) Publisher's Version
	Amin, Nada	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..." Extensible Metatheory Mechanization via Family Polymorphism Ende Jin, Nada Amin, and Yizhou Zhang (University of Waterloo, Canada; Harvard University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Arora, Jatin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..." Efficient Parallel Functional Programming with Effects Jatin Arora, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Askarov, Aslan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Atkinson, Eric	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Conflict-Driven Synthesis for Layout Engines Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, and Rastislav Bodik (University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA) Publisher's Version
	Avanzini, Martin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..." Automated Expected Value Analysis of Recursive Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; Universität Innsbruck, Austria; Build Informed, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Azevedo de Amorim, Pedro Henrique	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..." Modular Hardware Design with Timeline Types Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Babokin, Dmitry	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..." Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version
	Bagnall, Alexander	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..." Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning Alexander Bagnall, Gordon Stewart, and Anindya Banerjee (Ohio University, USA; Bedrock Systems, USA; IMDEA Software Institute, Spain) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Balkind, Jonathan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..." Loop Rerolling for Hardware Decompilation Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf (University of California at Santa Barbara, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Banerjee, Anindya	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..." Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning Alexander Bagnall, Gordon Stewart, and Anindya Banerjee (Ohio University, USA; Bedrock Systems, USA; IMDEA Software Institute, Spain) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Banerjee, Debangshu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..." Incremental Verification of Neural Networks Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Bang, Lucas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..." Obtaining Information Leakage Bounds via Approximate Model Counting Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, and Tevfik Bultan (University of California at Santa Barbara, USA; Harvey Mudd College, USA) Publisher's Version
	Bansal, Manya	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..." Mosaic: An Interoperable Compiler for Tensor Algebra Manya Bansal, Olivia Hsu, Kunle Olukotun, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Barnaby, Celeste	Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." ImageEye: Batch Image Processing using Program Synthesis Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, and Işıl Dillig (University of Texas at Austin, USA; Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Beckett, Ryan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..." Modular Control Plane Verification via Temporal Invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, and David Walker (Princeton University, USA; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Bercea, Gheorghe-Teodor	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Berger, Martin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Search-Based Regular Expression ..." Search-Based Regular Expression Inference on a GPU Mojtaba Valizadeh and Martin Berger (University of Sussex, UK; Montanarius, UK; Huawei, UK) Publisher's Version Artifacts Reusable
	Berkow, Wilson	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..." Better Defunctionalization through Lambda Set Specialization William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, and Mae Milano (Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
	Bertram, Noah	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..." Cutting the Cake: A Language for Fair Division Noah Bertram, Alex Levinson, and Justin Hsu (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Beurer-Kellner, Luca	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..." Prompting Is Programming: A Query Language for Large Language Models Luca Beurer-Kellner, Marc Fischer, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Birkedal, Lars	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Bodik, Rastislav	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..." A Lineage-Based Referencing DSL for Computer-Aided Design Dan Cascaval, Rastislav Bodik, and Adriana Schulz (University of Washington, USA; Google, USA) Publisher's Version Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Conflict-Driven Synthesis for Layout Engines Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, and Rastislav Bodik (University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA) Publisher's Version
	Bos, Herbert	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..." Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, and Klaus von Gleissenthall (Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Bouajjani, Ahmed	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels Ahmed Bouajjani, Constantin Enea, and Enrique Román-Calvo (University Paris Cité, France; CNRS, France; IRIF, France; LIX, France; École Polytechnique, France; Institut Polytechnique de Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Brandon, William	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..." Better Defunctionalization through Lambda Set Specialization William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, and Mae Milano (Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
	Bultan, Tevfik	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..." Obtaining Information Leakage Bounds via Approximate Model Counting Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, and Tevfik Bultan (University of California at Santa Barbara, USA; Harvey Mudd College, USA) Publisher's Version
	Cao, David	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Cascaval, Dan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..." A Lineage-Based Referencing DSL for Computer-Aided Design Dan Cascaval, Rastislav Bodik, and Adriana Schulz (University of Washington, USA; Google, USA) Publisher's Version
	Castro, Paul	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Chakraborty, Soham	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Chen, Qiaochu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." ImageEye: Batch Image Processing using Program Synthesis Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, and Işıl Dillig (University of Texas at Austin, USA; Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chen, Yanju	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Conflict-Driven Synthesis for Layout Engines Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, and Rastislav Bodik (University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA) Publisher's Version Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chen, Yu-Fang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Cheshmi, Kazem	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..." Register Tiling for Unstructured Sparsity in Neural Network Inference Lucas Wilkinson, Kazem Cheshmi, and Maryam Mehri Dehnavi (University of Toronto, Canada; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chiba, Shigeru	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..." Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chida, Nariyoshi	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Repairing Regular Expressions ..." Repairing Regular Expressions for Extraction Nariyoshi Chida and Tachio Terauchi (NTT Social Informatics Laboratories, Japan; Waseda University, Japan) Publisher's Version
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Cho, Kyeongmin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..." Memento: A Framework for Detectable Recoverability in Persistent Memory Kyeongmin Cho, Seungmin Jeon, Azalea Raad, and Jeehoon Kang (KAIST, South Korea; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Cho, Minki	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..." Putting Weak Memory in Order via a Promising Intermediate Representation Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, and Ori Lahav (Seoul National University, South Korea; Tel Aviv University, Israel) Publisher's Version
	Chu, Michael	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chuengsatiansup, Chitchanok	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chung, Kai-Min	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Chuprikov, Pavel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..." Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, and Savvas Savvides (USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA) Publisher's Version
	Conoly, Owen	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Cwiklik, Jaroslaw	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Czajka, Łukasz	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..." Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic Ike Mulder, Łukasz Czajka, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; TU Dortmund, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Dai, Frank	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..." Better Defunctionalization through Lambda Set Specialization William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, and Mae Milano (Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
	Damani, Sana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..." cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, and Mark Stephenson (NVIDIA, USA) Publisher's Version
	Dardinier, Thibault	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..." CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity Marco Eilers, Thibault Dardinier, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Dehnavi, Maryam Mehri	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..." Register Tiling for Unstructured Sparsity in Neural Network Inference Lucas Wilkinson, Kazem Cheshmi, and Maryam Mehri Dehnavi (University of Toronto, Canada; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Delaware, Benjamin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Taype: A Policy-Agnostic Language ..." Taype: A Policy-Agnostic Language for Oblivious Computation Qianchuan Ye and Benjamin Delaware (Purdue University, USA) Publisher's Version Published Artifact Archive submitted (430 kB) Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..." Covering All the Bases: Type-Based Verification of Test Input Generators Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Desai, Ankush	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..." Psym: Efficient Symbolic Exploration of Distributed Systems Lauren Pick, Ankush Desai, and Aarti Gupta (University of California at Berkeley, USA; University of Wisconsin-Madison, USA; Amazon Web Services, USA; Princeton University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Dillig, Işıl	Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." ImageEye: Batch Image Processing using Program Synthesis Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, and Işıl Dillig (University of Texas at Austin, USA; Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Donaldson, Alastair F.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..." Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs Bastien Lecoeur, Hasan Mohsin, and Alastair F. Donaldson (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Drachsler-Cohen, Dana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "One Pixel Adversarial Attacks ..." One Pixel Adversarial Attacks via Sketched Programs Tom Yuviler and Dana Drachsler-Cohen (Technion, Israel) Publisher's Version
	Driscoll, Benjamin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..." Better Defunctionalization through Lambda Set Specialization William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, and Mae Milano (Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
	Eilers, Marco	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..." CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity Marco Eilers, Thibault Dardinier, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Elsman, Martin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Garbage-Collection Safety ..." Garbage-Collection Safety for Region-Based Type-Polymorphic Programs Martin Elsman (University of Copenhagen, Denmark) Publisher's Version Published Artifact Archive submitted (580 kB) Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parallelism in a Region Inference ..." Parallelism in a Region Inference Context Martin Elsman and Troels Henriksen (University of Copenhagen, Denmark) Publisher's Version Published Artifact Archive submitted (460 kB) Artifacts Available Artifacts Reusable
	Enea, Constantin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels Ahmed Bouajjani, Constantin Enea, and Enrique Román-Calvo (University Paris Cité, France; CNRS, France; IRIF, France; LIX, France; École Polytechnique, France; Institut Polytechnique de Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Epstein, Edward	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Erbsen, Andres	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Eugster, Patrick	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..." Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, and Savvas Savvides (USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA) Publisher's Version
	Feng, Yu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Conflict-Driven Synthesis for Layout Engines Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, and Rastislav Bodik (University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA) Publisher's Version Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Fiala, Jonáš	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Leveraging Rust Types for Program Synthesis Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, and Ilya Sergey (ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Fischer, Marc	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Müller, Marc Fischer, Robin Staab, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..." Prompting Is Programming: A Query Language for Large Language Models Luca Beurer-Kellner, Marc Fischer, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Flatt, Oliver	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Foster, Jeffrey S.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..." Absynthe: Abstract Interpretation-Guided Synthesis Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn (University of Maryland, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Gao, Fengjuan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..." Discrete Adversarial Attack to Models of Code Fengjuan Gao, Yu Wang, and Ke Wang (Nanjing University of Science and Technology, China; Nanjing University, China; Visa Research, USA) Publisher's Version Archive submitted (340 kB)
	Gardner, Philippa	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Geller, Adam T.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..." Flux: Liquid Types for Rust Nico Lehmann, Adam T. Geller, Niki Vazou, and Ranjit Jhala (University of California at San Diego, USA; University of British Columbia, Canada; IMDEA Software Institute, Spain) Publisher's Version Artifacts Reusable
	Genkin, Daniel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Georges, Aïna Linn	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ghavamizadeh, Matin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Stochastic Probabilities Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version
	Ghentiyala, Surendra	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..." Obtaining Information Leakage Bounds via Approximate Model Counting Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, and Tevfik Bultan (University of California at Santa Barbara, USA; Harvey Mudd College, USA) Publisher's Version
	Giuffrida, Cristiano	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..." Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, and Klaus von Gleissenthall (Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Gleissenthall, Klaus von	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..." Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, and Klaus von Gleissenthall (Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Goens, Andrés	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Gopinathan, Kiran	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..." Mostly Automated Proof Repair for Verified Libraries Kiran Gopinathan, Mayank Keoliya, and Ilya Sergey (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Gross, Jason	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Grove, David	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Gu, Brian	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Gu, Tiancheng	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..." Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gupta, Aarti	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..." Modular Control Plane Verification via Temporal Invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, and David Walker (Princeton University, USA; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..." Psym: Efficient Symbolic Exploration of Distributed Systems Lauren Pick, Ankush Desai, and Aarti Gupta (University of California at Berkeley, USA; University of Wisconsin-Madison, USA; Amazon Web Services, USA; Princeton University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..." Synthesizing MILP Constraints for Efficient and Robust Optimization Jingbo Wang, Aarti Gupta, and Chao Wang (University of Southern California, USA; Princeton University, USA) Publisher's Version
	Guria, Sankha Narayan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..." Absynthe: Abstract Interpretation-Guided Synthesis Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn (University of Maryland, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Hardekopf, Ben	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..." Loop Rerolling for Hardware Decompilation Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf (University of California at Santa Barbara, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Henriksen, Troels	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parallelism in a Region Inference ..." Parallelism in a Region Inference Context Martin Elsman and Troels Henriksen (University of Copenhagen, Denmark) Publisher's Version Published Artifact Archive submitted (460 kB) Artifacts Available Artifacts Reusable
	Holtzen, Steven	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..." Lilac: A Modal Separation Logic for Conditional Probability John M. Li, Amal Ahmed, and Steven Holtzen (Northeastern University, USA) Publisher's Version
	Hsu, Justin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..." Cutting the Cake: A Language for Fair Division Noah Bertram, Alex Levinson, and Justin Hsu (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Hsu, Olivia	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..." Mosaic: An Interoperable Compiler for Tensor Algebra Manya Bansal, Olivia Hsu, Kunle Olukotun, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Huang, Jiani	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..." Scallop: A Language for Neurosymbolic Programming Ziyang Li, Jiani Huang, and Mayur Naik (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Huang, Yulong	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Defunctionalization with Dependent ..." Defunctionalization with Dependent Types Yulong Huang and Jeremy Yallop (University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hur, Chung-Kil	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..." Putting Weak Memory in Order via a Promising Intermediate Representation Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, and Ori Lahav (Seoul National University, South Korea; Tel Aviv University, Israel) Publisher's Version
	Isemann, Raphael	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..." Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, and Klaus von Gleissenthall (Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Itzhaky, Shachar	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Leveraging Rust Types for Program Synthesis Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, and Ilya Sergey (ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Jagannathan, Suresh	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..." Covering All the Bases: Type-Based Verification of Test Input Generators Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Jaleel, Aamer	Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..." cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, and Mark Stephenson (NVIDIA, USA) Publisher's Version
	Jeon, Seungmin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..." Memento: A Framework for Detectable Recoverability in Persistent Memory Kyeongmin Cho, Seungmin Jeon, Azalea Raad, and Jeehoon Kang (KAIST, South Korea; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Jhala, Ranjit	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..." Flux: Liquid Types for Rust Nico Lehmann, Adam T. Geller, Niki Vazou, and Ranjit Jhala (University of California at San Diego, USA; University of British Columbia, Canada; IMDEA Software Institute, Spain) Publisher's Version Artifacts Reusable
	Jia, Limin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..." A Type System for Safe Intermittent Computing Milijana Surbatovich, Naomi Spargo, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Jin, Ende	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..." Extensible Metatheory Mechanization via Family Polymorphism Ende Jin, Nada Amin, and Yizhou Zhang (University of Waterloo, Canada; Harvard University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kanabar, Hrutvik	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kang, Jeehoon	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..." Memento: A Framework for Detectable Recoverability in Persistent Memory Kyeongmin Cho, Seungmin Jeon, Azalea Raad, and Jeehoon Kang (KAIST, South Korea; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kapritsos, Manos	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..." Performal: Formal Verification of Latency Properties for Distributed Systems Tony Nuda Zhang, Upamanyu Sharma, and Manos Kapritsos (University of Michigan, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Keckler, Stephen W.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..." cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, and Mark Stephenson (NVIDIA, USA) Publisher's Version
	Keeney, Devyn Terra	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Keoliya, Mayank	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..." Mostly Automated Proof Repair for Verified Libraries Kiran Gopinathan, Mayank Keoliya, and Ilya Sergey (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Khalanskiy, Dmitry	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..." CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Nikita Koval, Dmitry Khalanskiy, and Dan Alistarh (JetBrains, Netherlands; JetBrains, Germany; IST Austria, Austria) Publisher's Version
	Kim, Hyeongyu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Kim, Jinwoo	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kjolstad, Fredrik	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..." Mosaic: An Interoperable Compiler for Tensor Algebra Manya Bansal, Olivia Hsu, Kunle Olukotun, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..." Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kolichala, Praneeth	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..." Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kovach, Scott	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Indexed Streams: A Formal ..." Indexed Streams: A Formal Intermediate Representation for Fused Contraction Programs Scott Kovach, Praneeth Kolichala, Tiancheng Gu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Koval, Nikita	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CQS: A Formally-Verified Framework ..." CQS: A Formally-Verified Framework for Fair and Abortable Synchronization Nikita Koval, Dmitry Khalanskiy, and Dan Alistarh (JetBrains, Netherlands; JetBrains, Germany; IST Austria, Austria) Publisher's Version
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..." Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic Ike Mulder, Łukasz Czajka, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; TU Dortmund, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Krishna, Shankaranarayanan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Krishnaswami, Neel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..." flap: A Deterministic Parser with Fused Lexing Jeremy Yallop, Ningning Xie, and Neel Krishnaswami (University of Cambridge, UK; University of Toronto, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kuepper, Joel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kumar, Ramana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Kunčak, Viktor	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Proving and Disproving Equivalence ..." Proving and Disproving Equivalence of Functional Programming Assignments Dragana Milovančević and Viktor Kunčak (EPFL, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lahav, Ori	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..." Putting Weak Memory in Order via a Promising Intermediate Representation Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, and Ori Lahav (Seoul National University, South Korea; Tel Aviv University, Israel) Publisher's Version
	Lammich, Peter	Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..." WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly Conrad Watt, Maja Trela, Peter Lammich, and Florian Märkl (University of Cambridge, UK; Jane Street, UK; University of Twente, Netherlands; TU Munich, Germany) Publisher's Version Published Artifact Artifacts Available
	Lampropoulos, Leonidas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Merging Inductive Relations ..." Merging Inductive Relations Jacob Prinz and Leonidas Lampropoulos (University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lecoeur, Bastien	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..." Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs Bastien Lecoeur, Hasan Mohsin, and Alastair F. Donaldson (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lee, Dongjae	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lee, I-Ting Angelina	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lee, Juneyoung	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Lee, Kanguk	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..." Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu (Korea University, South Korea; KAIST, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lee, Sung-Hwan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..." Putting Weak Memory in Order via a Promising Intermediate Representation Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, and Ori Lahav (Seoul National University, South Korea; Tel Aviv University, Israel) Publisher's Version
	Lee, Woosuk	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..." Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation Yongho Yoon, Woosuk Lee, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Legoupil, Maxime	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lehmann, Nico	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..." Flux: Liquid Types for Rust Nico Lehmann, Adam T. Geller, Niki Vazou, and Ranjit Jhala (University of California at San Diego, USA; University of British Columbia, Canada; IMDEA Software Institute, Spain) Publisher's Version Artifacts Reusable
	Lei, Yuxiang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..." Recursive State Machine Guided Graph Folding for Context-Free Language Reachability Yuxiang Lei, Yulei Sui, Shin Hwei Tan, and Qirun Zhang (University of New South Wales, Australia; Concordia University, Canada; Georgia Institute of Technology, USA) Publisher's Version Published Artifact Archive submitted (340 kB) Artifacts Available Artifacts Reusable
	Lengál, Ondřej	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Levinson, Alex	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cutting the Cake: A Language ..." Cutting the Cake: A Language for Fair Division Noah Bertram, Alex Levinson, and Justin Hsu (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lew, Alexander K.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Stochastic Probabilities Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version
	Li, John M.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Lilac: A Modal Separation ..." Lilac: A Modal Separation Logic for Conditional Probability John M. Li, Amal Ahmed, and Steven Holtzen (Northeastern University, USA) Publisher's Version
	Li, Yue	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Li, Ziyang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..." Scallop: A Language for Neurosymbolic Programming Ziyang Li, Jiani Huang, and Mayur Naik (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Lin, Jyun-Ao	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Liu, Junrui	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Conflict-Driven Synthesis ..." Conflict-Driven Synthesis for Layout Engines Junrui Liu, Yanju Chen, Eric Atkinson, Yu Feng, and Rastislav Bodik (University of California at Santa Barbara, USA; Massachusetts Institute of Technology, USA; Google, USA) Publisher's Version
	Liu, Zongyuan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Livinskii, Vsevolod	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..." Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version
	Lu, Shihua	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..." Obtaining Information Leakage Bounds via Approximate Model Counting Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, and Tevfik Bultan (University of California at Santa Barbara, USA; Harvey Mudd College, USA) Publisher's Version
	Lucia, Brandon	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..." A Type System for Safe Intermittent Computing Milijana Surbatovich, Naomi Spargo, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Ma, Wenjie	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ma, Xiaoxing	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mangipudi, Shamiek	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..." Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, and Savvas Savvides (USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA) Publisher's Version
	Mansinghka, Vikash K.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Stochastic Probabilities Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version
	Margalit, Roy	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Putting Weak Memory in Order ..." Putting Weak Memory in Order via a Promising Intermediate Representation Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, and Ori Lahav (Seoul National University, South Korea; Tel Aviv University, Israel) Publisher's Version
	Märkl, Florian	Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..." WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly Conrad Watt, Maja Trela, Peter Lammich, and Florian Märkl (University of Cambridge, UK; Jane Street, UK; University of Twente, Netherlands; TU Munich, Germany) Publisher's Version Published Artifact Artifacts Available
	Mathur, Umang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..." Sound Dynamic Deadlock Prediction in Linear Time Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, and Mahesh Viswanathan (Aarhus University, Denmark; National University of Singapore, Singapore; University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Meyer, Roland	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..." Embedding Hindsight Reasoning in Separation Logic Roland Meyer, Thomas Wies, and Sebastian Wolff (TU Braunschweig, Germany; New York University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mihajlovic, Alexander	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Milano, Mae	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Defunctionalization ..." Better Defunctionalization through Lambda Set Specialization William Brandon, Benjamin Driscoll, Frank Dai, Wilson Berkow, and Mae Milano (Massachusetts Institute of Technology, USA; Stanford University, USA; University of California at Berkeley, USA) Publisher's Version Published Artifact Archive submitted (420 kB) Artifacts Available Artifacts Reusable
	Milovančević, Dragana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Proving and Disproving Equivalence ..." Proving and Disproving Equivalence of Functional Programming Assignments Dragana Milovančević and Viktor Kunčak (EPFL, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Misailovic, Sasa	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..." Incremental Verification of Neural Networks Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mishra, Ashish	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..." Covering All the Bases: Type-Based Verification of Test Input Generators Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mitchell, Jacqueline	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..." Architecture-Preserving Provable Repair of Deep Neural Networks Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur (University of California at Davis, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mohsin, Hasan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Program Reconditioning: Avoiding ..." Program Reconditioning: Avoiding Undefined Behaviour When Finding and Reducing Compiler Bugs Bastien Lecoeur, Hasan Mohsin, and Alastair F. Donaldson (Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Molavi, Abtin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..." Synthesizing Quantum-Circuit Optimizers Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Moon, Soonwon	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mordido, Andreia	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..." Parameterized Algebraic Protocols Andreia Mordido, Janek Spaderna, Peter Thiemann, and Vasco T. Vasconcelos (University of Lisbon, Portugal; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Morrisett, Greg	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..." Interval Parsing Grammars for File Format Parsing Jialun Zhang, Greg Morrisett, and Gang Tan (Pennsylvania State University, USA; Cornell University, USA) Publisher's Version Published Artifact Archive submitted (850 kB) Artifacts Available Artifacts Reusable
	Morton, Jason	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Moseley, Dan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Moser, Georg	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..." Automated Expected Value Analysis of Recursive Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; Universität Innsbruck, Austria; Build Informed, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Mulder, Ike	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Beyond Backtracking: Connections ..." Beyond Backtracking: Connections in Fine-Grained Concurrent Separation Logic Ike Mulder, Łukasz Czajka, and Robbert Krebbers (Radboud University Nijmegen, Netherlands; TU Dortmund, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Müller, Mark Niklas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Müller, Marc Fischer, Robin Staab, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Müller, Peter	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Leveraging Rust Types for Program Synthesis Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, and Ilya Sergey (ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "CommCSL: Proving Information ..." CommCSL: Proving Information Flow Security for Concurrent Programs using Abstract Commutativity Marco Eilers, Thibault Dardinier, and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Muller, Stefan K.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Myreen, Magnus O.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Nagarajan, Vijay	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Naik, Mayur	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Scallop: A Language for Neurosymbolic ..." Scallop: A Language for Neurosymbolic Programming Ziyang Li, Jiani Huang, and Mayur Naik (University of Pennsylvania, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Nakamaru, Tomoki	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..." Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Nam, Seunghyeon	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Nawas, Stephanie	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..." Architecture-Preserving Provable Repair of Deep Neural Networks Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur (University of California at Davis, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Neth, Andrew	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Nigam, Rachit	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..." Modular Hardware Design with Timeline Types Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Nishio, Mario	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Norrish, Michael	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Olukotun, Kunle	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mosaic: An Interoperable Compiler ..." Mosaic: An Interoperable Compiler for Tensor Algebra Manya Bansal, Olivia Hsu, Kunle Olukotun, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Oswald, Nicolai	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Owens, Scott	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Pailoor, Shankara	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Park, Jihyeok	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..." Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu (Korea University, South Korea; KAIST, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Park, Sunjae	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Pavlogiannis, Andreas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..." Sound Dynamic Deadlock Prediction in Linear Time Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, and Mahesh Viswanathan (Aarhus University, Denmark; National University of Singapore, Singapore; University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Perez Rodriguez, Jose	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Pichon-Pharabod, Jean	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Pick, Lauren	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Psym: Efficient Symbolic Exploration ..." Psym: Efficient Symbolic Exploration of Distributed Systems Lauren Pick, Ankush Desai, and Aarti Gupta (University of California at Berkeley, USA; University of Wisconsin-Madison, USA; Amazon Web Services, USA; Princeton University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..." Synthesizing Quantum-Circuit Optimizers Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Pohjola, Johannes Åman	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Leveraging Rust Types for Program Synthesis Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, and Ilya Sergey (ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Prinz, Jacob	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Merging Inductive Relations ..." Merging Inductive Relations Jacob Prinz and Leonidas Lampropoulos (University of Maryland, College Park, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Raad, Azalea	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Memento: A Framework for Detectable ..." Memento: A Framework for Detectable Recoverability in Persistent Memory Kyeongmin Cho, Seungmin Jeon, Azalea Raad, and Jeehoon Kang (KAIST, South Korea; Imperial College London, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Radhakrishna, Arjun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..." Trace-Guided Inductive Synthesis of Recursive Functional Programs Yongwei Yuan, Arjun Radhakrishna, and Roopsha Samanta (Purdue University, USA; Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Rao, Xiaojia	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Regehr, John	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fuzzing Loop Optimizations ..." Fuzzing Loop Optimizations in Compilers for C++ and Data-Parallel Languages Vsevolod Livinskii, Dmitry Babokin, and John Regehr (University of Utah, USA; Intel Corporation, USA) Publisher's Version
	Rinard, Martin C.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Stochastic Probabilities Alexander K. Lew, Matin Ghavamizadeh, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version
	Rodríguez, Clara	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Román-Calvo, Enrique	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Dynamic Partial Order Reduction ..." Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels Ahmed Bouajjani, Constantin Enea, and Enrique Román-Calvo (University Paris Cité, France; CNRS, France; IRIF, France; LIX, France; École Polytechnique, France; Institut Polytechnique de Paris, France) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Rosenthal, Eli	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ryu, Sukyoung	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..." Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu (Korea University, South Korea; KAIST, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Saarikivi, Olli	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Saha, Seemanta	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Obtaining Information Leakage ..." Obtaining Information Leakage Bounds via Approximate Model Counting Seemanta Saha, Surendra Ghentiyala, Shihua Lu, Lucas Bang, and Tevfik Bultan (University of California at Santa Barbara, USA; Harvey Mudd College, USA) Publisher's Version
	Salvaneschi, Guido	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..." Type-Checking CRDT Convergence George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Samanta, Roopsha	Proc. ACM Program. Lang., vol. 7, issue PLDI: "ImageEye: Batch Image Processing ..." ImageEye: Batch Image Processing using Program Synthesis Celeste Barnaby, Qiaochu Chen, Roopsha Samanta, and Işıl Dillig (University of Texas at Austin, USA; Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..." Trace-Guided Inductive Synthesis of Recursive Functional Programs Yongwei Yuan, Arjun Radhakrishna, and Roopsha Samanta (Purdue University, USA; Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sampson, Adrian	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Hardware Design with ..." Modular Hardware Design with Timeline Types Rachit Nigam, Pedro Henrique Azevedo de Amorim, and Adrian Sampson (Cornell University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sarkar, Susmit	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Compound Memory Models ..." Compound Memory Models Andrés Goens, Soham Chakraborty, Susmit Sarkar, Sukarn Agarwal, Nicolai Oswald, and Vijay Nagarajan (University of Edinburgh, UK; TU Delft, Netherlands; University of St Andrews, UK; NVIDIA Research, Switzerland) Publisher's Version Published Artifact Archive submitted (110 kB) Artifacts Available Artifacts Functional
	Savvides, Savvas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..." Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, and Savvas Savvides (USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA) Publisher's Version
	Schaper, Michael	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Expected Value Analysis ..." Automated Expected Value Analysis of Recursive Programs Martin Avanzini, Georg Moser, and Michael Schaper (Inria, France; Universität Innsbruck, Austria; Build Informed, Austria) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Schulz, Adriana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Lineage-Based Referencing ..." A Lineage-Based Referencing DSL for Computer-Aided Design Dan Cascaval, Rastislav Bodik, and Adriana Schulz (University of Washington, USA; Google, USA) Publisher's Version
	Sergey, Ilya	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Mostly Automated Proof Repair ..." Mostly Automated Proof Repair for Verified Libraries Kiran Gopinathan, Mayank Keoliya, and Ilya Sergey (National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Leveraging Rust Types for ..." Leveraging Rust Types for Program Synthesis Jonáš Fiala, Shachar Itzhaky, Peter Müller, Nadia Polikarpova, and Ilya Sergey (ETH Zurich, Switzerland; Technion, Israel; University of California at San Diego, USA; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sewell, Thomas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sharma, Upamanyu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..." Performal: Formal Verification of Latency Properties for Distributed Systems Tony Nuda Zhang, Upamanyu Sharma, and Manos Kapritsos (University of Michigan, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sherwood, Timothy	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..." Loop Rerolling for Hardware Decompilation Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf (University of California at Santa Barbara, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Shin, Junbum	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Shioya, Ryota	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..." Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Singer, Kyle	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Responsive Parallelism with ..." Responsive Parallelism with Synchronization Stefan K. Muller, Kyle Singer, Devyn Terra Keeney, Andrew Neth, Kunal Agrawal, I-Ting Angelina Lee, and Umut A. Acar (Illinois Institute of Technology, USA; Washington University in St. Louis, USA; Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Singh, Gagandeep	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..." Incremental Verification of Neural Networks Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sisco, Zachary D.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Loop Rerolling for Hardware ..." Loop Rerolling for Hardware Decompilation Zachary D. Sisco, Jonathan Balkind, Timothy Sherwood, and Ben Hardekopf (University of California at Santa Barbara, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Song, Woosung	Proc. ACM Program. Lang., vol. 7, issue PLDI: "HEaaN.MLIR: An Optimizing ..." HEaaN.MLIR: An Optimizing Compiler for Fast Ring-Based Homomorphic Encryption Sunjae Park, Woosung Song, Seunghyeon Nam, Hyeongyu Kim, Junbum Shin, and Juneyoung Lee (Seoul National University, South Korea; Google, South Korea; CryptoLab, South Korea; Amazon Web Services, USA) Publisher's Version
	Song, Youngju	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Fair Operational Semantics ..." Fair Operational Semantics Dongjae Lee, Minki Cho, Jinwoo Kim, Soonwon Moon, Youngju Song, and Chung-Kil Hur (Seoul National University, South Korea; Inha University, South Korea; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Spaderna, Janek	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..." Parameterized Algebraic Protocols Andreia Mordido, Janek Spaderna, Peter Thiemann, and Vasco T. Vasconcelos (University of Lisbon, Portugal; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Spargo, Naomi	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..." A Type System for Safe Intermittent Computing Milijana Surbatovich, Naomi Spargo, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Staab, Robin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Müller, Marc Fischer, Robin Staab, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Stepanenko, Sergei	Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Stephenson, Mark	Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..." cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, and Mark Stephenson (NVIDIA, USA) Publisher's Version
	Stewart, Gordon	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Formally Verified Samplers ..." Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning Alexander Bagnall, Gordon Stewart, and Anindya Banerjee (Ohio University, USA; Bedrock Systems, USA; IMDEA Software Institute, Spain) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Sui, Yulei	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..." Recursive State Machine Guided Graph Folding for Context-Free Language Reachability Yuxiang Lei, Yulei Sui, Shin Hwei Tan, and Qirun Zhang (University of New South Wales, Australia; Concordia University, Canada; Georgia Institute of Technology, USA) Publisher's Version Published Artifact Archive submitted (340 kB) Artifacts Available Artifacts Reusable
	Sun, Chuyue	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Surbatovich, Milijana	Proc. ACM Program. Lang., vol. 7, issue PLDI: "A Type System for Safe Intermittent ..." A Type System for Safe Intermittent Computing Milijana Surbatovich, Naomi Spargo, Limin Jia, and Brandon Lucia (Carnegie Mellon University, USA) Publisher's Version
	Tan, Gang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..." Interval Parsing Grammars for File Format Parsing Jialun Zhang, Greg Morrisett, and Gang Tan (Pennsylvania State University, USA; Cornell University, USA) Publisher's Version Published Artifact Archive submitted (850 kB) Artifacts Available Artifacts Reusable
	Tan, Shin Hwei	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..." Recursive State Machine Guided Graph Folding for Context-Free Language Reachability Yuxiang Lei, Yulei Sui, Shin Hwei Tan, and Qirun Zhang (University of New South Wales, Australia; Concordia University, Canada; Georgia Institute of Technology, USA) Publisher's Version Published Artifact Archive submitted (340 kB) Artifacts Available Artifacts Reusable
	Tan, Tian	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tan, Yong Kiam	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Cakes That Bake Cakes: Dynamic ..." Cakes That Bake Cakes: Dynamic Computation in CakeML Thomas Sewell, Magnus O. Myreen, Yong Kiam Tan, Ramana Kumar, Alexander Mihajlovic, Oskar Abrahamsson, and Scott Owens (University of Cambridge, UK; Chalmers University of Technology, Sweden; Unaffiliated, Singapore; Unaffiliated, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tannu, Swamit	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..." Synthesizing Quantum-Circuit Optimizers Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tao, Zhe	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..." Architecture-Preserving Provable Repair of Deep Neural Networks Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur (University of California at Davis, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tardieu, Olivier	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Reliable Actors with Retry ..." Reliable Actors with Retry Orchestration Olivier Tardieu, David Grove, Gheorghe-Teodor Bercea, Paul Castro, Jaroslaw Cwiklik, and Edward Epstein (IBM Research, USA) Publisher's Version Published Artifact Artifacts Available
	Tarek Ibn Ziad, Mohamed	Proc. ACM Program. Lang., vol. 7, issue PLDI: "cuCatch: A Debugging Tool ..." cuCatch: A Debugging Tool for Efficiently Catching Memory Safety Violations in CUDA Applications Mohamed Tarek Ibn Ziad, Sana Damani, Aamer Jaleel, Stephen W. Keckler, and Mark Stephenson (NVIDIA, USA) Publisher's Version
	Tassarotti, Joseph	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Verified Density Compilation ..." Verified Density Compilation for a Probabilistic Programming Language Joseph Tassarotti and Jean-Baptiste Tristan (New York University, USA; Amazon Web Services, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tatlock, Zachary	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Terauchi, Tachio	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Repairing Regular Expressions ..." Repairing Regular Expressions for Extraction Nariyoshi Chida and Tachio Terauchi (NTT Social Informatics Laboratories, Japan; Waseda University, Japan) Publisher's Version
	Thakur, Aditya V.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Architecture-Preserving Provable ..." Architecture-Preserving Provable Repair of Deep Neural Networks Zhe Tao, Stephanie Nawas, Jacqueline Mitchell, and Aditya V. Thakur (University of California at Davis, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Thiemann, Peter	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..." Parameterized Algebraic Protocols Andreia Mordido, Janek Spaderna, Peter Thiemann, and Vasco T. Vasconcelos (University of Lisbon, Portugal; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tian, Samuel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Timany, Amin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "VMSL: A Separation Logic for ..." VMSL: A Separation Logic for Mechanised Robust Safety of Virtual Machines Communicating above FF-A Zongyuan Liu, Sergei Stepanenko, Jean Pichon-Pharabod, Amin Timany, Aslan Askarov, and Lars Birkedal (Aarhus University, Denmark) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Toub, Stephen	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Trela, Maja	Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..." WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly Conrad Watt, Maja Trela, Peter Lammich, and Florian Märkl (University of Cambridge, UK; Jane Street, UK; University of Twente, Netherlands; TU Munich, Germany) Publisher's Version Published Artifact Artifacts Available
	Tristan, Jean-Baptiste	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Verified Density Compilation ..." Verified Density Compilation for a Probabilistic Programming Language Joseph Tassarotti and Jean-Baptiste Tristan (New York University, USA; Amazon Web Services, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tsai, Wei-Lun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Tunç, Hünkar Can	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Optimal Reads-From Consistency ..." Optimal Reads-From Consistency Checking for C11-Style Memory Models Hünkar Can Tunç, Parosh Aziz Abdulla, Soham Chakraborty, Shankaranarayanan Krishna, Umang Mathur, and Andreas Pavlogiannis (Aarhus University, Denmark; Uppsala University, Sweden; TU Delft, Netherlands; IIT Bombay, India; National University of Singapore, Singapore) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..." Sound Dynamic Deadlock Prediction in Linear Time Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, and Mahesh Viswanathan (Aarhus University, Denmark; National University of Singapore, Singapore; University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ugare, Shubham	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Incremental Verification of ..." Incremental Verification of Neural Networks Shubham Ugare, Debangshu Banerjee, Sasa Misailovic, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ugawa, Tomoharu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..." Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Valizadeh, Mojtaba	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Search-Based Regular Expression ..." Search-Based Regular Expression Inference on a GPU Mojtaba Valizadeh and Martin Berger (University of Sussex, UK; Montanarius, UK; Huawei, UK) Publisher's Version Artifacts Reusable
	Van der Kouwe, Erik	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Don’t Look UB: Exposing ..." Don’t Look UB: Exposing Sanitizer-Eliding Compiler Optimizations Raphael Isemann, Cristiano Giuffrida, Herbert Bos, Erik van der Kouwe, and Klaus von Gleissenthall (Vrije Universiteit Amsterdam, Netherlands) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Van Geffen, Jacob	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Van Horn, David	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Absynthe: Abstract Interpretation-Guided ..." Absynthe: Abstract Interpretation-Guided Synthesis Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn (University of Maryland, USA; Tufts University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Vasconcelos, Vasco T.	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Parameterized Algebraic Protocols ..." Parameterized Algebraic Protocols Andreia Mordido, Janek Spaderna, Peter Thiemann, and Vasco T. Vasconcelos (University of Lisbon, Portugal; University of Freiburg, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Vazou, Niki	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Flux: Liquid Types for Rust ..." Flux: Liquid Types for Rust Nico Lehmann, Adam T. Geller, Niki Vazou, and Ranjit Jhala (University of California at San Diego, USA; University of British Columbia, Canada; IMDEA Software Institute, Spain) Publisher's Version Artifacts Reusable
	Veanes, Margus	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Vechev, Martin	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Abstract Interpretation of ..." Abstract Interpretation of Fixpoint Iterators with Applications to Neural Networks Mark Niklas Müller, Marc Fischer, Robin Staab, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Proc. ACM Program. Lang., vol. 7, issue PLDI: "Prompting Is Programming: ..." Prompting Is Programming: A Query Language for Large Language Models Luca Beurer-Kellner, Marc Fischer, and Martin Vechev (ETH Zurich, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Viering, Malte	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Generalized Policy-Based Noninterference ..." Generalized Policy-Based Noninterference for Efficient Confidentiality-Preservation Shamiek Mangipudi, Pavel Chuprikov, Patrick Eugster, Malte Viering, and Savvas Savvides (USI Lugano, Switzerland; TU Darmstadt, Germany; Purdue University, USA) Publisher's Version
	Viswanathan, Mahesh	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Sound Dynamic Deadlock Prediction ..." Sound Dynamic Deadlock Prediction in Linear Time Hünkar Can Tunç, Umang Mathur, Andreas Pavlogiannis, and Mahesh Viswanathan (Aarhus University, Denmark; National University of Singapore, Singapore; University of Illinois at Urbana-Champaign, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Vivien, Samuel	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wagner, Markus	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Walker, David	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Modular Control Plane Verification ..." Modular Control Plane Verification via Temporal Invariants Timothy Alberdingk Thijm, Ryan Beckett, Aarti Gupta, and David Walker (Princeton University, USA; Microsoft Research, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wan, Tiki	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wang, Chao	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..." Synthesizing MILP Constraints for Efficient and Robust Optimization Jingbo Wang, Aarti Gupta, and Chao Wang (University of Southern California, USA; Princeton University, USA) Publisher's Version
	Wang, Franklyn	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Automated Detection of Under-Constrained ..." Automated Detection of Under-Constrained Circuits in Zero-Knowledge Proofs Shankara Pailoor, Yanju Chen, Franklyn Wang, Clara Rodríguez, Jacob Van Geffen, Jason Morton, Michael Chu, Brian Gu, Yu Feng, and Işıl Dillig (Veridise, USA; Harvard University, USA; 0xparc, USA; Complutense University of Madrid, Spain; ZKonduit, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wang, Jingbo	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing MILP Constraints ..." Synthesizing MILP Constraints for Efficient and Robust Optimization Jingbo Wang, Aarti Gupta, and Chao Wang (University of Southern California, USA; Princeton University, USA) Publisher's Version
	Wang, Ke	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..." Discrete Adversarial Attack to Models of Code Fengjuan Gao, Yu Wang, and Ke Wang (Nanjing University of Science and Technology, China; Nanjing University, China; Visa Research, USA) Publisher's Version Archive submitted (340 kB)
	Wang, Yisu Remy	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wang, Yu	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Discrete Adversarial Attack ..." Discrete Adversarial Attack to Models of Code Fengjuan Gao, Yu Wang, and Ke Wang (Nanjing University of Science and Technology, China; Nanjing University, China; Visa Research, USA) Publisher's Version Archive submitted (340 kB)
	Watt, Conrad	Proc. ACM Program. Lang., vol. 7, issue PLDI: "WasmRef-Isabelle: A Verified ..." WasmRef-Isabelle: A Verified Monadic Interpreter and Industrial Fuzzing Oracle for WebAssembly Conrad Watt, Maja Trela, Peter Lammich, and Florian Märkl (University of Cambridge, UK; Jane Street, UK; University of Twente, Netherlands; TU Munich, Germany) Publisher's Version Published Artifact Artifacts Available Proc. ACM Program. Lang., vol. 7, issue PLDI: "Iris-Wasm: Robust and Modular ..." Iris-Wasm: Robust and Modular Verification of WebAssembly Programs Xiaojia Rao, Aïna Linn Georges, Maxime Legoupil, Conrad Watt, Jean Pichon-Pharabod, Philippa Gardner, and Lars Birkedal (Imperial College London, UK; Aarhus University, Denmark; University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Weisenburger, Pascal	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..." Type-Checking CRDT Convergence George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Westrick, Sam	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Efficient Parallel Functional ..." Efficient Parallel Functional Programming with Effects Jatin Arora, Sam Westrick, and Umut A. Acar (Carnegie Mellon University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wies, Thomas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..." Embedding Hindsight Reasoning in Separation Logic Roland Meyer, Thomas Wies, and Sebastian Wolff (TU Braunschweig, Germany; New York University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wilkinson, Lucas	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Register Tiling for Unstructured ..." Register Tiling for Unstructured Sparsity in Neural Network Inference Lucas Wilkinson, Kazem Cheshmi, and Maryam Mehri Dehnavi (University of Toronto, Canada; McMaster University, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Willsey, Max	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wolff, Sebastian	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Embedding Hindsight Reasoning ..." Embedding Hindsight Reasoning in Separation Logic Roland Meyer, Thomas Wies, and Sebastian Wolff (TU Braunschweig, Germany; New York University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Wu, David	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Xie, Ningning	Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..." flap: A Deterministic Parser with Fused Lexing Jeremy Yallop, Ningning Xie, and Neel Krishnaswami (University of Cambridge, UK; University of Toronto, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Xu, Amanda	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Synthesizing Quantum-Circuit ..." Synthesizing Quantum-Circuit Optimizers Amanda Xu, Abtin Molavi, Lauren Pick, Swamit Tannu, and Aws Albarghouthi (University of Wisconsin-Madison, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Xu, Chang	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Xu, Eric	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Derivative Based Nonbacktracking ..." Derivative Based Nonbacktracking Real-World Regex Matching with Backtracking Semantics Dan Moseley, Mario Nishio, Jose Perez Rodriguez, Olli Saarikivi, Stephen Toub, Margus Veanes, Tiki Wan, and Eric Xu (Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yallop, Jeremy	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Defunctionalization with Dependent ..." Defunctionalization with Dependent Types Yulong Huang and Jeremy Yallop (University of Cambridge, UK) Publisher's Version Published Artifact Artifacts Available Artifacts Functional Proc. ACM Program. Lang., vol. 7, issue PLDI: "flap: A Deterministic Parser ..." flap: A Deterministic Parser with Fused Lexing Jeremy Yallop, Ningning Xie, and Neel Krishnaswami (University of Cambridge, UK; University of Toronto, Canada) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yamazaki, Tetsuro	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Collecting Cyclic Garbage ..." Collecting Cyclic Garbage across Foreign Function Interfaces: Who Takes the Last Piece of Cake? Tetsuro Yamazaki, Tomoki Nakamaru, Ryota Shioya, Tomoharu Ugawa, and Shigeru Chiba (University of Tokyo, Japan) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yang, Shengyuan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Context Sensitivity without ..." Context Sensitivity without Contexts: A Cut-Shortcut Approach to Fast and Precise Pointer Analysis Wenjie Ma, Shengyuan Yang, Tian Tan, Xiaoxing Ma, Chang Xu, and Yue Li (Nanjing University, China) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yarom, Yuval	Proc. ACM Program. Lang., vol. 7, issue PLDI: "CryptOpt: Verified Compilation ..." CryptOpt: Verified Compilation with Randomized Program Search for Cryptographic Primitives Joel Kuepper, Andres Erbsen, Jason Gross, Owen Conoly, Chuyue Sun, Samuel Tian, David Wu, Adam Chlipala, Chitchanok Chuengsatiansup, Daniel Genkin, Markus Wagner, and Yuval Yarom (University of Adelaide, Australia; Massachusetts Institute of Technology, USA; Stanford University, USA; University of Melbourne, Australia; Georgia Institute of Technology, USA; Monash University, Australia; Ruhr University Bochum, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Ye, Qianchuan	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Taype: A Policy-Agnostic Language ..." Taype: A Policy-Agnostic Language for Oblivious Computation Qianchuan Ye and Benjamin Delaware (Purdue University, USA) Publisher's Version Published Artifact Archive submitted (430 kB) Artifacts Available Artifacts Reusable
	Yen, Di-De	Proc. ACM Program. Lang., vol. 7, issue PLDI: "An Automata-Based Framework ..." An Automata-Based Framework for Verification and Bug Hunting in Quantum Circuits Yu-Fang Chen, Kai-Min Chung, Ondřej Lengál, Jyun-Ao Lin, Wei-Lun Tsai, and Di-De Yen (Academia Sinica, Taiwan; Brno University of Technology, Czechia; National Taiwan University, Taiwan; MPI-SWS, Germany) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yi, Kwangkeun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..." Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation Yongho Yoon, Woosuk Lee, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yoon, Yongho	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Inductive Program Synthesis ..." Inductive Program Synthesis via Iterative Forward-Backward Abstract Interpretation Yongho Yoon, Woosuk Lee, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Youn, Dongjun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Feature-Sensitive Coverage ..." Feature-Sensitive Coverage for Conformance Testing of Programming Language Implementations Jihyeok Park, Dongjun Youn, Kanguk Lee, and Sukyoung Ryu (Korea University, South Korea; KAIST, South Korea) Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Yuan, Yongwei	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Trace-Guided Inductive Synthesis ..." Trace-Guided Inductive Synthesis of Recursive Functional Programs Yongwei Yuan, Arjun Radhakrishna, and Roopsha Samanta (Purdue University, USA; Microsoft, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Yuviler, Tom	Proc. ACM Program. Lang., vol. 7, issue PLDI: "One Pixel Adversarial Attacks ..." One Pixel Adversarial Attacks via Sketched Programs Tom Yuviler and Dana Drachsler-Cohen (Technion, Israel) Publisher's Version
	Zakhour, George	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Type-Checking CRDT Convergence ..." Type-Checking CRDT Convergence George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zanetti, Riccardo	Proc. ACM Program. Lang., vol. 7, issue PLDI: "PureCake: A Verified Compiler ..." PureCake: A Verified Compiler for a Lazy Functional Language Hrutvik Kanabar, Samuel Vivien, Oskar Abrahamsson, Magnus O. Myreen, Michael Norrish, Johannes Åman Pohjola, and Riccardo Zanetti (University of Kent, UK; ENS, France; Chalmers University of Technology, Sweden; Australian National University, Australia; University of New South Wales, Australia) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zhang, Jialun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Interval Parsing Grammars ..." Interval Parsing Grammars for File Format Parsing Jialun Zhang, Greg Morrisett, and Gang Tan (Pennsylvania State University, USA; Cornell University, USA) Publisher's Version Published Artifact Archive submitted (850 kB) Artifacts Available Artifacts Reusable
	Zhang, Qirun	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Recursive State Machine Guided ..." Recursive State Machine Guided Graph Folding for Context-Free Language Reachability Yuxiang Lei, Yulei Sui, Shin Hwei Tan, and Qirun Zhang (University of New South Wales, Australia; Concordia University, Canada; Georgia Institute of Technology, USA) Publisher's Version Published Artifact Archive submitted (340 kB) Artifacts Available Artifacts Reusable
	Zhang, Tony Nuda	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Performal: Formal Verification ..." Performal: Formal Verification of Latency Properties for Distributed Systems Tony Nuda Zhang, Upamanyu Sharma, and Manos Kapritsos (University of Michigan, USA; Massachusetts Institute of Technology, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zhang, Yihong	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zhang, Yizhou	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Extensible Metatheory Mechanization ..." Extensible Metatheory Mechanization via Family Polymorphism Ende Jin, Nada Amin, and Yizhou Zhang (University of Waterloo, Canada; Harvard University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zhou, Zhe	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Covering All the Bases: Type-Based ..." Covering All the Bases: Type-Based Verification of Test Input Generators Zhe Zhou, Ashish Mishra, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable
	Zucker, Philip	Proc. ACM Program. Lang., vol. 7, issue PLDI: "Better Together: Unifying ..." Better Together: Unifying Datalog and Equality Saturation Yihong Zhang, Yisu Remy Wang, Oliver Flatt, David Cao, Philip Zucker, Eli Rosenthal, Zachary Tatlock, and Max Willsey (University of Washington, USA; University of California at San Diego, USA; Draper Laboratory, USA; Google, USA) Publisher's Version Published Artifact Artifacts Available Artifacts Reusable