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