PLDI '22: "Progressive Polynomial Approximations ..."
Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, and Santosh Nagarakatte
(Rutgers University, USA; Yale University, USA)
@InProceedings{PLDI22p649,
author = {Mridul Aanjaneya and Jay P. Lim and Santosh Nagarakatte},
title = {Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3519939.3523447},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Modular Information Flow through ..."
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, and Pat Hanrahan
(Stanford University, USA; University of Trento, Italy)
@InProceedings{PLDI22p1,
author = {Will Crichton and Marco Patrignani and Maneesh Agrawala and Pat Hanrahan},
title = {Modular Information Flow through Ownership},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3519939.3523445},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.6 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Efficient Approximations for ..."
Efficient Approximations for Cache-Conscious Data Placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, and Andreas Pavlogiannis
(Sharif University of Technology, Iran; University of Tehran, Iran; Hong Kong University of Science and Technology, China; Aarhus University, Denmark)
@InProceedings{PLDI22p1009,
author = {Ali Ahmadi and Majid Daliri and Amir Kafshdar Goharshady and Andreas Pavlogiannis},
title = {Efficient Approximations for Cache-Conscious Data Placement},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3519939.3523436},
year = {2022},
}
Publisher's Version
PLDI '22: "Semantic Soundness for Language ..."
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)
@InProceedings{PLDI22p721,
author = {Daniel Patterson and Noble Mushtak and Andrew Wagner and Amal Ahmed},
title = {Semantic Soundness for Language Interoperability},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3519939.3523703},
year = {2022},
}
Publisher's Version
PLDI '22: "Autoscheduling for Sparse ..."
Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Peter Ahrens, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Stanford University, USA)
@InProceedings{PLDI22p325,
author = {Peter Ahrens and Fredrik Kjolstad and Saman Amarasinghe},
title = {Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3519939.3523442},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "DISTAL: The Distributed Tensor ..."
DISTAL: The Distributed Tensor Algebra Compiler
Rohan Yadav, Alex Aiken, and Fredrik Kjolstad
(Stanford University, USA)
@InProceedings{PLDI22p343,
author = {Rohan Yadav and Alex Aiken and Fredrik Kjolstad},
title = {DISTAL: The Distributed Tensor Algebra Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3519939.3523437},
year = {2022},
}
Publisher's Version
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Bind the Gap: Compiling Real ..."
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{PLDI22p811,
author = {Jackson Woodruff and Jordi Armengol-Estapé and Sam Ainsworth and Michael F. P. O'Boyle},
title = {Bind the Gap: Compiling Real Software to Hardware FFT Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3519939.3523439},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Autoscheduling for Sparse ..."
Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Peter Ahrens, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Stanford University, USA)
@InProceedings{PLDI22p325,
author = {Peter Ahrens and Fredrik Kjolstad and Saman Amarasinghe},
title = {Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3519939.3523442},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "All You Need Is Superword-Level ..."
All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Yishen Chen, Charith Mendis, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{PLDI22p361,
author = {Yishen Chen and Charith Mendis and Saman Amarasinghe},
title = {All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3519939.3523701},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Turning Manual Concurrent ..."
Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI22p73,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3519939.3523730},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Bind the Gap: Compiling Real ..."
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{PLDI22p811,
author = {Jackson Woodruff and Jordi Armengol-Estapé and Sam Ainsworth and Michael F. P. O'Boyle},
title = {Bind the Gap: Compiling Real Software to Hardware FFT Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3519939.3523439},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Kleene Algebra Modulo Theories: ..."
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, and Eric Campbell
(Stevens Institute of Technology, USA; Microsoft Research, USA; Cornell University, USA)
@InProceedings{PLDI22p703,
author = {Michael Greenberg and Ryan Beckett and Eric Campbell},
title = {Kleene Algebra Modulo Theories: A Framework for Concrete KATs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3519939.3523722},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "“Synthesizing Input Grammars”: ..."
“Synthesizing Input Grammars”: A Replication Study
Bachir Bendrissou, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{PLDI22p307,
author = {Bachir Bendrissou and Rahul Gopinath and Andreas Zeller},
title = {“Synthesizing Input Grammars”: A Replication Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3519939.3523716},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Exocompilation for Productive ..."
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
@InProceedings{PLDI22p829,
author = {Yuka Ikarashi and Gilbert Louis Bernstein and Alex Reinking and Hasan Genc and Jonathan Ragan-Kelley},
title = {Exocompilation for Productive Programming of Hardware Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3519939.3523446},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (570 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Guaranteed Bounds for Posterior ..."
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Raven Beutner, C.-H. Luke Ong, and Fabian Zaiser
(CISPA, Germany; University of Oxford, UK)
@InProceedings{PLDI22p631,
author = {Raven Beutner and C.-H. Luke Ong and Fabian Zaiser},
title = {Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3519939.3523721},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Low-Latency, High-Throughput ..."
Low-Latency, High-Throughput Garbage Collection
Wenyu Zhao, Stephen M. Blackburn, and Kathryn S. McKinley
(Australian National University, Australia; Google, USA)
@InProceedings{PLDI22p91,
author = {Wenyu Zhao and Stephen M. Blackburn and Kathryn S. McKinley},
title = {Low-Latency, High-Throughput Garbage Collection},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3519939.3523440},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PaC-Trees: Supporting Parallel ..."
PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, and Yihan Sun
(University of Maryland, USA; Carnegie Mellon University, USA; University of California at Riverside, USA)
@InProceedings{PLDI22p127,
author = {Laxman Dhulipala and Guy E. Blelloch and Yan Gu and Yihan Sun},
title = {PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3519939.3523733},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Turning Manual Concurrent ..."
Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI22p73,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3519939.3523730},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Formally Verified Lifting ..."
Formally Verified Lifting of C-Compiled x86-64 Binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, and Binoy Ravindran
(Open University of the Netherlands, Netherlands; Virginia Tech, USA; SUNY Korea, South Korea)
@InProceedings{PLDI22p1099,
author = {Freek Verbeek and Joshua Bockenek and Zhoulai Fu and Binoy Ravindran},
title = {Formally Verified Lifting of C-Compiled x86-64 Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3519939.3523702},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Synthesizing Analytical SQL ..."
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, and Chenglong Wang
(University of Washington, USA; University of California at Berkeley, USA; Microsoft Research, USA)
@InProceedings{PLDI22p199,
author = {Xiangyu Zhou and Rastislav Bodik and Alvin Cheung and Chenglong Wang},
title = {Synthesizing Analytical SQL Queries from Computation Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3519939.3523712},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Differential Cost Analysis ..."
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
(IST Austria, Austria; University of Colorado Boulder, USA; Amazon, USA; Amazon, UK; Middlesex University, UK)
@InProceedings{PLDI22p523,
author = {Đorđe Žikelić and Bor-Yuh Evan Chang and Pauline Bolignano and Franco Raimondi},
title = {Differential Cost Analysis with Simultaneous Potentials and Anti-potentials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3519939.3523435},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "A Typed Continuation-Passing ..."
A Typed Continuation-Passing Translation for Lexical Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{PLDI22p667,
author = {Philipp Schuster and Jonathan Immanuel Brachthäuser and Marius Müller and Klaus Ostermann},
title = {A Typed Continuation-Passing Translation for Lexical Effect Handlers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3519939.3523710},
year = {2022},
}
Publisher's Version
PLDI '22: "Choosing Mathematical Function ..."
Choosing Mathematical Function Implementations for Speed and Accuracy
Ian Briggs and Pavel Panchekha
(University of Utah, USA)
@InProceedings{PLDI22p613,
author = {Ian Briggs and Pavel Panchekha},
title = {Choosing Mathematical Function Implementations for Speed and Accuracy},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {613-612},
doi = {10.1145/3519939.3523452},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Abstract Interpretation Repair ..."
Abstract Interpretation Repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato
(University of Pisa, Italy; University of Verona, Italy; University of Padua, Italy)
@InProceedings{PLDI22p505,
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato},
title = {Abstract Interpretation Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3519939.3523453},
year = {2022},
}
Publisher's Version
PLDI '22: "WARio: Efficient Code Generation ..."
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)
@InProceedings{PLDI22p919,
author = {Vito Kortbeek and Souradip Ghosh and Josiah Hester and Simone Campanoni and Przemysław Pawełczak},
title = {WARio: Efficient Code Generation for Intermittent Computing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3519939.3523454},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Kleene Algebra Modulo Theories: ..."
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, and Eric Campbell
(Stevens Institute of Technology, USA; Microsoft Research, USA; Cornell University, USA)
@InProceedings{PLDI22p703,
author = {Michael Greenberg and Ryan Beckett and Eric Campbell},
title = {Kleene Algebra Modulo Theories: A Framework for Concrete KATs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3519939.3523722},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "A Study of Real-World Data ..."
A Study of Real-World Data Races in Golang
Milind Chabbi and Murali Krishna Ramanathan
(Uber Technologies, USA)
@InProceedings{PLDI22p559,
author = {Milind Chabbi and Murali Krishna Ramanathan},
title = {A Study of Real-World Data Races in Golang},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {559-558},
doi = {10.1145/3519939.3523720},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Differential Cost Analysis ..."
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
(IST Austria, Austria; University of Colorado Boulder, USA; Amazon, USA; Amazon, UK; Middlesex University, UK)
@InProceedings{PLDI22p523,
author = {Đorđe Žikelić and Bor-Yuh Evan Chang and Pauline Bolignano and Franco Raimondi},
title = {Differential Cost Analysis with Simultaneous Potentials and Anti-potentials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3519939.3523435},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "WebRobot: Web Robotic Process ..."
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)
@InProceedings{PLDI22p181,
author = {Rui Dong and Zhicheng Huang and Ian Iong Lam and Yan Chen and Xinyu Wang},
title = {WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3519939.3523711},
year = {2022},
}
Publisher's Version
PLDI '22: "Visualization Question Answering ..."
Visualization Question Answering using Introspective Program Synthesis
Yanju Chen, Xifeng Yan, and Yu Feng
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p163,
author = {Yanju Chen and Xifeng Yan and Yu Feng},
title = {Visualization Question Answering using Introspective Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3519939.3523709},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "All You Need Is Superword-Level ..."
All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Yishen Chen, Charith Mendis, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{PLDI22p361,
author = {Yishen Chen and Charith Mendis and Saman Amarasinghe},
title = {All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3519939.3523701},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Synthesizing Analytical SQL ..."
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, and Chenglong Wang
(University of Washington, USA; University of California at Berkeley, USA; Microsoft Research, USA)
@InProceedings{PLDI22p199,
author = {Xiangyu Zhou and Rastislav Bodik and Alvin Cheung and Chenglong Wang},
title = {Synthesizing Analytical SQL Queries from Computation Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3519939.3523712},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Relational Compilation for ..."
Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)
@InProceedings{PLDI22p1081,
author = {Clément Pit-Claudel and Jade Philipoom and Dustin Jamner and Andres Erbsen and Adam Chlipala},
title = {Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3519939.3523706},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Sequential Reasoning for Optimizing ..."
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI22p253,
author = {Minki Cho and Sung-Hwan Lee and Dongjae Lee and Chung-Kil Hur and Ori Lahav},
title = {Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3519939.3523718},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Can Reactive Synthesis and ..."
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
(Columbia University, USA; CISPA, Germany; Yale University, USA)
@InProceedings{PLDI22p271,
author = {Wonhyuk Choi and Bernd Finkbeiner and Ruzica Piskac and Mark Santolucito},
title = {Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3519939.3523429},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Modular Information Flow through ..."
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, and Pat Hanrahan
(Stanford University, USA; University of Trento, Italy)
@InProceedings{PLDI22p1,
author = {Will Crichton and Marco Patrignani and Maneesh Agrawala and Pat Hanrahan},
title = {Modular Information Flow through Ownership},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3519939.3523445},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.6 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Efficient Approximations for ..."
Efficient Approximations for Cache-Conscious Data Placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, and Andreas Pavlogiannis
(Sharif University of Technology, Iran; University of Tehran, Iran; Hong Kong University of Science and Technology, China; Aarhus University, Denmark)
@InProceedings{PLDI22p1009,
author = {Ali Ahmadi and Majid Daliri and Amir Kafshdar Goharshady and Andreas Pavlogiannis},
title = {Efficient Approximations for Cache-Conscious Data Placement},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3519939.3523436},
year = {2022},
}
Publisher's Version
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "P4BID: Information Flow Control ..."
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, and Justin Hsu
(Cornell University, USA; University of Wisconsin-Madison, USA)
@InProceedings{PLDI22p55,
author = {Karuna Grewal and Loris D'Antoni and Justin Hsu},
title = {P4BID: Information Flow Control in P4},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3519939.3523717},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Checking Robustness to Weak ..."
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
@InProceedings{PLDI22p577,
author = {Hamed Gorjiara and Weiyu Luo and Alex Lee and Guoqing Harry Xu and Brian Demsky},
title = {Checking Robustness to Weak Persistency Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3519939.3523723},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (260 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "RustHornBelt: A Semantic Foundation ..."
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, and Derek Dreyer
(University of Tokyo, Japan; Université Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; Inria, France; Laboratoire Méthodes Formelles, France; MPI-SWS, Germany)
@InProceedings{PLDI22p991,
author = {Yusuke Matsushita and Xavier Denis and Jacques-Henri Jourdan and Derek Dreyer},
title = {RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3519939.3523704},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PaC-Trees: Supporting Parallel ..."
PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, and Yihan Sun
(University of Maryland, USA; Carnegie Mellon University, USA; University of California at Riverside, USA)
@InProceedings{PLDI22p127,
author = {Laxman Dhulipala and Guy E. Blelloch and Yan Gu and Yihan Sun},
title = {PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3519939.3523733},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Karp: A Language for NP Reductions ..."
Karp: A Language for NP Reductions
Chenhao Zhang, Jason D. Hartline, and Christos Dimoulas
(Northwestern University, USA)
@InProceedings{PLDI22p901,
author = {Chenhao Zhang and Jason D. Hartline and Christos Dimoulas},
title = {Karp: A Language for NP Reductions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3519939.3523732},
year = {2022},
}
Publisher's Version
Artifacts Reusable
PLDI '22: "Leapfrog: Certified Equivalence ..."
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)
@InProceedings{PLDI22p1117,
author = {Ryan Doenges and Tobias Kappé and John Sarracino and Nate Foster and Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3519939.3523715},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "WebRobot: Web Robotic Process ..."
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)
@InProceedings{PLDI22p181,
author = {Rui Dong and Zhicheng Huang and Ian Iong Lam and Yan Chen and Xinyu Wang},
title = {WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3519939.3523711},
year = {2022},
}
Publisher's Version
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "RustHornBelt: A Semantic Foundation ..."
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, and Derek Dreyer
(University of Tokyo, Japan; Université Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; Inria, France; Laboratoire Méthodes Formelles, France; MPI-SWS, Germany)
@InProceedings{PLDI22p991,
author = {Yusuke Matsushita and Xavier Denis and Jacques-Henri Jourdan and Derek Dreyer},
title = {RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3519939.3523704},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Interpreter-Guided Differential ..."
Interpreter-Guided Differential JIT Compiler Unit Testing
Guillermo Polito, Stéphane Ducasse, and Pablo Tesone
(University of Lille, France; CNRS, France; Inria, France; Centrale Lille, France; UMR 9189 CRIStAL, France; Pharo Consortium, Argentina)
@InProceedings{PLDI22p1153,
author = {Guillermo Polito and Stéphane Ducasse and Pablo Tesone},
title = {Interpreter-Guided Differential JIT Compiler Unit Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1153-1152},
doi = {10.1145/3519939.3523457},
year = {2022},
}
Publisher's Version
PLDI '22: "Computing Correctly with Inductive ..."
Computing Correctly with Inductive Relations
Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos
(Northeastern University, USA; University of Maryland, USA)
@InProceedings{PLDI22p1135,
author = {Zoe Paraskevopoulou and Aaron Eline and Leonidas Lampropoulos},
title = {Computing Correctly with Inductive Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1135-1134},
doi = {10.1145/3519939.3523707},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Relational Compilation for ..."
Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)
@InProceedings{PLDI22p1081,
author = {Clément Pit-Claudel and Jade Philipoom and Dustin Jamner and Andres Erbsen and Adam Chlipala},
title = {Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3519939.3523706},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Recursion Synthesis with Unrealizability ..."
Recursion Synthesis with Unrealizability Witnesses
Azadeh Farzan, Danya Lette, and Victor Nicolet
(University of Toronto, Canada)
@InProceedings{PLDI22p289,
author = {Azadeh Farzan and Danya Lette and Victor Nicolet},
title = {Recursion Synthesis with Unrealizability Witnesses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3519939.3523726},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Sound Sequentialization for ..."
Sound Sequentialization for Concurrent Program Verification
Azadeh Farzan, Dominik Klumpp, and Andreas Podelski
(University of Toronto, Canada; University of Freiburg, Germany)
@InProceedings{PLDI22p595,
author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski},
title = {Sound Sequentialization for Concurrent Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3519939.3523727},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.1 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Verifying Optimizations of ..."
Verifying Optimizations of Concurrent Programs in the Promising Semantics
Junpeng Zha, Hongjin Liang, and Xinyu Feng
(Nanjing University, China)
@InProceedings{PLDI22p1063,
author = {Junpeng Zha and Hongjin Liang and Xinyu Feng},
title = {Verifying Optimizations of Concurrent Programs in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3519939.3523734},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Visualization Question Answering ..."
Visualization Question Answering using Introspective Program Synthesis
Yanju Chen, Xifeng Yan, and Yu Feng
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p163,
author = {Yanju Chen and Xifeng Yan and Yu Feng},
title = {Visualization Question Answering using Introspective Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3519939.3523709},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Can Reactive Synthesis and ..."
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
(Columbia University, USA; CISPA, Germany; Yale University, USA)
@InProceedings{PLDI22p271,
author = {Wonhyuk Choi and Bernd Finkbeiner and Ruzica Piskac and Mark Santolucito},
title = {Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3519939.3523429},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Deoptless: Speculation with ..."
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
@InProceedings{PLDI22p883,
author = {Olivier Flückiger and Jan Ječmen and Sebastián Krynski and Jan Vitek},
title = {Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3519939.3523729},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Leapfrog: Certified Equivalence ..."
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)
@InProceedings{PLDI22p1117,
author = {Ryan Doenges and Tobias Kappé and John Sarracino and Nate Foster and Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3519939.3523715},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Formally Verified Lifting ..."
Formally Verified Lifting of C-Compiled x86-64 Binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, and Binoy Ravindran
(Open University of the Netherlands, Netherlands; Virginia Tech, USA; SUNY Korea, South Korea)
@InProceedings{PLDI22p1099,
author = {Freek Verbeek and Joshua Bockenek and Zhoulai Fu and Binoy Ravindran},
title = {Formally Verified Lifting of C-Compiled x86-64 Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3519939.3523702},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Exocompilation for Productive ..."
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
@InProceedings{PLDI22p829,
author = {Yuka Ikarashi and Gilbert Louis Bernstein and Alex Reinking and Hasan Genc and Jonathan Ragan-Kelley},
title = {Exocompilation for Productive Programming of Hardware Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3519939.3523446},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (570 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Diaframe: Automated Verification ..."
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Ike Mulder, Robbert Krebbers, and Herman Geuvers
(Radboud University Nijmegen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{PLDI22p955,
author = {Ike Mulder and Robbert Krebbers and Herman Geuvers},
title = {Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {955-954},
doi = {10.1145/3519939.3523432},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "WARio: Efficient Code Generation ..."
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)
@InProceedings{PLDI22p919,
author = {Vito Kortbeek and Souradip Ghosh and Josiah Hester and Simone Campanoni and Przemysław Pawełczak},
title = {WARio: Efficient Code Generation for Intermittent Computing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3519939.3523454},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Abstract Interpretation Repair ..."
Abstract Interpretation Repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato
(University of Pisa, Italy; University of Verona, Italy; University of Padua, Italy)
@InProceedings{PLDI22p505,
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato},
title = {Abstract Interpretation Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3519939.3523453},
year = {2022},
}
Publisher's Version
PLDI '22: "Efficient Approximations for ..."
Efficient Approximations for Cache-Conscious Data Placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, and Andreas Pavlogiannis
(Sharif University of Technology, Iran; University of Tehran, Iran; Hong Kong University of Science and Technology, China; Aarhus University, Denmark)
@InProceedings{PLDI22p1009,
author = {Ali Ahmadi and Majid Daliri and Amir Kafshdar Goharshady and Andreas Pavlogiannis},
title = {Efficient Approximations for Cache-Conscious Data Placement},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3519939.3523436},
year = {2022},
}
Publisher's Version
PLDI '22: "“Synthesizing Input Grammars”: ..."
“Synthesizing Input Grammars”: A Replication Study
Bachir Bendrissou, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{PLDI22p307,
author = {Bachir Bendrissou and Rahul Gopinath and Andreas Zeller},
title = {“Synthesizing Input Grammars”: A Replication Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3519939.3523716},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Abstract Interpretation Repair ..."
Abstract Interpretation Repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato
(University of Pisa, Italy; University of Verona, Italy; University of Padua, Italy)
@InProceedings{PLDI22p505,
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato},
title = {Abstract Interpretation Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3519939.3523453},
year = {2022},
}
Publisher's Version
PLDI '22: "Checking Robustness to Weak ..."
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
@InProceedings{PLDI22p577,
author = {Hamed Gorjiara and Weiyu Luo and Alex Lee and Guoqing Harry Xu and Brian Demsky},
title = {Checking Robustness to Weak Persistency Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3519939.3523723},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (260 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Kleene Algebra Modulo Theories: ..."
Kleene Algebra Modulo Theories: A Framework for Concrete KATs
Michael Greenberg, Ryan Beckett, and Eric Campbell
(Stevens Institute of Technology, USA; Microsoft Research, USA; Cornell University, USA)
@InProceedings{PLDI22p703,
author = {Michael Greenberg and Ryan Beckett and Eric Campbell},
title = {Kleene Algebra Modulo Theories: A Framework for Concrete KATs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3519939.3523722},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Deep and Shallow Types for ..."
Deep and Shallow Types for Gradual Languages
Ben Greenman
(Brown University, USA)
@InProceedings{PLDI22p685,
author = {Ben Greenman},
title = {Deep and Shallow Types for Gradual Languages},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {685-684},
doi = {10.1145/3519939.3523430},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "P4BID: Information Flow Control ..."
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, and Justin Hsu
(Cornell University, USA; University of Wisconsin-Madison, USA)
@InProceedings{PLDI22p55,
author = {Karuna Grewal and Loris D'Antoni and Justin Hsu},
title = {P4BID: Information Flow Control in P4},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3519939.3523717},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PaC-Trees: Supporting Parallel ..."
PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, and Yihan Sun
(University of Maryland, USA; Carnegie Mellon University, USA; University of California at Riverside, USA)
@InProceedings{PLDI22p127,
author = {Laxman Dhulipala and Guy E. Blelloch and Yan Gu and Yihan Sun},
title = {PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3519939.3523733},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "ANOSY: Approximated Knowledge ..."
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Galois, USA)
@InProceedings{PLDI22p19,
author = {Sankha Narayan Guria and Niki Vazou and Marco Guarnieri and James Parker},
title = {ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3519939.3523725},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "ANOSY: Approximated Knowledge ..."
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Galois, USA)
@InProceedings{PLDI22p19,
author = {Sankha Narayan Guria and Niki Vazou and Marco Guarnieri and James Parker},
title = {ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3519939.3523725},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Modular Information Flow through ..."
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, and Pat Hanrahan
(Stanford University, USA; University of Trento, Italy)
@InProceedings{PLDI22p1,
author = {Will Crichton and Marco Patrignani and Maneesh Agrawala and Pat Hanrahan},
title = {Modular Information Flow through Ownership},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3519939.3523445},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.6 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Karp: A Language for NP Reductions ..."
Karp: A Language for NP Reductions
Chenhao Zhang, Jason D. Hartline, and Christos Dimoulas
(Northwestern University, USA)
@InProceedings{PLDI22p901,
author = {Chenhao Zhang and Jason D. Hartline and Christos Dimoulas},
title = {Karp: A Language for NP Reductions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3519939.3523732},
year = {2022},
}
Publisher's Version
Artifacts Reusable
PLDI '22: "WARio: Efficient Code Generation ..."
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)
@InProceedings{PLDI22p919,
author = {Vito Kortbeek and Souradip Ghosh and Josiah Hester and Simone Campanoni and Przemysław Pawełczak},
title = {WARio: Efficient Code Generation for Intermittent Computing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3519939.3523454},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Adore: Atomic Distributed ..."
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
@InProceedings{PLDI22p451,
author = {Wolf Honoré and Ji-Yong Shin and Jieung Kim and Zhong Shao},
title = {Adore: Atomic Distributed Objects with Certified Reconfiguration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3519939.3523444},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hamband: RDMA Replicated Data ..."
Hamband: RDMA Replicated Data Types
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{PLDI22p415,
author = {Farzin Houshmand and Javad Saberlatibari and Mohsen Lesani},
title = {Hamband: RDMA Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {415-414},
doi = {10.1145/3519939.3523426},
year = {2022},
}
Publisher's Version
PLDI '22: "P4BID: Information Flow Control ..."
P4BID: Information Flow Control in P4
Karuna Grewal, Loris D'Antoni, and Justin Hsu
(Cornell University, USA; University of Wisconsin-Madison, USA)
@InProceedings{PLDI22p55,
author = {Karuna Grewal and Loris D'Antoni and Justin Hsu},
title = {P4BID: Information Flow Control in P4},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3519939.3523717},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "WebRobot: Web Robotic Process ..."
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)
@InProceedings{PLDI22p181,
author = {Rui Dong and Zhicheng Huang and Ian Iong Lam and Yan Chen and Xinyu Wang},
title = {WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3519939.3523711},
year = {2022},
}
Publisher's Version
PLDI '22: "Sequential Reasoning for Optimizing ..."
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI22p253,
author = {Minki Cho and Sung-Hwan Lee and Dongjae Lee and Chung-Kil Hur and Ori Lahav},
title = {Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3519939.3523718},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Exocompilation for Productive ..."
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
@InProceedings{PLDI22p829,
author = {Yuka Ikarashi and Gilbert Louis Bernstein and Alex Reinking and Hasan Genc and Jonathan Ragan-Kelley},
title = {Exocompilation for Productive Programming of Hardware Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3519939.3523446},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (570 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Relational Compilation for ..."
Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)
@InProceedings{PLDI22p1081,
author = {Clément Pit-Claudel and Jade Philipoom and Dustin Jamner and Andres Erbsen and Adam Chlipala},
title = {Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3519939.3523706},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Deoptless: Speculation with ..."
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
@InProceedings{PLDI22p883,
author = {Olivier Flückiger and Jan Ječmen and Sebastián Krynski and Jan Vitek},
title = {Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3519939.3523729},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "CycleQ: An Efficient Basis ..."
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Eddie Jones, C.-H. Luke Ong, and Steven Ramsay
(University of Bristol, UK; University of Oxford, UK)
@InProceedings{PLDI22p469,
author = {Eddie Jones and C.-H. Luke Ong and Steven Ramsay},
title = {CycleQ: An Efficient Basis for Cyclic Equational Reasoning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3519939.3523731},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "RustHornBelt: A Semantic Foundation ..."
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, and Derek Dreyer
(University of Tokyo, Japan; Université Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; Inria, France; Laboratoire Méthodes Formelles, France; MPI-SWS, Germany)
@InProceedings{PLDI22p991,
author = {Yusuke Matsushita and Xavier Denis and Jacques-Henri Jourdan and Derek Dreyer},
title = {RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3519939.3523704},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "RunTime-Assisted Convergence ..."
RunTime-Assisted Convergence in Replicated Data Types
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko
(University of Colorado Boulder, USA)
@InProceedings{PLDI22p433,
author = {Gowtham Kaki and Prasanth Prahladan and Nicholas V. Lewchenko},
title = {RunTime-Assisted Convergence in Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3519939.3523724},
year = {2022},
}
Publisher's Version
Archive submitted (210 kB)
PLDI '22: "Certified Mergeable Replicated ..."
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan
(IIT Madras, India; NITK Surathkal, India)
@InProceedings{PLDI22p397,
author = {Vimala Soundarapandian and Adharsh Kamath and Kartik Nagar and KC Sivaramakrishnan},
title = {Certified Mergeable Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3519939.3523735},
year = {2022},
}
Publisher's Version
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Leapfrog: Certified Equivalence ..."
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)
@InProceedings{PLDI22p1117,
author = {Ryan Doenges and Tobias Kappé and John Sarracino and Nate Foster and Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3519939.3523715},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Adore: Atomic Distributed ..."
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
@InProceedings{PLDI22p451,
author = {Wolf Honoré and Ji-Yong Shin and Jieung Kim and Zhong Shao},
title = {Adore: Atomic Distributed Objects with Certified Reconfiguration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3519939.3523444},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Autoscheduling for Sparse ..."
Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model
Peter Ahrens, Fredrik Kjolstad, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; Stanford University, USA)
@InProceedings{PLDI22p325,
author = {Peter Ahrens and Fredrik Kjolstad and Saman Amarasinghe},
title = {Autoscheduling for Sparse Tensor Algebra with an Asymptotic Cost Model},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3519939.3523442},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "DISTAL: The Distributed Tensor ..."
DISTAL: The Distributed Tensor Algebra Compiler
Rohan Yadav, Alex Aiken, and Fredrik Kjolstad
(Stanford University, USA)
@InProceedings{PLDI22p343,
author = {Rohan Yadav and Alex Aiken and Fredrik Kjolstad},
title = {DISTAL: The Distributed Tensor Algebra Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3519939.3523437},
year = {2022},
}
Publisher's Version
PLDI '22: "Sound Sequentialization for ..."
Sound Sequentialization for Concurrent Program Verification
Azadeh Farzan, Dominik Klumpp, and Andreas Podelski
(University of Toronto, Canada; University of Freiburg, Germany)
@InProceedings{PLDI22p595,
author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski},
title = {Sound Sequentialization for Concurrent Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3519939.3523727},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.1 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "WARio: Efficient Code Generation ..."
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)
@InProceedings{PLDI22p919,
author = {Vito Kortbeek and Souradip Ghosh and Josiah Hester and Simone Campanoni and Przemysław Pawełczak},
title = {WARio: Efficient Code Generation for Intermittent Computing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3519939.3523454},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Diaframe: Automated Verification ..."
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Ike Mulder, Robbert Krebbers, and Herman Geuvers
(Radboud University Nijmegen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{PLDI22p955,
author = {Ike Mulder and Robbert Krebbers and Herman Geuvers},
title = {Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {955-954},
doi = {10.1145/3519939.3523432},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Deoptless: Speculation with ..."
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
@InProceedings{PLDI22p883,
author = {Olivier Flückiger and Jan Ječmen and Sebastián Krynski and Jan Vitek},
title = {Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3519939.3523729},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Sequential Reasoning for Optimizing ..."
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI22p253,
author = {Minki Cho and Sung-Hwan Lee and Dongjae Lee and Chung-Kil Hur and Ori Lahav},
title = {Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3519939.3523718},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "WebRobot: Web Robotic Process ..."
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)
@InProceedings{PLDI22p181,
author = {Rui Dong and Zhicheng Huang and Ian Iong Lam and Yan Chen and Xinyu Wang},
title = {WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3519939.3523711},
year = {2022},
}
Publisher's Version
PLDI '22: "Computing Correctly with Inductive ..."
Computing Correctly with Inductive Relations
Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos
(Northeastern University, USA; University of Maryland, USA)
@InProceedings{PLDI22p1135,
author = {Zoe Paraskevopoulou and Aaron Eline and Leonidas Lampropoulos},
title = {Computing Correctly with Inductive Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1135-1134},
doi = {10.1145/3519939.3523707},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Checking Robustness to Weak ..."
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
@InProceedings{PLDI22p577,
author = {Hamed Gorjiara and Weiyu Luo and Alex Lee and Guoqing Harry Xu and Brian Demsky},
title = {Checking Robustness to Weak Persistency Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3519939.3523723},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (260 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Sequential Reasoning for Optimizing ..."
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI22p253,
author = {Minki Cho and Sung-Hwan Lee and Dongjae Lee and Chung-Kil Hur and Ori Lahav},
title = {Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3519939.3523718},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Sequential Reasoning for Optimizing ..."
Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency
Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI22p253,
author = {Minki Cho and Sung-Hwan Lee and Dongjae Lee and Chung-Kil Hur and Ori Lahav},
title = {Sequential Reasoning for Optimizing Compilers under Weak Memory Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3519939.3523718},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "Finding the Dwarf: Recovering ..."
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Daniel Lehmann and Michael Pradel
(University of Stuttgart, Germany)
@InProceedings{PLDI22p487,
author = {Daniel Lehmann and Michael Pradel},
title = {Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3519939.3523449},
year = {2022},
}
Publisher's Version
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hamband: RDMA Replicated Data ..."
Hamband: RDMA Replicated Data Types
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{PLDI22p415,
author = {Farzin Houshmand and Javad Saberlatibari and Mohsen Lesani},
title = {Hamband: RDMA Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {415-414},
doi = {10.1145/3519939.3523426},
year = {2022},
}
Publisher's Version
PLDI '22: "Recursion Synthesis with Unrealizability ..."
Recursion Synthesis with Unrealizability Witnesses
Azadeh Farzan, Danya Lette, and Victor Nicolet
(University of Toronto, Canada)
@InProceedings{PLDI22p289,
author = {Azadeh Farzan and Danya Lette and Victor Nicolet},
title = {Recursion Synthesis with Unrealizability Witnesses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3519939.3523726},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "RunTime-Assisted Convergence ..."
RunTime-Assisted Convergence in Replicated Data Types
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko
(University of Colorado Boulder, USA)
@InProceedings{PLDI22p433,
author = {Gowtham Kaki and Prasanth Prahladan and Nicholas V. Lewchenko},
title = {RunTime-Assisted Convergence in Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3519939.3523724},
year = {2022},
}
Publisher's Version
Archive submitted (210 kB)
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Verifying Optimizations of ..."
Verifying Optimizations of Concurrent Programs in the Promising Semantics
Junpeng Zha, Hongjin Liang, and Xinyu Feng
(Nanjing University, China)
@InProceedings{PLDI22p1063,
author = {Junpeng Zha and Hongjin Liang and Xinyu Feng},
title = {Verifying Optimizations of Concurrent Programs in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3519939.3523734},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "Progressive Polynomial Approximations ..."
Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, and Santosh Nagarakatte
(Rutgers University, USA; Yale University, USA)
@InProceedings{PLDI22p649,
author = {Mridul Aanjaneya and Jay P. Lim and Santosh Nagarakatte},
title = {Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3519939.3523447},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Checking Robustness to Weak ..."
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
@InProceedings{PLDI22p577,
author = {Hamed Gorjiara and Weiyu Luo and Alex Lee and Guoqing Harry Xu and Brian Demsky},
title = {Checking Robustness to Weak Persistency Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3519939.3523723},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (260 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "RustHornBelt: A Semantic Foundation ..."
RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code
Yusuke Matsushita, Xavier Denis, Jacques-Henri Jourdan, and Derek Dreyer
(University of Tokyo, Japan; Université Paris-Saclay, France; CNRS, France; ENS Paris-Saclay, France; Inria, France; Laboratoire Méthodes Formelles, France; MPI-SWS, Germany)
@InProceedings{PLDI22p991,
author = {Yusuke Matsushita and Xavier Denis and Jacques-Henri Jourdan and Derek Dreyer},
title = {RustHornBelt: A Semantic Foundation for Functional Verification of Rust Programs with Unsafe Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3519939.3523704},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Low-Latency, High-Throughput ..."
Low-Latency, High-Throughput Garbage Collection
Wenyu Zhao, Stephen M. Blackburn, and Kathryn S. McKinley
(Australian National University, Australia; Google, USA)
@InProceedings{PLDI22p91,
author = {Wenyu Zhao and Stephen M. Blackburn and Kathryn S. McKinley},
title = {Low-Latency, High-Throughput Garbage Collection},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3519939.3523440},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "All You Need Is Superword-Level ..."
All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP
Yishen Chen, Charith Mendis, and Saman Amarasinghe
(Massachusetts Institute of Technology, USA; University of Illinois at Urbana-Champaign, USA)
@InProceedings{PLDI22p361,
author = {Yishen Chen and Charith Mendis and Saman Amarasinghe},
title = {All You Need Is Superword-Level Parallelism: Systematic Control-Flow Vectorization with SLP},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3519939.3523701},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "A Flexible Type System for ..."
A Flexible Type System for Fearless Concurrency
Mae Milano, Joshua Turcotti, and Andrew C. Myers
(University of California at Berkeley, USA; Cornell University, USA)
@InProceedings{PLDI22p541,
author = {Mae Milano and Joshua Turcotti and Andrew C. Myers},
title = {A Flexible Type System for Fearless Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3519939.3523443},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Warping Cache Simulation of ..."
Warping Cache Simulation of Polyhedral Programs
Canberk Morelli and Jan Reineke
(Saarland University, Germany)
@InProceedings{PLDI22p379,
author = {Canberk Morelli and Jan Reineke},
title = {Warping Cache Simulation of Polyhedral Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3519939.3523714},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Leapfrog: Certified Equivalence ..."
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)
@InProceedings{PLDI22p1117,
author = {Ryan Doenges and Tobias Kappé and John Sarracino and Nate Foster and Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3519939.3523715},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Diaframe: Automated Verification ..."
Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris
Ike Mulder, Robbert Krebbers, and Herman Geuvers
(Radboud University Nijmegen, Netherlands; Eindhoven University of Technology, Netherlands)
@InProceedings{PLDI22p955,
author = {Ike Mulder and Robbert Krebbers and Herman Geuvers},
title = {Diaframe: Automated Verification of Fine-Grained Concurrent Programs in Iris},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {955-954},
doi = {10.1145/3519939.3523432},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "A Typed Continuation-Passing ..."
A Typed Continuation-Passing Translation for Lexical Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{PLDI22p667,
author = {Philipp Schuster and Jonathan Immanuel Brachthäuser and Marius Müller and Klaus Ostermann},
title = {A Typed Continuation-Passing Translation for Lexical Effect Handlers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3519939.3523710},
year = {2022},
}
Publisher's Version
PLDI '22: "Semantic Soundness for Language ..."
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)
@InProceedings{PLDI22p721,
author = {Daniel Patterson and Noble Mushtak and Andrew Wagner and Amal Ahmed},
title = {Semantic Soundness for Language Interoperability},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3519939.3523703},
year = {2022},
}
Publisher's Version
PLDI '22: "A Flexible Type System for ..."
A Flexible Type System for Fearless Concurrency
Mae Milano, Joshua Turcotti, and Andrew C. Myers
(University of California at Berkeley, USA; Cornell University, USA)
@InProceedings{PLDI22p541,
author = {Mae Milano and Joshua Turcotti and Andrew C. Myers},
title = {A Flexible Type System for Fearless Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3519939.3523443},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PDL: A High-Level Hardware ..."
PDL: A High-Level Hardware Design Language for Pipelined Processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, and Andrew C. Myers
(Cornell University, USA)
@InProceedings{PLDI22p847,
author = {Drew Zagieboylo and Charles Sherk and Gookwon Edward Suh and Andrew C. Myers},
title = {PDL: A High-Level Hardware Design Language for Pipelined Processors},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3519939.3523455},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Certified Mergeable Replicated ..."
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan
(IIT Madras, India; NITK Surathkal, India)
@InProceedings{PLDI22p397,
author = {Vimala Soundarapandian and Adharsh Kamath and Kartik Nagar and KC Sivaramakrishnan},
title = {Certified Mergeable Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3519939.3523735},
year = {2022},
}
Publisher's Version
PLDI '22: "Progressive Polynomial Approximations ..."
Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries
Mridul Aanjaneya, Jay P. Lim, and Santosh Nagarakatte
(Rutgers University, USA; Yale University, USA)
@InProceedings{PLDI22p649,
author = {Mridul Aanjaneya and Jay P. Lim and Santosh Nagarakatte},
title = {Progressive Polynomial Approximations for Fast Correctly Rounded Math Libraries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3519939.3523447},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Compass: Strong and Compositional ..."
Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic
Hoang-Hai Dang, Jaehwang Jung, Jaemin Choi, Duc-Than Nguyen, William Mansky, Jeehoon Kang, and Derek Dreyer
(MPI-SWS, Germany; KAIST, South Korea; University of Illinois at Chicago, USA)
@InProceedings{PLDI22p937,
author = {Hoang-Hai Dang and Jaehwang Jung and Jaemin Choi and Duc-Than Nguyen and William Mansky and Jeehoon Kang and Derek Dreyer},
title = {Compass: Strong and Compositional Library Specifications in Relaxed Memory Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3519939.3523451},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Recursion Synthesis with Unrealizability ..."
Recursion Synthesis with Unrealizability Witnesses
Azadeh Farzan, Danya Lette, and Victor Nicolet
(University of Toronto, Canada)
@InProceedings{PLDI22p289,
author = {Azadeh Farzan and Danya Lette and Victor Nicolet},
title = {Recursion Synthesis with Unrealizability Witnesses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3519939.3523726},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Bind the Gap: Compiling Real ..."
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{PLDI22p811,
author = {Jackson Woodruff and Jordi Armengol-Estapé and Sam Ainsworth and Michael F. P. O'Boyle},
title = {Bind the Gap: Compiling Real Software to Hardware FFT Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3519939.3523439},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Quickstrom: Property-Based ..."
Quickstrom: Property-Based Acceptance Testing with LTL Specifications
Liam O'Connor and Oskar Wickström
(University of Edinburgh, UK; Monoid Consulting, Sweden)
@InProceedings{PLDI22p1207,
author = {Liam O'Connor and Oskar Wickström},
title = {Quickstrom: Property-Based Acceptance Testing with LTL Specifications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3519939.3523728},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "CycleQ: An Efficient Basis ..."
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Eddie Jones, C.-H. Luke Ong, and Steven Ramsay
(University of Bristol, UK; University of Oxford, UK)
@InProceedings{PLDI22p469,
author = {Eddie Jones and C.-H. Luke Ong and Steven Ramsay},
title = {CycleQ: An Efficient Basis for Cyclic Equational Reasoning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3519939.3523731},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Guaranteed Bounds for Posterior ..."
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Raven Beutner, C.-H. Luke Ong, and Fabian Zaiser
(CISPA, Germany; University of Oxford, UK)
@InProceedings{PLDI22p631,
author = {Raven Beutner and C.-H. Luke Ong and Fabian Zaiser},
title = {Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3519939.3523721},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "A Typed Continuation-Passing ..."
A Typed Continuation-Passing Translation for Lexical Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{PLDI22p667,
author = {Philipp Schuster and Jonathan Immanuel Brachthäuser and Marius Müller and Klaus Ostermann},
title = {A Typed Continuation-Passing Translation for Lexical Effect Handlers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3519939.3523710},
year = {2022},
}
Publisher's Version
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Choosing Mathematical Function ..."
Choosing Mathematical Function Implementations for Speed and Accuracy
Ian Briggs and Pavel Panchekha
(University of Utah, USA)
@InProceedings{PLDI22p613,
author = {Ian Briggs and Pavel Panchekha},
title = {Choosing Mathematical Function Implementations for Speed and Accuracy},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {613-612},
doi = {10.1145/3519939.3523452},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Computing Correctly with Inductive ..."
Computing Correctly with Inductive Relations
Zoe Paraskevopoulou, Aaron Eline, and Leonidas Lampropoulos
(Northeastern University, USA; University of Maryland, USA)
@InProceedings{PLDI22p1135,
author = {Zoe Paraskevopoulou and Aaron Eline and Leonidas Lampropoulos},
title = {Computing Correctly with Inductive Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1135-1134},
doi = {10.1145/3519939.3523707},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "ANOSY: Approximated Knowledge ..."
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Galois, USA)
@InProceedings{PLDI22p19,
author = {Sankha Narayan Guria and Niki Vazou and Marco Guarnieri and James Parker},
title = {ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3519939.3523725},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Modular Information Flow through ..."
Modular Information Flow through Ownership
Will Crichton, Marco Patrignani, Maneesh Agrawala, and Pat Hanrahan
(Stanford University, USA; University of Trento, Italy)
@InProceedings{PLDI22p1,
author = {Will Crichton and Marco Patrignani and Maneesh Agrawala and Pat Hanrahan},
title = {Modular Information Flow through Ownership},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3519939.3523445},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.6 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Semantic Soundness for Language ..."
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)
@InProceedings{PLDI22p721,
author = {Daniel Patterson and Noble Mushtak and Andrew Wagner and Amal Ahmed},
title = {Semantic Soundness for Language Interoperability},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3519939.3523703},
year = {2022},
}
Publisher's Version
PLDI '22: "Efficient Approximations for ..."
Efficient Approximations for Cache-Conscious Data Placement
Ali Ahmadi, Majid Daliri, Amir Kafshdar Goharshady, and Andreas Pavlogiannis
(Sharif University of Technology, Iran; University of Tehran, Iran; Hong Kong University of Science and Technology, China; Aarhus University, Denmark)
@InProceedings{PLDI22p1009,
author = {Ali Ahmadi and Majid Daliri and Amir Kafshdar Goharshady and Andreas Pavlogiannis},
title = {Efficient Approximations for Cache-Conscious Data Placement},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3519939.3523436},
year = {2022},
}
Publisher's Version
PLDI '22: "WARio: Efficient Code Generation ..."
WARio: Efficient Code Generation for Intermittent Computing
Vito Kortbeek, Souradip Ghosh, Josiah Hester, Simone Campanoni, and Przemysław Pawełczak
(Delft University of Technology, Netherlands; Carnegie Mellon University, USA; Northwestern University, USA)
@InProceedings{PLDI22p919,
author = {Vito Kortbeek and Souradip Ghosh and Josiah Hester and Simone Campanoni and Przemysław Pawełczak},
title = {WARio: Efficient Code Generation for Intermittent Computing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3519939.3523454},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Algebraic Reasoning of Quantum ..."
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, and Xiaodi Wu
(University of Maryland, USA; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China)
@InProceedings{PLDI22p775,
author = {Yuxiang Peng and Mingsheng Ying and Xiaodi Wu},
title = {Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3519939.3523713},
year = {2022},
}
Publisher's Version
PLDI '22: "Relational Compilation for ..."
Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)
@InProceedings{PLDI22p1081,
author = {Clément Pit-Claudel and Jade Philipoom and Dustin Jamner and Andres Erbsen and Adam Chlipala},
title = {Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3519939.3523706},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Can Reactive Synthesis and ..."
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
(Columbia University, USA; CISPA, Germany; Yale University, USA)
@InProceedings{PLDI22p271,
author = {Wonhyuk Choi and Bernd Finkbeiner and Ruzica Piskac and Mark Santolucito},
title = {Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3519939.3523429},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Relational Compilation for ..."
Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code
Clément Pit-Claudel, Jade Philipoom, Dustin Jamner, Andres Erbsen, and Adam Chlipala
(EPFL, Switzerland; Amazon AWS, Switzerland; Massachusetts Institute of Technology, USA)
@InProceedings{PLDI22p1081,
author = {Clément Pit-Claudel and Jade Philipoom and Dustin Jamner and Andres Erbsen and Adam Chlipala},
title = {Relational Compilation for Performance-Critical Applications: Extensible Proof-Producing Translation of Functional Models into Low-Level Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3519939.3523706},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Sound Sequentialization for ..."
Sound Sequentialization for Concurrent Program Verification
Azadeh Farzan, Dominik Klumpp, and Andreas Podelski
(University of Toronto, Canada; University of Freiburg, Germany)
@InProceedings{PLDI22p595,
author = {Azadeh Farzan and Dominik Klumpp and Andreas Podelski},
title = {Sound Sequentialization for Concurrent Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3519939.3523727},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (3.1 MB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Interpreter-Guided Differential ..."
Interpreter-Guided Differential JIT Compiler Unit Testing
Guillermo Polito, Stéphane Ducasse, and Pablo Tesone
(University of Lille, France; CNRS, France; Inria, France; Centrale Lille, France; UMR 9189 CRIStAL, France; Pharo Consortium, Argentina)
@InProceedings{PLDI22p1153,
author = {Guillermo Polito and Stéphane Ducasse and Pablo Tesone},
title = {Interpreter-Guided Differential JIT Compiler Unit Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1153-1152},
doi = {10.1145/3519939.3523457},
year = {2022},
}
Publisher's Version
PLDI '22: "Finding the Dwarf: Recovering ..."
Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries
Daniel Lehmann and Michael Pradel
(University of Stuttgart, Germany)
@InProceedings{PLDI22p487,
author = {Daniel Lehmann and Michael Pradel},
title = {Finding the Dwarf: Recovering Precise Types from WebAssembly Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3519939.3523449},
year = {2022},
}
Publisher's Version
PLDI '22: "RunTime-Assisted Convergence ..."
RunTime-Assisted Convergence in Replicated Data Types
Gowtham Kaki, Prasanth Prahladan, and Nicholas V. Lewchenko
(University of Colorado Boulder, USA)
@InProceedings{PLDI22p433,
author = {Gowtham Kaki and Prasanth Prahladan and Nicholas V. Lewchenko},
title = {RunTime-Assisted Convergence in Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3519939.3523724},
year = {2022},
}
Publisher's Version
Archive submitted (210 kB)
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Exocompilation for Productive ..."
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
@InProceedings{PLDI22p829,
author = {Yuka Ikarashi and Gilbert Louis Bernstein and Alex Reinking and Hasan Genc and Jonathan Ragan-Kelley},
title = {Exocompilation for Productive Programming of Hardware Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3519939.3523446},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (570 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Differential Cost Analysis ..."
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
(IST Austria, Austria; University of Colorado Boulder, USA; Amazon, USA; Amazon, UK; Middlesex University, UK)
@InProceedings{PLDI22p523,
author = {Đorđe Žikelić and Bor-Yuh Evan Chang and Pauline Bolignano and Franco Raimondi},
title = {Differential Cost Analysis with Simultaneous Potentials and Anti-potentials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3519939.3523435},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "A Study of Real-World Data ..."
A Study of Real-World Data Races in Golang
Milind Chabbi and Murali Krishna Ramanathan
(Uber Technologies, USA)
@InProceedings{PLDI22p559,
author = {Milind Chabbi and Murali Krishna Ramanathan},
title = {A Study of Real-World Data Races in Golang},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {559-558},
doi = {10.1145/3519939.3523720},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "CycleQ: An Efficient Basis ..."
CycleQ: An Efficient Basis for Cyclic Equational Reasoning
Eddie Jones, C.-H. Luke Ong, and Steven Ramsay
(University of Bristol, UK; University of Oxford, UK)
@InProceedings{PLDI22p469,
author = {Eddie Jones and C.-H. Luke Ong and Steven Ramsay},
title = {CycleQ: An Efficient Basis for Cyclic Equational Reasoning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3519939.3523731},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Abstract Interpretation Repair ..."
Abstract Interpretation Repair
Roberto Bruni, Roberto Giacobazzi, Roberta Gori, and Francesco Ranzato
(University of Pisa, Italy; University of Verona, Italy; University of Padua, Italy)
@InProceedings{PLDI22p505,
author = {Roberto Bruni and Roberto Giacobazzi and Roberta Gori and Francesco Ranzato},
title = {Abstract Interpretation Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3519939.3523453},
year = {2022},
}
Publisher's Version
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Formally Verified Lifting ..."
Formally Verified Lifting of C-Compiled x86-64 Binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, and Binoy Ravindran
(Open University of the Netherlands, Netherlands; Virginia Tech, USA; SUNY Korea, South Korea)
@InProceedings{PLDI22p1099,
author = {Freek Verbeek and Joshua Bockenek and Zhoulai Fu and Binoy Ravindran},
title = {Formally Verified Lifting of C-Compiled x86-64 Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3519939.3523702},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Landmarks and Regions: A Robust ..."
Landmarks and Regions: A Robust Approach to Data Extraction
Suresh Parthasarathy, Lincy Pattanaik, Anirudh Khatry, Arun Iyer, Arjun Radhakrishna, Sriram K. Rajamani, and Mohammad Raza
(Microsoft, UK; Microsoft Research, India; Microsoft, USA)
@InProceedings{PLDI22p1171,
author = {Suresh Parthasarathy and Lincy Pattanaik and Anirudh Khatry and Arun Iyer and Arjun Radhakrishna and Sriram K. Rajamani and Mohammad Raza},
title = {Landmarks and Regions: A Robust Approach to Data Extraction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3519939.3523705},
year = {2022},
}
Publisher's Version
PLDI '22: "Warping Cache Simulation of ..."
Warping Cache Simulation of Polyhedral Programs
Canberk Morelli and Jan Reineke
(Saarland University, Germany)
@InProceedings{PLDI22p379,
author = {Canberk Morelli and Jan Reineke},
title = {Warping Cache Simulation of Polyhedral Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3519939.3523714},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Exocompilation for Productive ..."
Exocompilation for Productive Programming of Hardware Accelerators
Yuka Ikarashi, Gilbert Louis Bernstein, Alex Reinking, Hasan Genc, and Jonathan Ragan-Kelley
(Massachusetts Institute of Technology, USA; University of California at Berkeley, USA)
@InProceedings{PLDI22p829,
author = {Yuka Ikarashi and Gilbert Louis Bernstein and Alex Reinking and Hasan Genc and Jonathan Ragan-Kelley},
title = {Exocompilation for Productive Programming of Hardware Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3519939.3523446},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (570 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Hamband: RDMA Replicated Data ..."
Hamband: RDMA Replicated Data Types
Farzin Houshmand, Javad Saberlatibari, and Mohsen Lesani
(University of California at Riverside, USA)
@InProceedings{PLDI22p415,
author = {Farzin Houshmand and Javad Saberlatibari and Mohsen Lesani},
title = {Hamband: RDMA Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {415-414},
doi = {10.1145/3519939.3523426},
year = {2022},
}
Publisher's Version
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Can Reactive Synthesis and ..."
Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?
Wonhyuk Choi, Bernd Finkbeiner, Ruzica Piskac, and Mark Santolucito
(Columbia University, USA; CISPA, Germany; Yale University, USA)
@InProceedings{PLDI22p271,
author = {Wonhyuk Choi and Bernd Finkbeiner and Ruzica Piskac and Mark Santolucito},
title = {Can Reactive Synthesis and Syntax-Guided Synthesis Be Friends?},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3519939.3523429},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Leapfrog: Certified Equivalence ..."
Leapfrog: Certified Equivalence for Protocol Parsers
Ryan Doenges, Tobias Kappé, John Sarracino, Nate Foster, and Greg Morrisett
(Cornell University, USA; University of Amsterdam, Netherlands)
@InProceedings{PLDI22p1117,
author = {Ryan Doenges and Tobias Kappé and John Sarracino and Nate Foster and Greg Morrisett},
title = {Leapfrog: Certified Equivalence for Protocol Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3519939.3523715},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "A Typed Continuation-Passing ..."
A Typed Continuation-Passing Translation for Lexical Effect Handlers
Philipp Schuster, Jonathan Immanuel Brachthäuser, Marius Müller, and Klaus Ostermann
(University of Tübingen, Germany)
@InProceedings{PLDI22p667,
author = {Philipp Schuster and Jonathan Immanuel Brachthäuser and Marius Müller and Klaus Ostermann},
title = {A Typed Continuation-Passing Translation for Lexical Effect Handlers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3519939.3523710},
year = {2022},
}
Publisher's Version
PLDI '22: "Islaris: Verification of Machine ..."
Islaris: Verification of Machine Code Against Authoritative ISA Semantics
Michael Sammler, Angus Hammond, Rodolphe Lepigre, Brian Campbell, Jean Pichon-Pharabod, Derek Dreyer, Deepak Garg, and Peter Sewell
(MPI-SWS, Germany; University of Cambridge, UK; University of Edinburgh, UK; Aarhus University, Denmark)
@InProceedings{PLDI22p973,
author = {Michael Sammler and Angus Hammond and Rodolphe Lepigre and Brian Campbell and Jean Pichon-Pharabod and Derek Dreyer and Deepak Garg and Peter Sewell},
title = {Islaris: Verification of Machine Code Against Authoritative ISA Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3519939.3523434},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Adore: Atomic Distributed ..."
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
@InProceedings{PLDI22p451,
author = {Wolf Honoré and Ji-Yong Shin and Jieung Kim and Zhong Shao},
title = {Adore: Atomic Distributed Objects with Certified Reconfiguration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3519939.3523444},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PDL: A High-Level Hardware ..."
PDL: A High-Level Hardware Design Language for Pipelined Processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, and Andrew C. Myers
(Cornell University, USA)
@InProceedings{PLDI22p847,
author = {Drew Zagieboylo and Charles Sherk and Gookwon Edward Suh and Andrew C. Myers},
title = {PDL: A High-Level Hardware Design Language for Pipelined Processors},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3519939.3523455},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Adore: Atomic Distributed ..."
Adore: Atomic Distributed Objects with Certified Reconfiguration
Wolf Honoré, Ji-Yong Shin, Jieung Kim, and Zhong Shao
(Yale University, USA; Northeastern University, USA)
@InProceedings{PLDI22p451,
author = {Wolf Honoré and Ji-Yong Shin and Jieung Kim and Zhong Shao},
title = {Adore: Atomic Distributed Objects with Certified Reconfiguration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3519939.3523444},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Certified Mergeable Replicated ..."
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan
(IIT Madras, India; NITK Surathkal, India)
@InProceedings{PLDI22p397,
author = {Vimala Soundarapandian and Adharsh Kamath and Kartik Nagar and KC Sivaramakrishnan},
title = {Certified Mergeable Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3519939.3523735},
year = {2022},
}
Publisher's Version
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Certified Mergeable Replicated ..."
Certified Mergeable Replicated Data Types
Vimala Soundarapandian, Adharsh Kamath, Kartik Nagar, and KC Sivaramakrishnan
(IIT Madras, India; NITK Surathkal, India)
@InProceedings{PLDI22p397,
author = {Vimala Soundarapandian and Adharsh Kamath and Kartik Nagar and KC Sivaramakrishnan},
title = {Certified Mergeable Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3519939.3523735},
year = {2022},
}
Publisher's Version
PLDI '22: "Finding Typing Compiler Bugs ..."
Finding Typing Compiler Bugs
Stefanos Chaliasos, Thodoris Sotiropoulos, Diomidis Spinellis, Arthur Gervais, Benjamin Livshits, and Dimitris Mitropoulos
(Imperial College London, UK; Athens University of Economics and Business, Greece; Delft University of Technology, Netherlands; University of Athens, Greece)
@InProceedings{PLDI22p217,
author = {Stefanos Chaliasos and Thodoris Sotiropoulos and Diomidis Spinellis and Arthur Gervais and Benjamin Livshits and Dimitris Mitropoulos},
title = {Finding Typing Compiler Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3519939.3523427},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Lasagne: A Static Binary Translator ..."
Lasagne: A Static Binary Translator for Weak Memory Model Architectures
Rodrigo C. O. Rocha, Dennis Sprokholt, Martin Fink, Redha Gouicem, Tom Spink, Soham Chakraborty, and Pramod Bhatotia
(University of Edinburgh, UK; Delft University of Technology, Netherlands; TU Munich, Germany; University of St. Andrews, UK)
@InProceedings{PLDI22p1045,
author = {Rodrigo C. O. Rocha and Dennis Sprokholt and Martin Fink and Redha Gouicem and Tom Spink and Soham Chakraborty and Pramod Bhatotia},
title = {Lasagne: A Static Binary Translator for Weak Memory Model Architectures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3519939.3523719},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (930 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "IRDL: An IR Definition Language ..."
IRDL: An IR Definition Language for SSA Compilers
Mathieu Fehr, Jeff Niu, River Riddle, Mehdi Amini, Zhendong Su, and Tobias Grosser
(University of Edinburgh, UK; University of Waterloo, Canada; Modular AI, USA; Google, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI22p235,
author = {Mathieu Fehr and Jeff Niu and River Riddle and Mehdi Amini and Zhendong Su and Tobias Grosser},
title = {IRDL: An IR Definition Language for SSA Compilers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3519939.3523700},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PDL: A High-Level Hardware ..."
PDL: A High-Level Hardware Design Language for Pipelined Processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, and Andrew C. Myers
(Cornell University, USA)
@InProceedings{PLDI22p847,
author = {Drew Zagieboylo and Charles Sherk and Gookwon Edward Suh and Andrew C. Myers},
title = {PDL: A High-Level Hardware Design Language for Pipelined Processors},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3519939.3523455},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PaC-Trees: Supporting Parallel ..."
PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections
Laxman Dhulipala, Guy E. Blelloch, Yan Gu, and Yihan Sun
(University of Maryland, USA; Carnegie Mellon University, USA; University of California at Riverside, USA)
@InProceedings{PLDI22p127,
author = {Laxman Dhulipala and Guy E. Blelloch and Yan Gu and Yihan Sun},
title = {PaC-Trees: Supporting Parallel and Compressed Purely-Functional Collections},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3519939.3523733},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Interpreter-Guided Differential ..."
Interpreter-Guided Differential JIT Compiler Unit Testing
Guillermo Polito, Stéphane Ducasse, and Pablo Tesone
(University of Lille, France; CNRS, France; Inria, France; Centrale Lille, France; UMR 9189 CRIStAL, France; Pharo Consortium, Argentina)
@InProceedings{PLDI22p1153,
author = {Guillermo Polito and Stéphane Ducasse and Pablo Tesone},
title = {Interpreter-Guided Differential JIT Compiler Unit Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1153-1152},
doi = {10.1145/3519939.3523457},
year = {2022},
}
Publisher's Version
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "A Flexible Type System for ..."
A Flexible Type System for Fearless Concurrency
Mae Milano, Joshua Turcotti, and Andrew C. Myers
(University of California at Berkeley, USA; Cornell University, USA)
@InProceedings{PLDI22p541,
author = {Mae Milano and Joshua Turcotti and Andrew C. Myers},
title = {A Flexible Type System for Fearless Concurrency},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3519939.3523443},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "ANOSY: Approximated Knowledge ..."
ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification
Sankha Narayan Guria, Niki Vazou, Marco Guarnieri, and James Parker
(University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Galois, USA)
@InProceedings{PLDI22p19,
author = {Sankha Narayan Guria and Niki Vazou and Marco Guarnieri and James Parker},
title = {ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3519939.3523725},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Hardening Attack Surfaces ..."
Hardening Attack Surfaces with Formally Proven Binary Format Parsers
Nikhil Swamy, Tahina Ramananandro, Aseem Rastogi, Irina Spiridonova, Haobin Ni, Dmitry Malloy, Juan Vazquez, Michael Tang, Omar Cardona, and Arti Gupta
(Microsoft Research, USA; Microsoft Research, India; Cornell University, USA; Microsoft, USA)
@InProceedings{PLDI22p37,
author = {Nikhil Swamy and Tahina Ramananandro and Aseem Rastogi and Irina Spiridonova and Haobin Ni and Dmitry Malloy and Juan Vazquez and Michael Tang and Omar Cardona and Arti Gupta},
title = {Hardening Attack Surfaces with Formally Proven Binary Format Parsers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3519939.3523708},
year = {2022},
}
Publisher's Version
PLDI '22: "Formally Verified Lifting ..."
Formally Verified Lifting of C-Compiled x86-64 Binaries
Freek Verbeek, Joshua Bockenek, Zhoulai Fu, and Binoy Ravindran
(Open University of the Netherlands, Netherlands; Virginia Tech, USA; SUNY Korea, South Korea)
@InProceedings{PLDI22p1099,
author = {Freek Verbeek and Joshua Bockenek and Zhoulai Fu and Binoy Ravindran},
title = {Formally Verified Lifting of C-Compiled x86-64 Binaries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3519939.3523702},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Deoptless: Speculation with ..."
Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations
Olivier Flückiger, Jan Ječmen, Sebastián Krynski, and Jan Vitek
(Northeastern University, USA; Czech Technical University, Czechia)
@InProceedings{PLDI22p883,
author = {Olivier Flückiger and Jan Ječmen and Sebastián Krynski and Jan Vitek},
title = {Deoptless: Speculation with Dispatched On-Stack Replacement and Specialized Continuations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3519939.3523729},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PyLSE: A Pulse-Transfer Level ..."
PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics
Michael Christensen, Georgios Tzimpragos, Harlan Kringen, Jennifer Volk, Timothy Sherwood, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p793,
author = {Michael Christensen and Georgios Tzimpragos and Harlan Kringen and Jennifer Volk and Timothy Sherwood and Ben Hardekopf},
title = {PyLSE: A Pulse-Transfer Level Language for Superconductor Electronics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3519939.3523438},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (810 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Semantic Soundness for Language ..."
Semantic Soundness for Language Interoperability
Daniel Patterson, Noble Mushtak, Andrew Wagner, and Amal Ahmed
(Northeastern University, USA)
@InProceedings{PLDI22p721,
author = {Daniel Patterson and Noble Mushtak and Andrew Wagner and Amal Ahmed},
title = {Semantic Soundness for Language Interoperability},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3519939.3523703},
year = {2022},
}
Publisher's Version
PLDI '22: "Synthesizing Analytical SQL ..."
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, and Chenglong Wang
(University of Washington, USA; University of California at Berkeley, USA; Microsoft Research, USA)
@InProceedings{PLDI22p199,
author = {Xiangyu Zhou and Rastislav Bodik and Alvin Cheung and Chenglong Wang},
title = {Synthesizing Analytical SQL Queries from Computation Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3519939.3523712},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "WebRobot: Web Robotic Process ..."
WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration
Rui Dong, Zhicheng Huang, Ian Iong Lam, Yan Chen, and Xinyu Wang
(University of Michigan, USA; University of Toronto, Canada)
@InProceedings{PLDI22p181,
author = {Rui Dong and Zhicheng Huang and Ian Iong Lam and Yan Chen and Xinyu Wang},
title = {WebRobot: Web Robotic Process Automation using Interactive Programming-by-Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3519939.3523711},
year = {2022},
}
Publisher's Version
PLDI '22: "Turning Manual Concurrent ..."
Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI22p73,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Turning Manual Concurrent Memory Reclamation into Automatic Reference Counting},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3519939.3523730},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Quickstrom: Property-Based ..."
Quickstrom: Property-Based Acceptance Testing with LTL Specifications
Liam O'Connor and Oskar Wickström
(University of Edinburgh, UK; Monoid Consulting, Sweden)
@InProceedings{PLDI22p1207,
author = {Liam O'Connor and Oskar Wickström},
title = {Quickstrom: Property-Based Acceptance Testing with LTL Specifications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3519939.3523728},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Bind the Gap: Compiling Real ..."
Bind the Gap: Compiling Real Software to Hardware FFT Accelerators
Jackson Woodruff, Jordi Armengol-Estapé, Sam Ainsworth, and Michael F. P. O'Boyle
(University of Edinburgh, UK)
@InProceedings{PLDI22p811,
author = {Jackson Woodruff and Jordi Armengol-Estapé and Sam Ainsworth and Michael F. P. O'Boyle},
title = {Bind the Gap: Compiling Real Software to Hardware FFT Accelerators},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3519939.3523439},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Algebraic Reasoning of Quantum ..."
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, and Xiaodi Wu
(University of Maryland, USA; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China)
@InProceedings{PLDI22p775,
author = {Yuxiang Peng and Mingsheng Ying and Xiaodi Wu},
title = {Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3519939.3523713},
year = {2022},
}
Publisher's Version
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "Mako: A Low-Pause, High-Throughput ..."
Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters
Haoran Ma, Shi Liu, Chenxi Wang, Yifan Qiao, Michael D. Bond, Stephen M. Blackburn, Miryung Kim, and Guoqing Harry Xu
(University of California at Los Angeles, USA; Ohio State University, USA; Australian National University, Australia)
@InProceedings{PLDI22p109,
author = {Haoran Ma and Shi Liu and Chenxi Wang and Yifan Qiao and Michael D. Bond and Stephen M. Blackburn and Miryung Kim and Guoqing Harry Xu},
title = {Mako: A Low-Pause, High-Throughput Evacuating Collector for Memory-Disaggregated Datacenters},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3519939.3523441},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '22: "Checking Robustness to Weak ..."
Checking Robustness to Weak Persistency Models
Hamed Gorjiara, Weiyu Luo, Alex Lee, Guoqing Harry Xu, and Brian Demsky
(University of California at Irvine, USA; University of California at Los Angeles, USA)
@InProceedings{PLDI22p577,
author = {Hamed Gorjiara and Weiyu Luo and Alex Lee and Guoqing Harry Xu and Brian Demsky},
title = {Checking Robustness to Weak Persistency Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3519939.3523723},
year = {2022},
}
Publisher's Version
Published Artifact
Archive submitted (260 kB)
Artifacts Available
Artifacts Reusable
PLDI '22: "Quartz: Superoptimization ..."
Quartz: Superoptimization of Quantum Circuits
Mingkuan Xu, Zikun Li, Oded Padon, Sina Lin, Jessica Pointing, Auguste Hirth, Henry Ma, Jens Palsberg, Alex Aiken, Umut A. Acar, and Zhihao Jia
(Carnegie Mellon University, USA; University of California at Los Angeles, USA; VMware Research, USA; Microsoft, USA; University of Oxford, UK; Stanford University, USA)
@InProceedings{PLDI22p739,
author = {Mingkuan Xu and Zikun Li and Oded Padon and Sina Lin and Jessica Pointing and Auguste Hirth and Henry Ma and Jens Palsberg and Alex Aiken and Umut A. Acar and Zhihao Jia},
title = {Quartz: Superoptimization of Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3519939.3523433},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "DISTAL: The Distributed Tensor ..."
DISTAL: The Distributed Tensor Algebra Compiler
Rohan Yadav, Alex Aiken, and Fredrik Kjolstad
(Stanford University, USA)
@InProceedings{PLDI22p343,
author = {Rohan Yadav and Alex Aiken and Fredrik Kjolstad},
title = {DISTAL: The Distributed Tensor Algebra Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3519939.3523437},
year = {2022},
}
Publisher's Version
PLDI '22: "Visualization Question Answering ..."
Visualization Question Answering using Introspective Program Synthesis
Yanju Chen, Xifeng Yan, and Yu Feng
(University of California at Santa Barbara, USA)
@InProceedings{PLDI22p163,
author = {Yanju Chen and Xifeng Yan and Yu Feng},
title = {Visualization Question Answering using Introspective Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3519939.3523709},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Type-Directed Program Synthesis ..."
Type-Directed Program Synthesis for RESTful APIs
Zheng Guo, David Cao, Davin Tjong, Jean Yang, Cole Schlesinger, and Nadia Polikarpova
(University of California at San Diego, USA; Akita Software, USA)
@InProceedings{PLDI22p145,
author = {Zheng Guo and David Cao and Davin Tjong and Jean Yang and Cole Schlesinger and Nadia Polikarpova},
title = {Type-Directed Program Synthesis for RESTful APIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3519939.3523450},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "Giallar: Push-Button Verification ..."
Giallar: Push-Button Verification for the Qiskit Quantum Compiler
Runzhou Tao, Yunong Shi, Jianan Yao, Xupeng Li, Ali Javadi-Abhari, Andrew W. Cross, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; Amazon, USA; IBM Research, USA; University of Chicago, USA)
@InProceedings{PLDI22p757,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and Xupeng Li and Ali Javadi-Abhari and Andrew W. Cross and Frederic T. Chong and Ronghui Gu},
title = {Giallar: Push-Button Verification for the Qiskit Quantum Compiler},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3519939.3523431},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Algebraic Reasoning of Quantum ..."
Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra
Yuxiang Peng, Mingsheng Ying, and Xiaodi Wu
(University of Maryland, USA; Institute of Software at Chinese Academy of Sciences, China; Tsinghua University, China)
@InProceedings{PLDI22p775,
author = {Yuxiang Peng and Mingsheng Ying and Xiaodi Wu},
title = {Algebraic Reasoning of Quantum Programs via Non-idempotent Kleene Algebra},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3519939.3523713},
year = {2022},
}
Publisher's Version
PLDI '22: "Software-Hardware Codesign ..."
Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching
Lingkun Kong, Qixuan Yu, Agnishom Chattopadhyay, Alexis Le Glaunec, Yi Huang, Konstantinos Mamouras, and Kaiyuan Yang
(Rice University, USA)
@InProceedings{PLDI22p865,
author = {Lingkun Kong and Qixuan Yu and Agnishom Chattopadhyay and Alexis Le Glaunec and Yi Huang and Konstantinos Mamouras and Kaiyuan Yang},
title = {Software-Hardware Codesign for Efficient In-Memory Regular Pattern Matching},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3519939.3523456},
year = {2022},
}
Publisher's Version
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "PDL: A High-Level Hardware ..."
PDL: A High-Level Hardware Design Language for Pipelined Processors
Drew Zagieboylo, Charles Sherk, Gookwon Edward Suh, and Andrew C. Myers
(Cornell University, USA)
@InProceedings{PLDI22p847,
author = {Drew Zagieboylo and Charles Sherk and Gookwon Edward Suh and Andrew C. Myers},
title = {PDL: A High-Level Hardware Design Language for Pipelined Processors},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3519939.3523455},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Guaranteed Bounds for Posterior ..."
Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming
Raven Beutner, C.-H. Luke Ong, and Fabian Zaiser
(CISPA, Germany; University of Oxford, UK)
@InProceedings{PLDI22p631,
author = {Raven Beutner and C.-H. Luke Ong and Fabian Zaiser},
title = {Guaranteed Bounds for Posterior Inference in Universal Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3519939.3523721},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "“Synthesizing Input Grammars”: ..."
“Synthesizing Input Grammars”: A Replication Study
Bachir Bendrissou, Rahul Gopinath, and Andreas Zeller
(CISPA, Germany)
@InProceedings{PLDI22p307,
author = {Bachir Bendrissou and Rahul Gopinath and Andreas Zeller},
title = {“Synthesizing Input Grammars”: A Replication Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3519939.3523716},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Verifying Optimizations of ..."
Verifying Optimizations of Concurrent Programs in the Promising Semantics
Junpeng Zha, Hongjin Liang, and Xinyu Feng
(Nanjing University, China)
@InProceedings{PLDI22p1063,
author = {Junpeng Zha and Hongjin Liang and Xinyu Feng},
title = {Verifying Optimizations of Concurrent Programs in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3519939.3523734},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Karp: A Language for NP Reductions ..."
Karp: A Language for NP Reductions
Chenhao Zhang, Jason D. Hartline, and Christos Dimoulas
(Northwestern University, USA)
@InProceedings{PLDI22p901,
author = {Chenhao Zhang and Jason D. Hartline and Christos Dimoulas},
title = {Karp: A Language for NP Reductions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3519939.3523732},
year = {2022},
}
Publisher's Version
Artifacts Reusable
PLDI '22: "Low-Latency, High-Throughput ..."
Low-Latency, High-Throughput Garbage Collection
Wenyu Zhao, Stephen M. Blackburn, and Kathryn S. McKinley
(Australian National University, Australia; Google, USA)
@InProceedings{PLDI22p91,
author = {Wenyu Zhao and Stephen M. Blackburn and Kathryn S. McKinley},
title = {Low-Latency, High-Throughput Garbage Collection},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3519939.3523440},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "FreeTensor: A Free-Form DSL ..."
FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs
Shizhi Tang, Jidong Zhai, Haojie Wang, Lin Jiang, Liyan Zheng, Zhenhao Yuan, and Chen Zhang
(Tsinghua University, China)
@InProceedings{PLDI22p1027,
author = {Shizhi Tang and Jidong Zhai and Haojie Wang and Lin Jiang and Liyan Zheng and Zhenhao Yuan and Chen Zhang},
title = {FreeTensor: A Free-Form DSL with Holistic Optimizations for Irregular Tensor Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3519939.3523448},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Odin: On-Demand Instrumentation ..."
Odin: On-Demand Instrumentation with On-the-Fly Recompilation
Mingzhe Wang, Jie Liang, Chijin Zhou, Zhiyong Wu, Xinyi Xu, and Yu Jiang
(Tsinghua University, China)
@InProceedings{PLDI22p1189,
author = {Mingzhe Wang and Jie Liang and Chijin Zhou and Zhiyong Wu and Xinyi Xu and Yu Jiang},
title = {Odin: On-Demand Instrumentation with On-the-Fly Recompilation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3519939.3523428},
year = {2022},
}
Publisher's Version
PLDI '22: "Synthesizing Analytical SQL ..."
Synthesizing Analytical SQL Queries from Computation Demonstration
Xiangyu Zhou, Rastislav Bodik, Alvin Cheung, and Chenglong Wang
(University of Washington, USA; University of California at Berkeley, USA; Microsoft Research, USA)
@InProceedings{PLDI22p199,
author = {Xiangyu Zhou and Rastislav Bodik and Alvin Cheung and Chenglong Wang},
title = {Synthesizing Analytical SQL Queries from Computation Demonstration},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3519939.3523712},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
PLDI '22: "Differential Cost Analysis ..."
Differential Cost Analysis with Simultaneous Potentials and Anti-potentials
Đorđe Žikelić, Bor-Yuh Evan Chang, Pauline Bolignano, and Franco Raimondi
(IST Austria, Austria; University of Colorado Boulder, USA; Amazon, USA; Amazon, UK; Middlesex University, UK)
@InProceedings{PLDI22p523,
author = {Đorđe Žikelić and Bor-Yuh Evan Chang and Pauline Bolignano and Franco Raimondi},
title = {Differential Cost Analysis with Simultaneous Potentials and Anti-potentials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3519939.3523435},
year = {2022},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional