PLDI 2024 – Author Index

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

	Aanjaneya, Mridul	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Maximum Consensus Floating ..." Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation Mridul Aanjaneya and Santosh Nagarakatte (Rutgers University, USA) Publisher's Version Article: pldi24main-p309-p (type: Full Paper) doi:10.1145/3656427
	Abdulla, Parosh	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Verification under Intel-x86 with Persistency Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan (Uppsala University, Sweden; Université Paris Cité, France; Chennai Mathematical Institute, India; Institute of Mathematical Sciences, India) Publisher's Version Article: pldi24main-p298-p (type: Full Paper) doi:10.1145/3656425
	Achour, Sara	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Qubit Circuits ..." Compilation of Qubit Circuits to Optimized Qutrit Circuits Ritvik Sharma and Sara Achour (Stanford University, USA) Publisher's Version Archive submitted (260 kB) Artifacts Reusable Article: pldi24main-p50-p (type: Full Paper) doi:10.1145/3656388
	Adithya, Solai	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Ahmed, Amal	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Ahrens, Willow	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Mechanised Hypersafety Proofs about Structured Data Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey (National University of Singapore, Singapore; Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p146-p (type: Full Paper) doi:10.1145/3656403
	Aiken, Alex	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Recursive Program Synthesis ..." Recursive Program Synthesis using Paramorphisms Qiantan Hong and Alex Aiken (Stanford University, USA) Publisher's Version Article: pldi24main-p29-p (type: Full Paper) doi:10.1145/3656381
	Albert, Elvira	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Amarasinghe, Saman	Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p99-p (type: Full Paper) doi:10.1145/3656396 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Mechanised Hypersafety Proofs about Structured Data Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey (National University of Singapore, Singapore; Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p146-p (type: Full Paper) doi:10.1145/3656403
	Anand, Aditya	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Atig, Mohamed Faouzi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Verification under Intel-x86 with Persistency Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan (Uppsala University, Sweden; Université Paris Cité, France; Chennai Mathematical Institute, India; Institute of Mathematical Sciences, India) Publisher's Version Article: pldi24main-p298-p (type: Full Paper) doi:10.1145/3656425
	Babakol, Timur	Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." VESTA: Power Modeling with Language Runtime Events Joseph Raskind, Timur Babakol, Khaled Mahmoud, and Yu David Liu (SUNY Binghamton, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p138-p (type: Full Paper) doi:10.1145/3656402
	Babin, Evgeny	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Ball, Thomas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, and Michał Moskal (Microsoft, USA; Microsoft, United Kingdom; Lancaster University, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p153-p (type: Full Paper) doi:10.1145/3656405
	Banerjee, Debangshu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Input-Relational Verification of Deep Neural Networks Debangshu Banerjee, Changming Xu, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p2-p (type: Full Paper) doi:10.1145/3656377
	Bardin, Sébastien	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Quantitative Robustness for Vulnerability Assessment Guillaume Girol, Guilhem Lacombe, and Sébastien Bardin (CEA LIST, France; Université Paris-Saclay, France) Publisher's Version Archive submitted (540 kB) Artifacts Reusable Article: pldi24main-p171-p (type: Full Paper) doi:10.1145/3656407
	Barik, Raj	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." A Lightweight Polyglot Code Transformation Language Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan (Gitar, USA; Carnegie Mellon University, USA; INESC-ID, Portugal; Universidade de Lisboa, Portugal; Amazon Web Services, USA) Publisher's Version Artifacts Functional Article: pldi24main-p359-p (type: Full Paper) doi:10.1145/3656429
	Barik, Titus	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA; Carnegie Mellon University, USA; Apple, USA) Publisher's Version Artifacts Functional Article: pldi24main-p804-p (type: Full Paper) doi:10.1145/3656460
	Barrière, Aurèle	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Linear Matching of JavaScript ..." Linear Matching of JavaScript Regular Expressions Aurèle Barrière and Clément Pit-Claudel (EPFL, Switzerland) Publisher's Version Archive submitted (350 kB) Artifacts Reusable Article: pldi24main-p400-p (type: Full Paper) doi:10.1145/3656431
	Becker, McCoy R.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Beckett, Ryan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Diffy: Data-Driven Bug Finding for Configurations Siva Kesava Reddy Kakarla, Francis Y. Yan, and Ryan Beckett (Microsoft Research, USA) Publisher's Version Archive submitted (850 kB) Article: pldi24main-p42-p (type: Full Paper) doi:10.1145/3656385
	Belanger, Olivier Savary	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Belyakova, Julia	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Decidable Subtyping of Existential Types for Julia Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek (Purdue University, USA; JuliaHub, USA; Independent Consultant, USA; Northeastern University, USA; Charles University, Czechia) Publisher's Version Archive submitted (1.7 MB) Article: pldi24main-p283-p (type: Full Paper) doi:10.1145/3656421
	Bernstein, Gilbert	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." A Verified Compiler for a Functional Tensor Language Amanda Liu, Gilbert Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley (Massachusetts Institute of Technology, USA; University of Washington, USA) Publisher's Version Archive submitted (330 kB) Artifacts Reusable Article: pldi24main-p55-p (type: Full Paper) doi:10.1145/3656390
	Bjørner, Nikolaj	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." SpEQ: Translation of Sparse Codes using Equivalences Avery Laird, Bangtian Liu, Nikolaj Bjørner, and Maryam Mehri Dehnavi (University of Toronto, Canada; Microsoft Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p521-p (type: Full Paper) doi:10.1145/3656445
	Blaauwbroek, Lasse	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Hashing Modulo Context-Sensitive 𝛼-Equivalence Lasse Blaauwbroek, Miroslav Olšák, and Herman Geuvers (Institut des Hautes Études Scientifiques, France; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p796-p (type: Full Paper) doi:10.1145/3656459
	Blanas, Spyros	Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications Chujun Geng, Spyros Blanas, Michael D. Bond, and Yang Wang (Ohio State University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p59-p (type: Full Paper) doi:10.1145/3656391
	Bond, Michael D.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications Chujun Geng, Spyros Blanas, Michael D. Bond, and Yang Wang (Ohio State University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p59-p (type: Full Paper) doi:10.1145/3656391
	Bonneau, Benjamin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; Université Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, France; University of British Columbia, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p451-p (type: Full Paper) doi:10.1145/3656438
	Bossut, Camille	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Context-Free Language Reachability via Skewed Tabulation Yuxiang Lei, Camille Bossut, Yulei Sui, and Qirun Zhang (UNSW, Australia; Georgia Institute of Technology, USA) Publisher's Version Archive submitted (810 kB) Artifacts Reusable Article: pldi24main-p632-p (type: Full Paper) doi:10.1145/3656451
	Bouajjani, Ahmed	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Verification under Intel-x86 with Persistency Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan (Uppsala University, Sweden; Université Paris Cité, France; Chennai Mathematical Institute, India; Institute of Mathematical Sciences, India) Publisher's Version Article: pldi24main-p298-p (type: Full Paper) doi:10.1145/3656425
	Brahmakshatriya, Ajay	Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p99-p (type: Full Paper) doi:10.1145/3656396
	Breitner, Joachim	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Brito, Tiago	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Buckley, Anita	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Burger, Doug	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Carbin, Michael	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The T-Complexity Costs of ..." The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation Charles Yuan and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Archive submitted (520 kB) Artifacts Reusable Article: pldi24main-p115-p (type: Full Paper) doi:10.1145/3656397
	Caulfield, Adrian	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Chasins, Sarah E.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Equivalence by Canonicalization for Synthesis-Backed Refactoring Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA) Publisher's Version Archive submitted (750 kB) Artifacts Reusable Article: pldi24main-p645-p (type: Full Paper) doi:10.1145/3656453 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA; Carnegie Mellon University, USA; Apple, USA) Publisher's Version Artifacts Functional Article: pldi24main-p804-p (type: Full Paper) doi:10.1145/3656460
	Chatterjee, Krishnendu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Equivalence and Similarity Refutation for Probabilistic Programs Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić (IST Austria, Austria; Masaryk University, Czechia; Singapore Management University, Singapore) Publisher's Version Artifacts Reusable Article: pldi24main-p847-p (type: Full Paper) doi:10.1145/3656462
	Chattopadhyay, Agnishom	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Static Analysis for Checking the Disambiguation Robustness of Regular Expressions Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, and Agnishom Chattopadhyay (Rice University, USA) Publisher's Version Article: pldi24main-p806-p (type: Full Paper) doi:10.1145/3656461
	Chen, Hongzheng	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Chen, Tianyu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quest Complete: The Holy Grail ..." Quest Complete: The Holy Grail of Gradual Security Tianyu Chen and Jeremy G. Siek (Indiana University, USA) Publisher's Version Archive submitted (360 kB) Artifacts Reusable Article: pldi24main-p494-p (type: Full Paper) doi:10.1145/3656442
	Cheung, Alvin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA; Carnegie Mellon University, USA; Apple, USA) Publisher's Version Artifacts Functional Article: pldi24main-p804-p (type: Full Paper) doi:10.1145/3656460
	Chlipala, Adam	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." A Verified Compiler for a Functional Tensor Language Amanda Liu, Gilbert Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley (Massachusetts Institute of Technology, USA; University of Washington, USA) Publisher's Version Archive submitted (330 kB) Artifacts Reusable Article: pldi24main-p55-p (type: Full Paper) doi:10.1145/3656390 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Live Verification in an Interactive Proof Assistant Samuel Gruetter, Viktor Fukala, and Adam Chlipala (Massachusetts Institute of Technology, USA) Publisher's Version Archive submitted (440 kB) Artifacts Reusable Article: pldi24main-p457-p (type: Full Paper) doi:10.1145/3656439 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Chung, Benjamin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Decidable Subtyping of Existential Types for Julia Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek (Purdue University, USA; JuliaHub, USA; Independent Consultant, USA; Northeastern University, USA; Charles University, Czechia) Publisher's Version Archive submitted (1.7 MB) Article: pldi24main-p283-p (type: Full Paper) doi:10.1145/3656421
	Chuprikov, Pavel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Clapp, Lazaro	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." A Lightweight Polyglot Code Transformation Language Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan (Gitar, USA; Carnegie Mellon University, USA; INESC-ID, Portugal; Universidade de Lisboa, Portugal; Amazon Web Services, USA) Publisher's Version Artifacts Functional Article: pldi24main-p359-p (type: Full Paper) doi:10.1145/3656429
	Coimbra, Miguel E.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Cox, David	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Cui, Guofeng	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Reward-Guided Synthesis of Intelligent Agents with Control Structures Guofeng Cui, Yuning Wang, Wenjie Qiu, and He Zhu (Rutgers University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p553-p (type: Full Paper) doi:10.1145/3656447
	Cutler, Joseph W.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Dai, Mengjia	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Darais, David	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Dardinier, Thibault	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyper Hoare Logic: (Dis-)Proving ..." Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties Thibault Dardinier and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p436-p (type: Full Paper) doi:10.1145/3656437 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; Université Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, France; University of British Columbia, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p451-p (type: Full Paper) doi:10.1145/3656438
	De Fine Licht, Johannes	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	De Halleux, Peli	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, and Michał Moskal (Microsoft, USA; Microsoft, United Kingdom; Lancaster University, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p153-p (type: Full Paper) doi:10.1145/3656405
	Dehnavi, Maryam Mehri	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." SpEQ: Translation of Sparse Codes using Equivalences Avery Laird, Bangtian Liu, Nikolaj Bjørner, and Maryam Mehri Dehnavi (University of Toronto, Canada; Microsoft Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p521-p (type: Full Paper) doi:10.1145/3656445
	Delaware, Benjamin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p404-p (type: Full Paper) doi:10.1145/3656433
	Devadas, Srinivas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez (Massachusetts Institute of Technology, USA) Publisher's Version Article: pldi24main-p33-p (type: Full Paper) doi:10.1145/3656382
	Devine, James	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, and Michał Moskal (Microsoft, USA; Microsoft, United Kingdom; Lancaster University, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p153-p (type: Full Paper) doi:10.1145/3656405
	Diatchki, Iavor S.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Dillig, Işıl	Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." From Batch to Stream: Automatic Generation of Online Algorithms Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Işıl Dillig (University of Texas at Austin, USA; Simon Fraser University, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p263-p (type: Full Paper) doi:10.1145/3656418
	Dodds, Mike	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Dreyer, Derek	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq Simon Spies, Lennard Gäher, Michael Sammler, and Derek Dreyer (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p189-p (type: Full Paper) doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." RefinedRust: A Type System for High-Assurance Verification of Rust Programs Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer (MPI-SWS, Germany; ETH Zurich, Switzerland; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p289-p (type: Full Paper) doi:10.1145/3656422
	Eguro, Ken	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Erbsen, Andres	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Eugster, Patrick	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Fang, Wang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Symbolic Execution for Quantum ..." Symbolic Execution for Quantum Error Correction Programs Wang Fang and Mingsheng Ying (Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Artifacts Reusable Article: pldi24main-p276-p (type: Full Paper) doi:10.1145/3656419
	Ferguson, Jeremy	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Equivalence by Canonicalization for Synthesis-Backed Refactoring Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA) Publisher's Version Archive submitted (750 kB) Artifacts Reusable Article: pldi24main-p645-p (type: Full Paper) doi:10.1145/3656453
	Ferreira, Mafalda	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Fitzgibbons, Michael	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Forin, Alessandro	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Forster, Yannick	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Verified Extraction from Coq to OCaml Yannick Forster, Matthieu Sozeau, and Nicolas Tabareau (Inria, France) Publisher's Version Article: pldi24main-p22-p (type: Full Paper) doi:10.1145/3656379
	Foster, Nate	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Franchetti, Franz	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Floating-Point TVPI Abstract Domain Joao Rivera, Franz Franchetti, and Markus Püschel (ETH Zurich, Switzerland; Carnegie Mellon University, USA) Publisher's Version Archive submitted (490 kB) Artifacts Reusable Article: pldi24main-p97-p (type: Full Paper) doi:10.1145/3656395
	Freer, Cameron E.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409
	Fu, Hongfei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, and C.-H. Luke Ong (Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Shanghai Jiao Tong University, China; University of Oxford, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p403-p (type: Full Paper) doi:10.1145/3656432
	Fukala, Viktor	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Live Verification in an Interactive Proof Assistant Samuel Gruetter, Viktor Fukala, and Adam Chlipala (Massachusetts Institute of Technology, USA) Publisher's Version Archive submitted (440 kB) Artifacts Reusable Article: pldi24main-p457-p (type: Full Paper) doi:10.1145/3656439
	Gaboardi, Marco	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Program Analysis for Adaptive Data Analysis Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, and Jonathan Ullman (Boston University, USA; Monmouth University, USA; MPI-SWS, Germany; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p195-p (type: Full Paper) doi:10.1145/3656414
	Gäher, Lennard	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq Simon Spies, Lennard Gäher, Michael Sammler, and Derek Dreyer (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p189-p (type: Full Paper) doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." RefinedRust: A Type System for High-Assurance Verification of Rust Programs Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer (MPI-SWS, Germany; ETH Zurich, Switzerland; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p289-p (type: Full Paper) doi:10.1145/3656422
	Garcia de la Banda, Maria	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Gardner, Philippa	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Garg, Deepak	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Program Analysis for Adaptive Data Analysis Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, and Jonathan Ullman (Boston University, USA; Monmouth University, USA; MPI-SWS, Germany; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p195-p (type: Full Paper) doi:10.1145/3656414
	Garg, Poorva	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, Los Angeles, USA; Northeastern University, USA) Publisher's Version Artifacts Functional Article: pldi24main-p188-p (type: Full Paper) doi:10.1145/3656412
	Geng, Chujun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications Chujun Geng, Spyros Blanas, Michael D. Bond, and Yang Wang (Ohio State University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p59-p (type: Full Paper) doi:10.1145/3656391
	Geuvers, Herman	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Hashing Modulo Context-Sensitive 𝛼-Equivalence Lasse Blaauwbroek, Miroslav Olšák, and Herman Geuvers (Institut des Hautes Études Scientifiques, France; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p796-p (type: Full Paper) doi:10.1145/3656459
	Ghavami, Matin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Ghobadi, Manya	Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p99-p (type: Full Paper) doi:10.1145/3656396
	Girol, Guillaume	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Quantitative Robustness for Vulnerability Assessment Guillaume Girol, Guilhem Lacombe, and Sébastien Bardin (CEA LIST, France; Université Paris-Saclay, France) Publisher's Version Archive submitted (540 kB) Artifacts Reusable Article: pldi24main-p171-p (type: Full Paper) doi:10.1145/3656407
	Gladshtein, Vladimir	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Mechanised Hypersafety Proofs about Structured Data Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey (National University of Singapore, Singapore; Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p146-p (type: Full Paper) doi:10.1145/3656403
	Goharshady, Ehsan Kafshdar	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Equivalence and Similarity Refutation for Probabilistic Programs Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić (IST Austria, Austria; Masaryk University, Czechia; Singapore Management University, Singapore) Publisher's Version Artifacts Reusable Article: pldi24main-p847-p (type: Full Paper) doi:10.1145/3656462
	Goldstein, Harrison	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Gorlatch, Sergei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Descend: A Safe GPU Systems Programming Language Bastian Köpcke, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; TU Berlin, Germany) Publisher's Version Article: pldi24main-p187-p (type: Full Paper) doi:10.1145/3656411
	Grosser, Tobias	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Falcon: A Scalable Analytical Cache Model Arjun Pitchanathan, Kunwar Grover, and Tobias Grosser (University of Edinburgh, United Kingdom; Advanced Micro Devices, United Kingdom; University of Cambridge, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p644-p (type: Full Paper) doi:10.1145/3656452
	Grover, Kunwar	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Falcon: A Scalable Analytical Cache Model Arjun Pitchanathan, Kunwar Grover, and Tobias Grosser (University of Edinburgh, United Kingdom; Advanced Micro Devices, United Kingdom; University of Cambridge, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p644-p (type: Full Paper) doi:10.1145/3656452
	Gruetter, Samuel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Live Verification in an Interactive ..." Live Verification in an Interactive Proof Assistant Samuel Gruetter, Viktor Fukala, and Adam Chlipala (Massachusetts Institute of Technology, USA) Publisher's Version Archive submitted (440 kB) Artifacts Reusable Article: pldi24main-p457-p (type: Full Paper) doi:10.1145/3656439 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Harris, Bill	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Herklotz, Yann	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyperblock Scheduling for ..." Hyperblock Scheduling for Verified High-Level Synthesis Yann Herklotz and John Wickerson (Imperial College London, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p654-p (type: Full Paper) doi:10.1145/3656455
	Hernández-Cerezo, Alejandro	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Hilliard, Phillip	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Hodges, Steve	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, and Michał Moskal (Microsoft, USA; Microsoft, United Kingdom; Lancaster University, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p153-p (type: Full Paper) doi:10.1145/3656405
	Hoffmann, Jan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Robust Resource Bounds with Static Analysis and Bayesian Inference Long Pham, Feras A. Saad, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Archive submitted (4.3 MB) Artifacts Reusable Article: pldi24main-p24-p (type: Full Paper) doi:10.1145/3656380
	Holland, David A.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Holtzen, Steven	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, Los Angeles, USA; Northeastern University, USA) Publisher's Version Artifacts Functional Article: pldi24main-p188-p (type: Full Paper) doi:10.1145/3656412
	Hong, Jaemin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Don’t Write, but Return: ..." Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation Jaemin Hong and Sukyoung Ryu (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p169-p (type: Full Paper) doi:10.1145/3656406
	Hong, Qiantan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Recursive Program Synthesis ..." Recursive Program Synthesis using Paramorphisms Qiantan Hong and Alex Aiken (Stanford University, USA) Publisher's Version Article: pldi24main-p29-p (type: Full Paper) doi:10.1145/3656381
	Honoré, Wolf	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Hsu, Justin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Numerical Fuzz: A Type System ..." Numerical Fuzz: A Type System for Rounding Error Analysis Ariel E. Kellison and Justin Hsu (Cornell University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p666-p (type: Full Paper) doi:10.1145/3656456
	Hsu, Olivia	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Compilation of Modular and General Sparse Workspaces Genghan Zhang, Olivia Hsu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Article: pldi24main-p300-p (type: Full Paper) doi:10.1145/3656426
	Hu, Zhenjiang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, and Zhenjiang Hu (Peking University, China; University of California at San Diego, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p213-p (type: Full Paper) doi:10.1145/3656415
	Huang, Keli	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Conditional Quantum ..." Compiling Conditional Quantum Gates without Using Helper Qubits Keli Huang and Jens Palsberg (University of California at Los Angeles, Los Angeles, USA) Publisher's Version Archive submitted (1.5 MB) Article: pldi24main-p424-p (type: Full Paper) doi:10.1145/3656436
	Humphrey, Matt	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Huot, Mathieu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Igarashi, Atsushi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan; Tokyo Institute of Technology, Japan) Publisher's Version Archive submitted (930 kB) Article: pldi24main-p478-p (type: Full Paper) doi:10.1145/3656441
	Ignatiev, Alexey	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Jacobs, Jules	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Jagannathan, Suresh	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p404-p (type: Full Paper) doi:10.1145/3656433
	Jamner, Dustin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Jang, Minseong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Modular Hardware Design of Pipelined Circuits with Hazards Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, and Jeehoon Kang (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p12-p (type: Full Paper) doi:10.1145/3656378
	Jeon, Minseok	Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." PL4XGL: A Programming Language Approach to Explainable Graph Learning Minseok Jeon, Jihyeok Park, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Archive submitted (680 kB) Article: pldi24main-p875-p (type: Full Paper) doi:10.1145/3656464
	Ji, Ruyi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, and Zhenjiang Hu (Peking University, China; University of California at San Diego, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p213-p (type: Full Paper) doi:10.1145/3656415
	Jia, Limin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Jia, Xiaodong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "V-Star: Learning Visibly Pushdown ..." V-Star: Learning Visibly Pushdown Grammars from Program Inputs Xiaodong Jia and Gang Tan (Pennsylvania State University, USA) Publisher's Version Archive submitted (800 kB) Artifacts Reusable Article: pldi24main-p779-p (type: Full Paper) doi:10.1145/3656458
	Jiang, Hanru	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Qubit Recycling Revisited ..." Qubit Recycling Revisited Hanru Jiang (Beijing Institute of Mathematical Sciences and Applications, China) Publisher's Version Artifacts Reusable Article: pldi24main-p350-p (type: Full Paper) doi:10.1145/3656428
	Jung, Jaehwang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Concurrent Immediate Reference Counting Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, and Jeehoon Kang (KAIST, South Korea; Microsoft Azure, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p34-p (type: Full Paper) doi:10.1145/3656383 Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Jung, Ralf	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." RefinedRust: A Type System for High-Assurance Verification of Rust Programs Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer (MPI-SWS, Germany; ETH Zurich, Switzerland; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p289-p (type: Full Paper) doi:10.1145/3656422
	Kakarla, Siva Kesava Reddy	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Diffy: Data-Driven Bug Finding for Configurations Siva Kesava Reddy Kakarla, Francis Y. Yan, and Ryan Beckett (Microsoft Research, USA) Publisher's Version Archive submitted (850 kB) Article: pldi24main-p42-p (type: Full Paper) doi:10.1145/3656385
	Kang, Jeehoon	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Modular Hardware Design of Pipelined Circuits with Hazards Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, and Jeehoon Kang (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p12-p (type: Full Paper) doi:10.1145/3656378 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Concurrent Immediate Reference Counting Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, and Jeehoon Kang (KAIST, South Korea; Microsoft Azure, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p34-p (type: Full Paper) doi:10.1145/3656383 Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Karandikar, Rajas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Kellison, Ariel E.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Numerical Fuzz: A Type System ..." Numerical Fuzz: A Type System for Rounding Error Analysis Ariel E. Kellison and Justin Hsu (Cornell University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p666-p (type: Full Paper) doi:10.1145/3656456
	Ketkar, Ameya	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." A Lightweight Polyglot Code Transformation Language Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan (Gitar, USA; Carnegie Mellon University, USA; INESC-ID, Portugal; Universidade de Lisboa, Portugal; Amazon Web Services, USA) Publisher's Version Artifacts Functional Article: pldi24main-p359-p (type: Full Paper) doi:10.1145/3656429
	Kim, Jaewoo	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Kim, Jeonghyeon	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Concurrent Immediate Reference Counting Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, and Jeehoon Kang (KAIST, South Korea; Microsoft Azure, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p34-p (type: Full Paper) doi:10.1145/3656383
	Kim, Jieung	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Kim, Yoonseung	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Kjolstad, Fredrik	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Compilation of Modular and General Sparse Workspaces Genghan Zhang, Olivia Hsu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Article: pldi24main-p300-p (type: Full Paper) doi:10.1145/3656426
	Kokologiannakis, Michalis	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." SPORE: Combining Symmetry and Partial Order Reduction Michalis Kokologiannakis, Iason Marmanis, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p601-p (type: Full Paper) doi:10.1145/3656449
	Köpcke, Bastian	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Descend: A Safe GPU Systems Programming Language Bastian Köpcke, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; TU Berlin, Germany) Publisher's Version Article: pldi24main-p187-p (type: Full Paper) doi:10.1145/3656411
	Kozak, David	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Scaling Type-Based Points-to Analysis with Saturation Christian Wimmer, Codrut Stancu, David Kozak, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Switzerland; Brno University of Technology, Czechia; Oracle Labs, Czechia) Publisher's Version Artifacts Reusable Article: pldi24main-p251-p (type: Full Paper) doi:10.1145/3656417
	Krastev, Aleksandar	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez (Massachusetts Institute of Technology, USA) Publisher's Version Article: pldi24main-p33-p (type: Full Paper) doi:10.1145/3656382
	Krebbers, Robbert	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." RefinedRust: A Type System for High-Assurance Verification of Rust Programs Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer (MPI-SWS, Germany; ETH Zurich, Switzerland; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p289-p (type: Full Paper) doi:10.1145/3656422
	Kumar, K. Narayan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Verification under Intel-x86 with Persistency Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan (Uppsala University, Sweden; Université Paris Cité, France; Chennai Mathematical Institute, India; Institute of Mathematical Sciences, India) Publisher's Version Article: pldi24main-p298-p (type: Full Paper) doi:10.1145/3656425
	Lacombe, Guilhem	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quantitative Robustness for ..." Quantitative Robustness for Vulnerability Assessment Guillaume Girol, Guilhem Lacombe, and Sébastien Bardin (CEA LIST, France; Université Paris-Saclay, France) Publisher's Version Archive submitted (540 kB) Artifacts Reusable Article: pldi24main-p171-p (type: Full Paper) doi:10.1145/3656407
	Lahav, Ori	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Compositional Semantics for Shared-Variable Concurrency Mikhail Svyatlovskiy, Shai Mermelstein, and Ori Lahav (Tel Aviv University, Israel) Publisher's Version Artifacts Reusable Article: pldi24main-p120-p (type: Full Paper) doi:10.1145/3656399
	Laird, Avery	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." SpEQ: Translation of Sparse Codes using Equivalences Avery Laird, Bangtian Liu, Nikolaj Bjørner, and Maryam Mehri Dehnavi (University of Toronto, Canada; Microsoft Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p521-p (type: Full Paper) doi:10.1145/3656445
	Langowski, Simon	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez (Massachusetts Institute of Technology, USA) Publisher's Version Article: pldi24main-p33-p (type: Full Paper) doi:10.1145/3656382
	Laursen, Mathias Rud	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Reducing Static Analysis Unsoundness with Approximate Interpretation Mathias Rud Laursen, Wenyuan Xu, and Anders Møller (Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: pldi24main-p295-p (type: Full Paper) doi:10.1145/3656424
	Lee, Jaehyun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Lee, Janggun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Lee, Woojin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Modular Hardware Design of Pipelined Circuits with Hazards Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, and Jeehoon Kang (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p12-p (type: Full Paper) doi:10.1145/3656378
	Le Glaunec, Alexis	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Static Analysis for Checking the Disambiguation Robustness of Regular Expressions Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, and Agnishom Chattopadhyay (Rice University, USA) Publisher's Version Article: pldi24main-p806-p (type: Full Paper) doi:10.1145/3656461
	Lei, Yuxiang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Context-Free Language Reachability via Skewed Tabulation Yuxiang Lei, Camille Bossut, Yulei Sui, and Qirun Zhang (UNSW, Australia; Georgia Institute of Technology, USA) Publisher's Version Archive submitted (810 kB) Artifacts Reusable Article: pldi24main-p632-p (type: Full Paper) doi:10.1145/3656451
	Leijen, Daan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley (University of Edinburgh, United Kingdom; Microsoft Research, Redmond, USA; Utrecht University, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p116-p (type: Full Paper) doi:10.1145/3656398
	Lemerre, Matthieu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling with Abstract Interpretation ..." Compiling with Abstract Interpretation Dorian Lesbre and Matthieu Lemerre (Université Paris-Saclay - CEA LIST, France) Publisher's Version Artifacts Reusable Article: pldi24main-p70-p (type: Full Paper) doi:10.1145/3656392
	Lesbre, Dorian	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling with Abstract Interpretation ..." Compiling with Abstract Interpretation Dorian Lesbre and Matthieu Lemerre (Université Paris-Saclay - CEA LIST, France) Publisher's Version Artifacts Reusable Article: pldi24main-p70-p (type: Full Paper) doi:10.1145/3656392
	Lew, Alexander K.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Li, Guanyan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, and C.-H. Luke Ong (Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Shanghai Jiao Tong University, China; University of Oxford, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p403-p (type: Full Paper) doi:10.1145/3656432
	Li, Jianlin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Compiling Probabilistic Programs for Variable Elimination with Information Flow Jianlin Li, Eric Wang, and Yizhou Zhang (University of Waterloo, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p588-p (type: Full Paper) doi:10.1145/3656448
	Li, Shaohua	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Boosting Compiler Testing by Injecting Real-World Code Shaohua Li, Theodoros Theodoridis, and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p45-p (type: Full Paper) doi:10.1145/3656386
	Li, Wu Angela	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Static Analysis for Checking the Disambiguation Robustness of Regular Expressions Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, and Agnishom Chattopadhyay (Rice University, USA) Publisher's Version Article: pldi24main-p806-p (type: Full Paper) doi:10.1145/3656461
	Lin, Ashley	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Lindley, Sam	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley (University of Edinburgh, United Kingdom; Microsoft Research, Redmond, USA; Utrecht University, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p116-p (type: Full Paper) doi:10.1145/3656398 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Liu, Amanda	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." A Verified Compiler for a Functional Tensor Language Amanda Liu, Gilbert Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley (Massachusetts Institute of Technology, USA; University of Washington, USA) Publisher's Version Archive submitted (330 kB) Artifacts Reusable Article: pldi24main-p55-p (type: Full Paper) doi:10.1145/3656390
	Liu, Bangtian	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SpEQ: Translation of Sparse ..." SpEQ: Translation of Sparse Codes using Equivalences Avery Laird, Bangtian Liu, Nikolaj Bjørner, and Maryam Mehri Dehnavi (University of Toronto, Canada; Microsoft Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p521-p (type: Full Paper) doi:10.1145/3656445
	Liu, Jiawen	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Program Analysis for Adaptive Data Analysis Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, and Jonathan Ullman (Boston University, USA; Monmouth University, USA; MPI-SWS, Germany; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p195-p (type: Full Paper) doi:10.1145/3656414
	Liu, Yu David	Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." VESTA: Power Modeling with Language Runtime Events Joseph Raskind, Timur Babakol, Khaled Mahmoud, and Yu David Liu (SUNY Binghamton, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p138-p (type: Full Paper) doi:10.1145/3656402
	Lo, Daniel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Lorenzen, Anton	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley (University of Edinburgh, United Kingdom; Microsoft Research, Redmond, USA; Utrecht University, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p116-p (type: Full Paper) doi:10.1145/3656398
	Lubin, Justin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Equivalence by Canonicalization for Synthesis-Backed Refactoring Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA) Publisher's Version Archive submitted (750 kB) Artifacts Reusable Article: pldi24main-p645-p (type: Full Paper) doi:10.1145/3656453
	Lutze, Matthew	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Associated Effects: Flexible ..." Associated Effects: Flexible Abstractions for Effectful Programming Matthew Lutze and Magnus Madsen (Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: pldi24main-p75-p (type: Full Paper) doi:10.1145/3656393
	Madhusudan, P.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Predictable Verification using Intrinsic Definitions Adithya Murali, Cody Rivera, and P. Madhusudan (University of Illinois at Urbana-Champaign, USA) Publisher's Version Archive submitted (760 kB) Artifacts Reusable ACM SIGPLAN Best Paper Award Article: pldi24main-p621-p (type: Full Paper) doi:10.1145/3656450
	Madsen, Magnus	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Associated Effects: Flexible ..." Associated Effects: Flexible Abstractions for Effectful Programming Matthew Lutze and Magnus Madsen (Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: pldi24main-p75-p (type: Full Paper) doi:10.1145/3656393
	Mahmoud, Khaled	Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." VESTA: Power Modeling with Language Runtime Events Joseph Raskind, Timur Babakol, Khaled Mahmoud, and Yu David Liu (SUNY Binghamton, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p138-p (type: Full Paper) doi:10.1145/3656402
	Maier, Daryl	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Mamouras, Konstantinos	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Analysis for Checking ..." Static Analysis for Checking the Disambiguation Robustness of Regular Expressions Konstantinos Mamouras, Alexis Le Glaunec, Wu Angela Li, and Agnishom Chattopadhyay (Rice University, USA) Publisher's Version Article: pldi24main-p806-p (type: Full Paper) doi:10.1145/3656461
	Mansinghka, Vikash K.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Marmanis, Iason	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." SPORE: Combining Symmetry and Partial Order Reduction Michalis Kokologiannakis, Iason Marmanis, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p601-p (type: Full Paper) doi:10.1145/3656449
	Matute, Gabriel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA; Carnegie Mellon University, USA; Apple, USA) Publisher's Version Artifacts Functional Article: pldi24main-p804-p (type: Full Paper) doi:10.1145/3656460
	Mermelstein, Shai	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Compositional Semantics for Shared-Variable Concurrency Mikhail Svyatlovskiy, Shai Mermelstein, and Ori Lahav (Tel Aviv University, Israel) Publisher's Version Artifacts Reusable Article: pldi24main-p120-p (type: Full Paper) doi:10.1145/3656399
	Mikek, Benjamin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SMT Theory Arbitrage: Approximating ..." SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories Benjamin Mikek and Qirun Zhang (Georgia Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p49-p (type: Full Paper) doi:10.1145/3656387
	Millstein, Todd	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, Los Angeles, USA; Northeastern University, USA) Publisher's Version Artifacts Functional Article: pldi24main-p188-p (type: Full Paper) doi:10.1145/3656412
	Møller, Anders	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Reducing Static Analysis Unsoundness with Approximate Interpretation Mathias Rud Laursen, Wenyuan Xu, and Anders Møller (Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: pldi24main-p295-p (type: Full Paper) doi:10.1145/3656424
	Moeller, Mark	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Monteiro, Miguel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Moskal, Michał	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Jacdac: Service-Based Prototyping ..." Jacdac: Service-Based Prototyping of Embedded Systems Thomas Ball, Peli de Halleux, James Devine, Steve Hodges, and Michał Moskal (Microsoft, USA; Microsoft, United Kingdom; Lancaster University, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p153-p (type: Full Paper) doi:10.1145/3656405
	Mulder, Ike	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Müller, Peter	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyper Hoare Logic: (Dis-)Proving ..." Hyper Hoare Logic: (Dis-)Proving Program Hyperproperties Thibault Dardinier and Peter Müller (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p436-p (type: Full Paper) doi:10.1145/3656437 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; Université Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, France; University of British Columbia, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p451-p (type: Full Paper) doi:10.1145/3656438
	Murali, Adithya	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Predictable Verification using Intrinsic Definitions Adithya Murali, Cody Rivera, and P. Madhusudan (University of Illinois at Urbana-Champaign, USA) Publisher's Version Archive submitted (760 kB) Artifacts Reusable ACM SIGPLAN Best Paper Award Article: pldi24main-p621-p (type: Full Paper) doi:10.1145/3656450
	Mushtak, Noble	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Nagarakatte, Santosh	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Maximum Consensus Floating ..." Maximum Consensus Floating Point Solutions for Infeasible Low-Dimensional Linear Programs with Convex Hull as the Intermediate Representation Mridul Aanjaneya and Santosh Nagarakatte (Rutgers University, USA) Publisher's Version Article: pldi24main-p309-p (type: Full Paper) doi:10.1145/3656427
	Nandivada, V. Krishna	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Ni, Wode	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Syntactic Code Search with ..." Syntactic Code Search with Sequence-to-Tree Matching: Supporting Syntactic Search with Incomplete Code Fragments Gabriel Matute, Wode Ni, Titus Barik, Alvin Cheung, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA; Carnegie Mellon University, USA; Apple, USA) Publisher's Version Artifacts Functional Article: pldi24main-p804-p (type: Full Paper) doi:10.1145/3656460
	Nikolaev, Ruslan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Family of Fast and Memory ..." A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation Ruslan Nikolaev and Binoy Ravindran (Pennsylvania State University, USA; Virginia Tech, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p456-p (type: Full Paper) doi:10.1145/3658851
	Nkurumeh, Emeka	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Novotný, Petr	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Equivalence and Similarity Refutation for Probabilistic Programs Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić (IST Austria, Austria; Masaryk University, Czechia; Singapore Management University, Singapore) Publisher's Version Artifacts Reusable Article: pldi24main-p847-p (type: Full Paper) doi:10.1145/3656462
	Oh, Hakjoo	Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." PL4XGL: A Programming Language Approach to Explainable Graph Learning Minseok Jeon, Jihyeok Park, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Archive submitted (680 kB) Article: pldi24main-p875-p (type: Full Paper) doi:10.1145/3656464
	Olšák, Miroslav	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hashing Modulo Context-Sensitive ..." Hashing Modulo Context-Sensitive 𝛼-Equivalence Lasse Blaauwbroek, Miroslav Olšák, and Herman Geuvers (Institut des Hautes Études Scientifiques, France; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p796-p (type: Full Paper) doi:10.1145/3656459
	Ong, C.-H. Luke	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, and C.-H. Luke Ong (Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Shanghai Jiao Tong University, China; University of Oxford, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p403-p (type: Full Paper) doi:10.1145/3656432
	Otoni, Rodrigo	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Ozaki, Shota	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan; Tokyo Institute of Technology, Japan) Publisher's Version Archive submitted (930 kB) Article: pldi24main-p478-p (type: Full Paper) doi:10.1145/3656441
	Pailoor, Shankara	Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." From Batch to Stream: Automatic Generation of Online Algorithms Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Işıl Dillig (University of Texas at Austin, USA; Simon Fraser University, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p263-p (type: Full Paper) doi:10.1145/3656418
	Palsberg, Jens	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Conditional Quantum ..." Compiling Conditional Quantum Gates without Using Helper Qubits Keli Huang and Jens Palsberg (University of California at Los Angeles, Los Angeles, USA) Publisher's Version Archive submitted (1.5 MB) Article: pldi24main-p424-p (type: Full Paper) doi:10.1145/3656436
	Paraskevopoulou, Zoe	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Park, Jihyeok	Proc. ACM Program. Lang., vol. 8, issue PLDI: "PL4XGL: A Programming Language ..." PL4XGL: A Programming Language Approach to Explainable Graph Learning Minseok Jeon, Jihyeok Park, and Hakjoo Oh (Korea University, South Korea) Publisher's Version Archive submitted (680 kB) Article: pldi24main-p875-p (type: Full Paper) doi:10.1145/3656464
	Park, Sunho	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Proof Recipe for Linearizability ..." A Proof Recipe for Linearizability in Relaxed Memory Separation Logic Sunho Park, Jaewoo Kim, Ike Mulder, Jaehwang Jung, Janggun Lee, Robbert Krebbers, and Jeehoon Kang (KAIST, South Korea; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p36-p (type: Full Paper) doi:10.1145/3656384
	Parkinson, Matthew J.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Concurrent Immediate Reference ..." Concurrent Immediate Reference Counting Jaehwang Jung, Jeonghyeon Kim, Matthew J. Parkinson, and Jeehoon Kang (KAIST, South Korea; Microsoft Azure, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p34-p (type: Full Paper) doi:10.1145/3656383
	Parthasarathy, Gaurav	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; Université Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, France; University of British Columbia, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p451-p (type: Full Paper) doi:10.1145/3656438
	Pelton, Blake	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Pham, Long	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Robust Resource Bounds with Static Analysis and Bayesian Inference Long Pham, Feras A. Saad, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Archive submitted (4.3 MB) Artifacts Reusable Article: pldi24main-p24-p (type: Full Paper) doi:10.1145/3656380
	Philipoom, Jade	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Pierce, Benjamin C.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Pitchanathan, Arjun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Scalable Analytical ..." Falcon: A Scalable Analytical Cache Model Arjun Pitchanathan, Kunwar Grover, and Tobias Grosser (University of Edinburgh, United Kingdom; Advanced Micro Devices, United Kingdom; University of Cambridge, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p644-p (type: Full Paper) doi:10.1145/3656452
	Pit-Claudel, Clément	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Linear Matching of JavaScript ..." Linear Matching of JavaScript Regular Expressions Aurèle Barrière and Clément Pit-Claudel (EPFL, Switzerland) Publisher's Version Archive submitted (350 kB) Artifacts Reusable Article: pldi24main-p400-p (type: Full Paper) doi:10.1145/3656431 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Foundational Integration Verification ..." Foundational Integration Verification of a Cryptographic Server Andres Erbsen, Jade Philipoom, Dustin Jamner, Ashley Lin, Samuel Gruetter, Clément Pit-Claudel, and Adam Chlipala (Google, USA; Google, Germany; Massachusetts Institute of Technology, USA; EPFL, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p523-p (type: Full Paper) doi:10.1145/3656446
	Polikarpova, Nadia	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, and Zhenjiang Hu (Peking University, China; University of California at San Diego, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p213-p (type: Full Paper) doi:10.1145/3656415
	Prakash, Aaryan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." From Batch to Stream: Automatic Generation of Online Algorithms Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Işıl Dillig (University of Texas at Austin, USA; Simon Fraser University, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p263-p (type: Full Paper) doi:10.1145/3656418
	Pretnar, Matija	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Püschel, Markus	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Floating-Point TVPI Abstract Domain Joao Rivera, Franz Franchetti, and Markus Püschel (ETH Zurich, Switzerland; Carnegie Mellon University, USA) Publisher's Version Archive submitted (490 kB) Artifacts Reusable Article: pldi24main-p97-p (type: Full Paper) doi:10.1145/3656395
	Qiu, Longfei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Qiu, Wenjie	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Reward-Guided Synthesis of Intelligent Agents with Control Structures Guofeng Cui, Yuning Wang, Wenjie Qiu, and He Zhu (Rutgers University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p553-p (type: Full Paper) doi:10.1145/3656447
	Qu, Weihao	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Program Analysis for Adaptive Data Analysis Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, and Jonathan Ullman (Boston University, USA; Monmouth University, USA; MPI-SWS, Germany; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p195-p (type: Full Paper) doi:10.1145/3656414
	Ragan-Kelley, Jonathan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Verified Compiler for a ..." A Verified Compiler for a Functional Tensor Language Amanda Liu, Gilbert Bernstein, Adam Chlipala, and Jonathan Ragan-Kelley (Massachusetts Institute of Technology, USA; University of Washington, USA) Publisher's Version Archive submitted (330 kB) Artifacts Reusable Article: pldi24main-p55-p (type: Full Paper) doi:10.1145/3656390
	Ramanathan, Murali Krishna	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." A Lightweight Polyglot Code Transformation Language Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan (Gitar, USA; Carnegie Mellon University, USA; INESC-ID, Portugal; Universidade de Lisboa, Portugal; Amazon Web Services, USA) Publisher's Version Artifacts Functional Article: pldi24main-p359-p (type: Full Paper) doi:10.1145/3656429
	Ramos, Daniel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Lightweight Polyglot Code ..." A Lightweight Polyglot Code Transformation Language Ameya Ketkar, Daniel Ramos, Lazaro Clapp, Raj Barik, and Murali Krishna Ramanathan (Gitar, USA; Carnegie Mellon University, USA; INESC-ID, Portugal; Universidade de Lisboa, Portugal; Amazon Web Services, USA) Publisher's Version Artifacts Functional Article: pldi24main-p359-p (type: Full Paper) doi:10.1145/3656429
	Rand, Robert	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Rao, Xiaojia	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Raskind, Joseph	Proc. ACM Program. Lang., vol. 8, issue PLDI: "VESTA: Power Modeling with ..." VESTA: Power Modeling with Language Runtime Events Joseph Raskind, Timur Babakol, Khaled Mahmoud, and Yu David Liu (SUNY Binghamton, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p138-p (type: Full Paper) doi:10.1145/3656402
	Ravindran, Binoy	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Family of Fast and Memory ..." A Family of Fast and Memory Efficient Lock- and Wait-Free Reclamation Ruslan Nikolaev and Binoy Ravindran (Pennsylvania State University, USA; Virginia Tech, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p456-p (type: Full Paper) doi:10.1145/3658851
	Razet, Benoit	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Rhee, Jungin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Modular Hardware Design of Pipelined Circuits with Hazards Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, and Jeehoon Kang (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p12-p (type: Full Paper) doi:10.1145/3656378
	Rinard, Chris	Proc. ACM Program. Lang., vol. 8, issue PLDI: "NetBlocks: Staging Layouts ..." NetBlocks: Staging Layouts for High-Performance Custom Host Network Stacks Ajay Brahmakshatriya, Chris Rinard, Manya Ghobadi, and Saman Amarasinghe (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p99-p (type: Full Paper) doi:10.1145/3656396
	Rinard, Martin C.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Rivera, Cody	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Predictable Verification using ..." Predictable Verification using Intrinsic Definitions Adithya Murali, Cody Rivera, and P. Madhusudan (University of Illinois at Urbana-Champaign, USA) Publisher's Version Archive submitted (760 kB) Artifacts Reusable ACM SIGPLAN Best Paper Award Article: pldi24main-p621-p (type: Full Paper) doi:10.1145/3656450
	Rivera, Joao	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Floating-Point TVPI Abstract ..." Floating-Point TVPI Abstract Domain Joao Rivera, Franz Franchetti, and Markus Püschel (ETH Zurich, Switzerland; Carnegie Mellon University, USA) Publisher's Version Archive submitted (490 kB) Artifacts Reusable Article: pldi24main-p97-p (type: Full Paper) doi:10.1145/3656395
	Rossberg, Andreas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Rubio, Albert	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Rustagi, Swapnil	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Ryu, Sukyoung	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Don’t Write, but Return: ..." Don’t Write, but Return: Replacing Output Parameters with Algebraic Data Types in C-to-Rust Translation Jaemin Hong and Sukyoung Ryu (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p169-p (type: Full Paper) doi:10.1145/3656406 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Saad, Feras A.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Robust Resource Bounds with ..." Robust Resource Bounds with Static Analysis and Bayesian Inference Long Pham, Feras A. Saad, and Jan Hoffmann (Carnegie Mellon University, USA) Publisher's Version Archive submitted (4.3 MB) Artifacts Reusable Article: pldi24main-p24-p (type: Full Paper) doi:10.1145/3656380 Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409
	Saivasan, Prakash	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verification under Intel-x86 ..." Verification under Intel-x86 with Persistency Parosh Abdulla, Mohamed Faouzi Atig, Ahmed Bouajjani, K. Narayan Kumar, and Prakash Saivasan (Uppsala University, Sweden; Université Paris Cité, France; Chennai Mathematical Institute, India; Institute of Mathematical Sciences, India) Publisher's Version Article: pldi24main-p298-p (type: Full Paper) doi:10.1145/3656425
	Salvaneschi, Guido	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Automated Verification of Fundamental Algebraic Laws George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p174-p (type: Full Paper) doi:10.1145/3656408
	Samardzic, Nikola	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez (Massachusetts Institute of Technology, USA) Publisher's Version Article: pldi24main-p33-p (type: Full Paper) doi:10.1145/3656382
	Sammler, Michael	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq Simon Spies, Lennard Gäher, Michael Sammler, and Derek Dreyer (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p189-p (type: Full Paper) doi:10.1145/3656413 Proc. ACM Program. Lang., vol. 8, issue PLDI: "RefinedRust: A Type System ..." RefinedRust: A Type System for High-Assurance Verification of Rust Programs Lennard Gäher, Michael Sammler, Ralf Jung, Robbert Krebbers, and Derek Dreyer (MPI-SWS, Germany; ETH Zurich, Switzerland; Radboud University Nijmegen, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p289-p (type: Full Paper) doi:10.1145/3656422
	Sanchez, Daniel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A Tensor Compiler with Automatic ..." A Tensor Compiler with Automatic Data Packing for Simple and Efficient Fully Homomorphic Encryption Aleksandar Krastev, Nikola Samardzic, Simon Langowski, Srinivas Devadas, and Daniel Sanchez (Massachusetts Institute of Technology, USA) Publisher's Version Article: pldi24main-p33-p (type: Full Paper) doi:10.1145/3656382
	Santos, José Fragoso	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Santos, Nuno	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Efficient Static Vulnerability ..." Efficient Static Vulnerability Analysis for JavaScript with Multiversion Dependency Graphs Mafalda Ferreira, Miguel Monteiro, Tiago Brito, Miguel E. Coimbra, Nuno Santos, Limin Jia, and José Fragoso Santos (INESC-ID, Portugal; Universidade de Lisboa, Portugal; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p79-p (type: Full Paper) doi:10.1145/3656394
	Sapek, Adam	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Schaechtle, Ulrich	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409
	Schlesinger, Cole	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410 Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Sekiyama, Taro	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan; Tokyo Institute of Technology, Japan) Publisher's Version Archive submitted (930 kB) Article: pldi24main-p478-p (type: Full Paper) doi:10.1145/3656441
	Sergey, Ilya	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Mechanised Hypersafety Proofs about Structured Data Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey (National University of Singapore, Singapore; Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p146-p (type: Full Paper) doi:10.1145/3656403
	Seth, Priyam	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Shao, Zhong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Sharma, Ritvik	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Qubit Circuits ..." Compilation of Qubit Circuits to Optimized Qutrit Circuits Ritvik Sharma and Sara Achour (Stanford University, USA) Publisher's Version Archive submitted (260 kB) Artifacts Reusable Article: pldi24main-p50-p (type: Full Paper) doi:10.1145/3656388
	Shelby, Zane	Proc. ACM Program. Lang., vol. 8, issue PLDI: "GenSQL: A Probabilistic Programming ..." GenSQL: A Probabilistic Programming System for Querying Generative Models of Database Tables Mathieu Huot, Matin Ghavami, Alexander K. Lew, Ulrich Schaechtle, Cameron E. Freer, Zane Shelby, Martin C. Rinard, Feras A. Saad, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; Digital Garage, Japan; Carnegie Mellon University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p182-p (type: Full Paper) doi:10.1145/3656409
	Shi, Qingkai	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Shin, Ji-Yong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "LiDO: Linearizable Byzantine ..." LiDO: Linearizable Byzantine Distributed Objects with Refinement-Based Liveness Proofs Longfei Qiu, Yoonseung Kim, Ji-Yong Shin, Jieung Kim, Wolf Honoré, and Zhong Shao (Yale University, USA; Northeastern University, USA; Inha University, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p290-p (type: Full Paper) doi:10.1145/3656423
	Shin, Wonho	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Siek, Jeremy G.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quest Complete: The Holy Grail ..." Quest Complete: The Holy Grail of Gradual Security Tianyu Chen and Jeremy G. Siek (Indiana University, USA) Publisher's Version Archive submitted (360 kB) Artifacts Reusable Article: pldi24main-p494-p (type: Full Paper) doi:10.1145/3656442
	Silva, Alexandra	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Singh, Gagandeep	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Input-Relational Verification of Deep Neural Networks Debangshu Banerjee, Changming Xu, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p2-p (type: Full Paper) doi:10.1145/3656377
	Smolka, Steffen	Proc. ACM Program. Lang., vol. 8, issue PLDI: "KATch: A Fast Symbolic Verifier ..." KATch: A Fast Symbolic Verifier for NetKAT Mark Moeller, Jules Jacobs, Olivier Savary Belanger, David Darais, Cole Schlesinger, Steffen Smolka, Nate Foster, and Alexandra Silva (Cornell University, USA; Galois, USA; Google, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p646-p (type: Full Paper) doi:10.1145/3656454
	Soulé, Robert	Proc. ACM Program. Lang., vol. 8, issue PLDI: "An Algebraic Language for ..." An Algebraic Language for Specifying Quantum Networks Anita Buckley, Pavel Chuprikov, Rodrigo Otoni, Robert Soulé, Robert Rand, and Patrick Eugster (USI Lugano, Switzerland; Yale University, USA; University of Chicago, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p381-p (type: Full Paper) doi:10.1145/3656430
	Sozeau, Matthieu	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Verified Extraction from Coq to OCaml Yannick Forster, Matthieu Sozeau, and Nicolas Tabareau (Inria, France) Publisher's Version Article: pldi24main-p22-p (type: Full Paper) doi:10.1145/3656379
	Spies, Simon	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Quiver: Guided Abductive Inference ..." Quiver: Guided Abductive Inference of Separation Logic Specifications in Coq Simon Spies, Lennard Gäher, Michael Sammler, and Derek Dreyer (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p189-p (type: Full Paper) doi:10.1145/3656413
	Stancu, Codrut	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Scaling Type-Based Points-to Analysis with Saturation Christian Wimmer, Codrut Stancu, David Kozak, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Switzerland; Brno University of Technology, Czechia; Oracle Labs, Czechia) Publisher's Version Artifacts Reusable Article: pldi24main-p251-p (type: Full Paper) doi:10.1145/3656417
	Stanford, Caleb	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Steuwer, Michel	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Descend: A Safe GPU Systems ..." Descend: A Safe GPU Systems Programming Language Bastian Köpcke, Sergei Gorlatch, and Michel Steuwer (University of Münster, Germany; TU Berlin, Germany) Publisher's Version Article: pldi24main-p187-p (type: Full Paper) doi:10.1145/3656411
	Stuckey, Peter J.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SuperStack: Superoptimization ..." SuperStack: Superoptimization of Stack-Bytecode via Greedy, Constraint-Based, and SAT Techniques Elvira Albert, Maria Garcia de la Banda, Alejandro Hernández-Cerezo, Alexey Ignatiev, Albert Rubio, and Peter J. Stuckey (Complutense University of Madrid, Spain; Monash University, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p416-p (type: Full Paper) doi:10.1145/3656435
	Su, Zhendong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Boosting Compiler Testing by Injecting Real-World Code Shaohua Li, Theodoros Theodoridis, and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p45-p (type: Full Paper) doi:10.1145/3656386 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Refined Input, Degraded Output: ..." Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior Theodoros Theodoridis and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p148-p (type: Full Paper) doi:10.1145/3656404
	Sui, Yulei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Context-Free Language Reachability via Skewed Tabulation Yuxiang Lei, Camille Bossut, Yulei Sui, and Qirun Zhang (UNSW, Australia; Georgia Institute of Technology, USA) Publisher's Version Archive submitted (810 kB) Artifacts Reusable Article: pldi24main-p632-p (type: Full Paper) doi:10.1145/3656451
	Sulaiman Manzur, Jose	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Summers, Alexander J.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Towards Trustworthy Automated ..." Towards Trustworthy Automated Program Verifiers: Formally Validating Translations into an Intermediate Verification Language Gaurav Parthasarathy, Thibault Dardinier, Benjamin Bonneau, Peter Müller, and Alexander J. Summers (ETH Zurich, Switzerland; Université Grenoble Alpes - CNRS - Grenoble INP - VERIMAG, France; University of British Columbia, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p451-p (type: Full Paper) doi:10.1145/3656438
	Sundaresan, Vijay	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Svyatlovskiy, Mikhail	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compositional Semantics for ..." Compositional Semantics for Shared-Variable Concurrency Mikhail Svyatlovskiy, Shai Mermelstein, and Ori Lahav (Tel Aviv University, Israel) Publisher's Version Artifacts Reusable Article: pldi24main-p120-p (type: Full Paper) doi:10.1145/3656399
	Swierstra, Wouter	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The Functional Essence of ..." The Functional Essence of Imperative Binary Search Trees Anton Lorenzen, Daan Leijen, Wouter Swierstra, and Sam Lindley (University of Edinburgh, United Kingdom; Microsoft Research, Redmond, USA; Utrecht University, Netherlands) Publisher's Version Artifacts Reusable Article: pldi24main-p116-p (type: Full Paper) doi:10.1145/3656398
	Tabareau, Nicolas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Verified Extraction from Coq ..." Verified Extraction from Coq to OCaml Yannick Forster, Matthieu Sozeau, and Nicolas Tabareau (Inria, France) Publisher's Version Article: pldi24main-p22-p (type: Full Paper) doi:10.1145/3656379
	Tan, Gang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "V-Star: Learning Visibly Pushdown ..." V-Star: Learning Visibly Pushdown Grammars from Program Inputs Xiaodong Jia and Gang Tan (Pennsylvania State University, USA) Publisher's Version Archive submitted (800 kB) Artifacts Reusable Article: pldi24main-p779-p (type: Full Paper) doi:10.1145/3656458
	Tanabe, Yudai	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Space-Efficient Polymorphic ..." Space-Efficient Polymorphic Gradual Typing, Mostly Parametric Atsushi Igarashi, Shota Ozaki, Taro Sekiyama, and Yudai Tanabe (Kyoto University, Japan; National Institute of Informatics, Japan; SOKENDAI, Japan; Tokyo Institute of Technology, Japan) Publisher's Version Archive submitted (930 kB) Article: pldi24main-p478-p (type: Full Paper) doi:10.1145/3656441
	Tate, Ross	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Decidable Subtyping of Existential Types for Julia Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek (Purdue University, USA; JuliaHub, USA; Independent Consultant, USA; Northeastern University, USA; Charles University, Czechia) Publisher's Version Archive submitted (1.7 MB) Article: pldi24main-p283-p (type: Full Paper) doi:10.1145/3656421
	Thakur, Manas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Optimistic Stack Allocation ..." Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes Aditya Anand, Solai Adithya, Swapnil Rustagi, Priyam Seth, Vijay Sundaresan, Daryl Maier, V. Krishna Nandivada, and Manas Thakur (IIT Bombay, India; IIT Mandi, India; IBM, Canada; IIT Madras, India) Publisher's Version Artifacts Functional Article: pldi24main-p53-p (type: Full Paper) doi:10.1145/3656389
	Thalakottur, Michelle	Proc. ACM Program. Lang., vol. 8, issue PLDI: "RichWasm: Bringing Safe, Fine-Grained, ..." RichWasm: Bringing Safe, Fine-Grained, Shared-Memory Interoperability Down to WebAssembly Michael Fitzgibbons, Zoe Paraskevopoulou, Noble Mushtak, Michelle Thalakottur, Jose Sulaiman Manzur, and Amal Ahmed (Northeastern University, USA; Ethereum Foundation, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p517-p (type: Full Paper) doi:10.1145/3656444
	Theodoridis, Theodoros	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Boosting Compiler Testing ..." Boosting Compiler Testing by Injecting Real-World Code Shaohua Li, Theodoros Theodoridis, and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p45-p (type: Full Paper) doi:10.1145/3656386 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Refined Input, Degraded Output: ..." Refined Input, Degraded Output: The Counterintuitive World of Compiler Behavior Theodoros Theodoridis and Zhendong Su (ETH Zurich, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p148-p (type: Full Paper) doi:10.1145/3656404
	Tsukada, Takeshi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Inductive Approach to Spacer ..." Inductive Approach to Spacer Takeshi Tsukada and Hiroshi Unno (Chiba University, Japan; Tohoku University, Japan) Publisher's Version Article: pldi24main-p738-p (type: Full Paper) doi:10.1145/3656457
	Ullman, Jonathan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Program Analysis for Adaptive ..." Program Analysis for Adaptive Data Analysis Jiawen Liu, Weihao Qu, Marco Gaboardi, Deepak Garg, and Jonathan Ullman (Boston University, USA; Monmouth University, USA; MPI-SWS, Germany; Northeastern University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p195-p (type: Full Paper) doi:10.1145/3656414
	Unno, Hiroshi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Inductive Approach to Spacer ..." Inductive Approach to Spacer Takeshi Tsukada and Hiroshi Unno (Chiba University, Japan; Tohoku University, Japan) Publisher's Version Article: pldi24main-p738-p (type: Full Paper) doi:10.1145/3656457
	Vafeiadis, Viktor	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SPORE: Combining Symmetry ..." SPORE: Combining Symmetry and Partial Order Reduction Michalis Kokologiannakis, Iason Marmanis, and Viktor Vafeiadis (MPI-SWS, Germany) Publisher's Version Artifacts Reusable Article: pldi24main-p601-p (type: Full Paper) doi:10.1145/3656449
	Van den Broeck, Guy	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bit Blasting Probabilistic ..." Bit Blasting Probabilistic Programs Poorva Garg, Steven Holtzen, Guy Van den Broeck, and Todd Millstein (University of California at Los Angeles, Los Angeles, USA; Northeastern University, USA) Publisher's Version Artifacts Functional Article: pldi24main-p188-p (type: Full Paper) doi:10.1145/3656412
	Vitek, Jan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Decidable Subtyping of Existential ..." Decidable Subtyping of Existential Types for Julia Julia Belyakova, Benjamin Chung, Ross Tate, and Jan Vitek (Purdue University, USA; JuliaHub, USA; Independent Consultant, USA; Northeastern University, USA; Charles University, Czechia) Publisher's Version Archive submitted (1.7 MB) Article: pldi24main-p283-p (type: Full Paper) doi:10.1145/3656421
	Wang, Eric	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Compiling Probabilistic Programs for Variable Elimination with Information Flow Jianlin Li, Eric Wang, and Yizhou Zhang (University of Waterloo, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p588-p (type: Full Paper) doi:10.1145/3656448
	Wang, Peixin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, and C.-H. Luke Ong (Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Shanghai Jiao Tong University, China; University of Oxford, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p403-p (type: Full Paper) doi:10.1145/3656432
	Wang, Xiaoyan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Probabilistic Programming ..." Probabilistic Programming with Programmable Variational Inference McCoy R. Becker, Alexander K. Lew, Xiaoyan Wang, Matin Ghavami, Mathieu Huot, Martin C. Rinard, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p861-p (type: Full Paper) doi:10.1145/3656463
	Wang, Yang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "IsoPredict: Dynamic Predictive ..." IsoPredict: Dynamic Predictive Analysis for Detecting Unserializable Behaviors in Weakly Isolated Data Store Applications Chujun Geng, Spyros Blanas, Michael D. Bond, and Yang Wang (Ohio State University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p59-p (type: Full Paper) doi:10.1145/3656391
	Wang, Yuepeng	Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." From Batch to Stream: Automatic Generation of Online Algorithms Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Işıl Dillig (University of Texas at Austin, USA; Simon Fraser University, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p263-p (type: Full Paper) doi:10.1145/3656418
	Wang, Yuning	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Reward-Guided Synthesis of Intelligent Agents with Control Structures Guofeng Cui, Yuning Wang, Wenjie Qiu, and He Zhu (Rutgers University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p553-p (type: Full Paper) doi:10.1145/3656447
	Wang, Ziteng	Proc. ACM Program. Lang., vol. 8, issue PLDI: "From Batch to Stream: Automatic ..." From Batch to Stream: Automatic Generation of Online Algorithms Ziteng Wang, Shankara Pailoor, Aaryan Prakash, Yuepeng Wang, and Işıl Dillig (University of Texas at Austin, USA; Simon Fraser University, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p263-p (type: Full Paper) doi:10.1145/3656418
	Watson, Christopher	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Stream Types ..." Stream Types Joseph W. Cutler, Christopher Watson, Emeka Nkurumeh, Phillip Hilliard, Harrison Goldstein, Caleb Stanford, and Benjamin C. Pierce (University of Pennsylvania, USA; California Institute of Technology, USA; University of California at Davis, Davis, USA) Publisher's Version Article: pldi24main-p407-p (type: Full Paper) doi:10.1145/3656434
	Watt, Conrad	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Wei, Guannan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Consolidating Smart Contracts with Behavioral Contracts Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang (Purdue University, USA; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p218-p (type: Full Paper) doi:10.1145/3656416
	Weisenburger, Pascal	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Automated Verification of Fundamental Algebraic Laws George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p174-p (type: Full Paper) doi:10.1145/3656408
	Wickerson, John	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Hyperblock Scheduling for ..." Hyperblock Scheduling for Verified High-Level Synthesis Yann Herklotz and John Wickerson (Imperial College London, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p654-p (type: Full Paper) doi:10.1145/3656455
	Wimmer, Christian	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Scaling Type-Based Points-to Analysis with Saturation Christian Wimmer, Codrut Stancu, David Kozak, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Switzerland; Brno University of Technology, Czechia; Oracle Labs, Czechia) Publisher's Version Artifacts Reusable Article: pldi24main-p251-p (type: Full Paper) doi:10.1145/3656417
	Winwood, Simon	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Daedalus: Safer Document Parsing ..." Daedalus: Safer Document Parsing Iavor S. Diatchki, Mike Dodds, Harrison Goldstein, Bill Harris, David A. Holland, Benoit Razet, Cole Schlesinger, and Simon Winwood (Galois, USA; University of Pennsylvania, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p185-p (type: Full Paper) doi:10.1145/3656410
	Wu, Rongxin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Würthinger, Thomas	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Scaling Type-Based Points-to ..." Scaling Type-Based Points-to Analysis with Saturation Christian Wimmer, Codrut Stancu, David Kozak, and Thomas Würthinger (Oracle Labs, USA; Oracle Labs, Switzerland; Brno University of Technology, Czechia; Oracle Labs, Czechia) Publisher's Version Artifacts Reusable Article: pldi24main-p251-p (type: Full Paper) doi:10.1145/3656417
	Xi, Jinwen	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Wavefront Threading Enables ..." Wavefront Threading Enables Effective High-Level Synthesis Blake Pelton, Adam Sapek, Ken Eguro, Daniel Lo, Alessandro Forin, Matt Humphrey, Jinwen Xi, David Cox, Rajas Karandikar, Johannes de Fine Licht, Evgeny Babin, Adrian Caulfield, and Doug Burger (Microsoft, USA; ETH Zurich, Switzerland) Publisher's Version Article: pldi24main-p282-p (type: Full Paper) doi:10.1145/3656420
	Xiang, Shaojie	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Xiao, Xiao	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Xie, Danning	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Consolidating Smart Contracts with Behavioral Contracts Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang (Purdue University, USA; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p218-p (type: Full Paper) doi:10.1145/3656416
	Xiong, Yingfei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, and Zhenjiang Hu (Peking University, China; University of California at San Diego, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p213-p (type: Full Paper) doi:10.1145/3656415
	Xu, Changming	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Input-Relational Verification ..." Input-Relational Verification of Deep Neural Networks Debangshu Banerjee, Changming Xu, and Gagandeep Singh (University of Illinois at Urbana-Champaign, USA; VMware Research, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p2-p (type: Full Paper) doi:10.1145/3656377
	Xu, Wenyuan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reducing Static Analysis Unsoundness ..." Reducing Static Analysis Unsoundness with Approximate Interpretation Mathias Rud Laursen, Wenyuan Xu, and Anders Møller (Aarhus University, Denmark) Publisher's Version Artifacts Reusable Article: pldi24main-p295-p (type: Full Paper) doi:10.1145/3656424
	Yan, Francis Y.	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Diffy: Data-Driven Bug Finding ..." Diffy: Data-Driven Bug Finding for Configurations Siva Kesava Reddy Kakarla, Francis Y. Yan, and Ryan Beckett (Microsoft Research, USA) Publisher's Version Archive submitted (850 kB) Article: pldi24main-p42-p (type: Full Paper) doi:10.1145/3656385
	Yang, Guowei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding Qiuping Yi, Yifan Yu, and Guowei Yang (Beijing University of Posts and Telecommunications, China; University of Queensland, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p508-p (type: Full Paper) doi:10.1145/3656443
	Yang, Tengshun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Static Posterior Inference ..." Static Posterior Inference of Bayesian Probabilistic Programming via Polynomial Solving Peixin Wang, Tengshun Yang, Hongfei Fu, Guanyan Li, and C.-H. Luke Ong (Nanyang Technological University, Singapore; Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Shanghai Jiao Tong University, China; University of Oxford, United Kingdom) Publisher's Version Artifacts Reusable Article: pldi24main-p403-p (type: Full Paper) doi:10.1145/3656432
	Yao, Peisen	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Ye, Kevin	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Equivalence by Canonicalization for Synthesis-Backed Refactoring Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA) Publisher's Version Archive submitted (750 kB) Artifacts Reusable Article: pldi24main-p645-p (type: Full Paper) doi:10.1145/3656453
	Ye, Qianchuan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p404-p (type: Full Paper) doi:10.1145/3656433
	Yi, Qiuping	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding Qiuping Yi, Yifan Yu, and Guowei Yang (Beijing University of Posts and Telecommunications, China; University of Queensland, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p508-p (type: Full Paper) doi:10.1145/3656443
	Yim, Jacob	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence by Canonicalization ..." Equivalence by Canonicalization for Synthesis-Backed Refactoring Justin Lubin, Jeremy Ferguson, Kevin Ye, Jacob Yim, and Sarah E. Chasins (University of California at Berkeley, Berkeley, USA) Publisher's Version Archive submitted (750 kB) Artifacts Reusable Article: pldi24main-p645-p (type: Full Paper) doi:10.1145/3656453
	Ying, Mingsheng	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Symbolic Execution for Quantum ..." Symbolic Execution for Quantum Error Correction Programs Wang Fang and Mingsheng Ying (Institute of Software at Chinese Academy of Sciences, Beijing, China; University of Chinese Academy of Sciences, China; Tsinghua University, China) Publisher's Version Artifacts Reusable Article: pldi24main-p276-p (type: Full Paper) doi:10.1145/3656419
	Youn, Dongjun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Bringing the WebAssembly Standard ..." Bringing the WebAssembly Standard up to Speed with SpecTec Dongjun Youn, Wonho Shin, Jaehyun Lee, Sukyoung Ryu, Joachim Breitner, Philippa Gardner, Sam Lindley, Matija Pretnar, Xiaojia Rao, Conrad Watt, and Andreas Rossberg (KAIST, South Korea; Independent, Germany; Imperial College London, United Kingdom; University of Edinburgh, United Kingdom; University of Ljubljana, Slovenia; University of Cambridge, United Kingdom) Publisher's Version Artifacts Functional Article: pldi24main-p462-p (type: Full Paper) doi:10.1145/3656440
	Yu, Yifan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compatible Branch Coverage ..." Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug Finding Qiuping Yi, Yifan Yu, and Guowei Yang (Beijing University of Posts and Telecommunications, China; University of Queensland, Australia) Publisher's Version Artifacts Reusable Article: pldi24main-p508-p (type: Full Paper) doi:10.1145/3656443
	Yuan, Charles	Proc. ACM Program. Lang., vol. 8, issue PLDI: "The T-Complexity Costs of ..." The T-Complexity Costs of Error Correction for Control Flow in Quantum Computation Charles Yuan and Michael Carbin (Massachusetts Institute of Technology, USA) Publisher's Version Archive submitted (520 kB) Artifacts Reusable Article: pldi24main-p115-p (type: Full Paper) doi:10.1145/3656397
	Yuan, Yongwei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Consolidating Smart Contracts with Behavioral Contracts Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang (Purdue University, USA; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p218-p (type: Full Paper) doi:10.1145/3656416
	Zakhour, George	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Automated Verification of ..." Automated Verification of Fundamental Algebraic Laws George Zakhour, Pascal Weisenburger, and Guido Salvaneschi (University of St. Gallen, Switzerland) Publisher's Version Artifacts Reusable Article: pldi24main-p174-p (type: Full Paper) doi:10.1145/3656408
	Zeng, Zhichen	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Zhang, Charles	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Zhang, Genghan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compilation of Modular and ..." Compilation of Modular and General Sparse Workspaces Genghan Zhang, Olivia Hsu, and Fredrik Kjolstad (Stanford University, USA) Publisher's Version Article: pldi24main-p300-p (type: Full Paper) doi:10.1145/3656426
	Zhang, Niansong	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Zhang, Qirun	Proc. ACM Program. Lang., vol. 8, issue PLDI: "SMT Theory Arbitrage: Approximating ..." SMT Theory Arbitrage: Approximating Unbounded Constraints using Bounded Theories Benjamin Mikek and Qirun Zhang (Georgia Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p49-p (type: Full Paper) doi:10.1145/3656387 Proc. ACM Program. Lang., vol. 8, issue PLDI: "Context-Free Language Reachability ..." Context-Free Language Reachability via Skewed Tabulation Yuxiang Lei, Camille Bossut, Yulei Sui, and Qirun Zhang (UNSW, Australia; Georgia Institute of Technology, USA) Publisher's Version Archive submitted (810 kB) Artifacts Reusable Article: pldi24main-p632-p (type: Full Paper) doi:10.1145/3656451
	Zhang, Wuqi	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Consolidating Smart Contracts with Behavioral Contracts Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang (Purdue University, USA; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p218-p (type: Full Paper) doi:10.1145/3656416
	Zhang, Yizhou	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Compiling Probabilistic Programs ..." Compiling Probabilistic Programs for Variable Elimination with Information Flow Jianlin Li, Eric Wang, and Yizhou Zhang (University of Waterloo, Canada) Publisher's Version Artifacts Reusable Article: pldi24main-p588-p (type: Full Paper) doi:10.1145/3656448
	Zhang, Zhiru	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Allo: A Programming Model ..." Allo: A Programming Model for Composable Accelerator Design Hongzheng Chen, Niansong Zhang, Shaojie Xiang, Zhichen Zeng, Mengjia Dai, and Zhiru Zhang (Cornell University, USA; University of Science and Technology of China, China) Publisher's Version Archive submitted (870 kB) Artifacts Reusable Article: pldi24main-p130-p (type: Full Paper) doi:10.1145/3656401
	Zhang, Zhuo	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Consolidating Smart Contracts ..." Consolidating Smart Contracts with Behavioral Contracts Guannan Wei, Danning Xie, Wuqi Zhang, Yongwei Yuan, and Zhuo Zhang (Purdue University, USA; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p218-p (type: Full Paper) doi:10.1145/3656416
	Zhao, Qiyuan	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Mechanised Hypersafety Proofs ..." Mechanised Hypersafety Proofs about Structured Data Vladimir Gladshtein, Qiyuan Zhao, Willow Ahrens, Saman Amarasinghe, and Ilya Sergey (National University of Singapore, Singapore; Massachusetts Institute of Technology, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p146-p (type: Full Paper) doi:10.1145/3656403
	Zhao, Shuangshuang	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Modular Hardware Design of ..." Modular Hardware Design of Pipelined Circuits with Hazards Minseong Jang, Jungin Rhee, Woojin Lee, Shuangshuang Zhao, and Jeehoon Kang (KAIST, South Korea) Publisher's Version Artifacts Reusable Article: pldi24main-p12-p (type: Full Paper) doi:10.1145/3656378
	Zhao, Yuwei	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Superfusion: Eliminating Intermediate ..." Superfusion: Eliminating Intermediate Data Structures via Inductive Synthesis Ruyi Ji, Yuwei Zhao, Nadia Polikarpova, Yingfei Xiong, and Zhenjiang Hu (Peking University, China; University of California at San Diego, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p213-p (type: Full Paper) doi:10.1145/3656415
	Zhou, Jinguo	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Falcon: A Fused Approach to ..." Falcon: A Fused Approach to Path-Sensitive Sparse Data Dependence Analysis Peisen Yao, Jinguo Zhou, Xiao Xiao, Qingkai Shi, Rongxin Wu, and Charles Zhang (Zhejiang University, China; Ant Group, China; Nanjing University, China; Xiamen University, China; Hong Kong University of Science and Technology, China) Publisher's Version Article: pldi24main-p125-p (type: Full Paper) doi:10.1145/3656400
	Zhou, Zhe	Proc. ACM Program. Lang., vol. 8, issue PLDI: "A HAT Trick: Automatically ..." A HAT Trick: Automatically Verifying Representation Invariants using Symbolic Finite Automata Zhe Zhou, Qianchuan Ye, Benjamin Delaware, and Suresh Jagannathan (Purdue University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p404-p (type: Full Paper) doi:10.1145/3656433
	Zhu, He	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Reward-Guided Synthesis of ..." Reward-Guided Synthesis of Intelligent Agents with Control Structures Guofeng Cui, Yuning Wang, Wenjie Qiu, and He Zhu (Rutgers University, USA) Publisher's Version Artifacts Reusable Article: pldi24main-p553-p (type: Full Paper) doi:10.1145/3656447
	Žikelić, Đorđe	Proc. ACM Program. Lang., vol. 8, issue PLDI: "Equivalence and Similarity ..." Equivalence and Similarity Refutation for Probabilistic Programs Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić (IST Austria, Austria; Masaryk University, Czechia; Singapore Management University, Singapore) Publisher's Version Artifacts Reusable Article: pldi24main-p847-p (type: Full Paper) doi:10.1145/3656462