PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)
@InProceedings{PLDI21p865,
author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C. Myers and Elaine Shi},
title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3453483.3454074},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DNNFusion: Accelerating Deep ..."
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)
@InProceedings{PLDI21p1027,
author = {Wei Niu and Jiexiong Guan and Yanzhi Wang and Gagan Agrawal and Bin Ren},
title = {DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3453483.3454083},
year = {2021},
}
Publisher's Version
PLDI '21: "Adaptive Restarts for Stochastic ..."
Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, and Alex Aiken
(Stanford University, USA; VMware Research, USA)
@InProceedings{PLDI21p811,
author = {Jason R. Koenig and Oded Padon and Alex Aiken},
title = {Adaptive Restarts for Stochastic Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3453483.3454071},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "Compiler-Assisted Object Inlining ..."
Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI21p145,
author = {Rodrigo Bruno and Vojin Jovanovic and Christian Wimmer and Gustavo Alonso},
title = {Compiler-Assisted Object Inlining with Value Fields},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3453483.3454034},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concurrent Deferred Reference ..."
Concurrent Deferred Reference Counting with Constant-Time Overhead
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p613,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Concurrent Deferred Reference Counting with Constant-Time Overhead},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {613-612},
doi = {10.1145/3453483.3454060},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Polynomial Reachability Witnesses ..."
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p901,
author = {Ali Asadi and Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Mohammad Mahdavi},
title = {Polynomial Reachability Witnesses via Stellensätze},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3453483.3454076},
year = {2021},
}
Publisher's Version
PLDI '21: "Fast and Precise Certification ..."
Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p541,
author = {Gregory Bonaert and Dimitar I. Dimitrov and Maximilian Baader and Martin Vechev},
title = {Fast and Precise Certification of Transformers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3453483.3454056},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Wire Sorts: A Language Abstraction ..."
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI21p199,
author = {Michael Christensen and Timothy Sherwood and Jonathan Balkind and Ben Hardekopf},
title = {Wire Sorts: A Language Abstraction for Safe Hardware Composition},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3453483.3454037},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "Frequent Background Polling ..."
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Nilanjana Basu, Claudio Montanari, and Jakob Eriksson
(University of Illinois at Chicago, USA)
@InProceedings{PLDI21p1459,
author = {Nilanjana Basu and Claudio Montanari and Jakob Eriksson},
title = {Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1459-1458},
doi = {10.1145/3453483.3454107},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Compiling Stan to Generative ..."
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)
@InProceedings{PLDI21p577,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Louis Mandel and Avraham Shinnar},
title = {Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3453483.3454058},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Incremental Whole-Program ..."
Incremental Whole-Program Analysis in Datalog with Lattices
Tamás Szabó, Sebastian Erdweg, and Gábor Bergmann
(JGU Mainz, Germany; Workday, Germany; Budapest University of Technology and Economics, Hungary; IncQuery Labs, Hungary)
@InProceedings{PLDI21p1,
author = {Tamás Szabó and Sebastian Erdweg and Gábor Bergmann},
title = {Incremental Whole-Program Analysis in Datalog with Lattices},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3453483.3454026},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "On Probabilistic Termination ..."
On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven Beutner and Luke Ong
(University of Oxford, UK; Saarland University, Germany)
@InProceedings{PLDI21p1531,
author = {Raven Beutner and Luke Ong},
title = {On Probabilistic Termination of Functional Programs with Continuous Distributions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1531-1530},
doi = {10.1145/3453483.3454111},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p253,
author = {Anouk Paradis and Benjamin Bichsel and Samuel Steffen and Martin Vechev},
title = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3453483.3454040},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Robustness Certification with ..."
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p1333,
author = {Matthew Mirman and Alexander Hägele and Pavol Bielik and Timon Gehr and Martin Vechev},
title = {Robustness Certification with Generative Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1333-1332},
doi = {10.1145/3453483.3454100},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Symbolic Boolean Derivatives ..."
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Caleb Stanford, Margus Veanes, and Nikolaj Bjørner
(University of Pennsylvania, USA; Microsoft, USA)
@InProceedings{PLDI21p721,
author = {Caleb Stanford and Margus Veanes and Nikolaj Bjørner},
title = {Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3453483.3454066},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Concurrent Deferred Reference ..."
Concurrent Deferred Reference Counting with Constant-Time Overhead
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p613,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Concurrent Deferred Reference Counting with Constant-Time Overhead},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {613-612},
doi = {10.1145/3453483.3454060},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Fast and Precise Certification ..."
Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p541,
author = {Gregory Bonaert and Dimitar I. Dimitrov and Maximilian Baader and Martin Vechev},
title = {Fast and Precise Certification of Transformers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3453483.3454056},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)
@InProceedings{PLDI21p829,
author = {John Renner and Alex Sanchez-Stern and Fraser Brown and Sorin Lerner and Deian Stefan},
title = {Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3453483.3454072},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Compiler-Assisted Object Inlining ..."
Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI21p145,
author = {Rodrigo Bruno and Vojin Jovanovic and Christian Wimmer and Gustavo Alonso},
title = {Compiler-Assisted Object Inlining with Value Fields},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3453483.3454034},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Compiling Stan to Generative ..."
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)
@InProceedings{PLDI21p577,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Louis Mandel and Avraham Shinnar},
title = {Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3453483.3454058},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Canary: Practical Static Detection ..."
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Yuandao Cai, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1315,
author = {Yuandao Cai and Peisen Yao and Charles Zhang},
title = {Canary: Practical Static Detection of Inter-thread Value-Flow Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1315-1314},
doi = {10.1145/3453483.3454099},
year = {2021},
}
Publisher's Version
PLDI '21: "DIY Assistant: A Multi-modal ..."
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)
@InProceedings{PLDI21p361,
author = {Michael H. Fischer and Giovanni Campagna and Euirim Choi and Monica S. Lam},
title = {DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3453483.3454046},
year = {2021},
}
Publisher's Version
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "CoStar: A Verified ALL(*) ..."
CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)
@InProceedings{PLDI21p487,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {CoStar: A Verified ALL(*) Parser},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3453483.3454053},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Zooid: A DSL for Certified ..."
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)
@InProceedings{PLDI21p271,
author = {David Castro-Perez and Francisco Ferreira and Lorenzo Gheri and Nobuko Yoshida},
title = {Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3453483.3454041},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Reticle: A Virtual Machine ..."
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)
@InProceedings{PLDI21p883,
author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman and Luis Ceze},
title = {Reticle: A Virtual Machine for Programming Modern FPGAs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3453483.3454075},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Demanded Abstract Interpretation ..."
Demanded Abstract Interpretation
Benno Stein, Bor-Yuh Evan Chang, and Manu Sridharan
(University of Colorado at Boulder, USA; Amazon, USA; University of California at Riverside, USA)
@InProceedings{PLDI21p325,
author = {Benno Stein and Bor-Yuh Evan Chang and Manu Sridharan},
title = {Demanded Abstract Interpretation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3453483.3454044},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proving Non-termination by ..."
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)
@InProceedings{PLDI21p1207,
author = {Krishnendu Chatterjee and Ehsan Kafshdar Goharshady and Petr Novotný and Đorđe Žikelić},
title = {Proving Non-termination by Program Reversal},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3453483.3454093},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Quantitative Analysis of Assertion ..."
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1369,
author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1369-1368},
doi = {10.1145/3453483.3454102},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Polynomial Reachability Witnesses ..."
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p901,
author = {Ali Asadi and Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Mohammad Mahdavi},
title = {Polynomial Reachability Witnesses via Stellensätze},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3453483.3454076},
year = {2021},
}
Publisher's Version
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Integration Verification across ..."
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p703,
author = {Andres Erbsen and Samuel Gruetter and Joonwon Choi and Clark Wood and Adam Chlipala},
title = {Integration Verification across Software and Hardware for a Simple Embedded System},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3453483.3454065},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Revamping Hardware Persistency ..."
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)
@InProceedings{PLDI21p19,
author = {Kyeongmin Cho and Sung-Hwan Lee and Azalea Raad and Jeehoon Kang},
title = {Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3453483.3454027},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Modular Data-Race-Freedom ..."
Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI21p1009,
author = {Minki Cho and Sung-Hwan Lee and Chung-Kil Hur and Ori Lahav},
title = {Modular Data-Race-Freedom Guarantees in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3453483.3454082},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "DIY Assistant: A Multi-modal ..."
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)
@InProceedings{PLDI21p361,
author = {Michael H. Fischer and Giovanni Campagna and Euirim Choi and Monica S. Lam},
title = {DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3453483.3454046},
year = {2021},
}
Publisher's Version
PLDI '21: "Integration Verification across ..."
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p703,
author = {Andres Erbsen and Samuel Gruetter and Joonwon Choi and Clark Wood and Adam Chlipala},
title = {Integration Verification across Software and Hardware for a Simple Embedded System},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3453483.3454065},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Wire Sorts: A Language Abstraction ..."
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI21p199,
author = {Michael Christensen and Timothy Sherwood and Jonathan Balkind and Ben Hardekopf},
title = {Wire Sorts: A Language Abstraction for Safe Hardware Composition},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3453483.3454037},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "DeepCuts: A Deep Learning ..."
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Wookeun Jung, Thanh Tuan Dao, and Jaejin Lee
(Seoul National University, South Korea)
@InProceedings{PLDI21p217,
author = {Wookeun Jung and Thanh Tuan Dao and Jaejin Lee},
title = {DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3453483.3454038},
year = {2021},
}
Publisher's Version
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Repairing Serializability ..."
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
@InProceedings{PLDI21p37,
author = {Kia Rahmani and Kartik Nagar and Benjamin Delaware and Suresh Jagannathan},
title = {Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3453483.3454028},
year = {2021},
}
Publisher's Version
PLDI '21: "Perceus: Garbage Free Reference ..."
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)
@InProceedings{PLDI21p109,
author = {Alex Reinking and Ningning Xie and Leonardo de Moura and Daan Leijen},
title = {Perceus: Garbage Free Reference Counting with Reuse},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3453483.3454032},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "Synthesizing Data Structure ..."
Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)
@InProceedings{PLDI21p667,
author = {Shankara Pailoor and Yuepeng Wang and Xinyu Wang and Isil Dillig},
title = {Synthesizing Data Structure Refinements from Integrity Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3453483.3454063},
year = {2021},
}
Publisher's Version
PLDI '21: "Fast and Precise Certification ..."
Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p541,
author = {Gregory Bonaert and Dimitar I. Dimitrov and Maximilian Baader and Martin Vechev},
title = {Fast and Precise Certification of Transformers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3453483.3454056},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Specification Synthesis with ..."
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)
@InProceedings{PLDI21p1405,
author = {Sumanth Prabhu and Grigory Fedyukovich and Kumar Madhukar and Deepak D'Souza},
title = {Specification Synthesis with Constrained Horn Clauses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1405-1404},
doi = {10.1145/3453483.3454104},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)
@InProceedings{PLDI21p1117,
author = {Krzysztof Maziarz and Tom Ellis and Alan Lawrence and Andrew Fitzgibbon and Simon Peyton Jones},
title = {Hashing Modulo Alpha-Equivalence},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3453483.3454088},
year = {2021},
}
Publisher's Version
PLDI '21: "Integration Verification across ..."
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p703,
author = {Andres Erbsen and Samuel Gruetter and Joonwon Choi and Clark Wood and Adam Chlipala},
title = {Integration Verification across Software and Hardware for a Simple Embedded System},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3453483.3454065},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Incremental Whole-Program ..."
Incremental Whole-Program Analysis in Datalog with Lattices
Tamás Szabó, Sebastian Erdweg, and Gábor Bergmann
(JGU Mainz, Germany; Workday, Germany; Budapest University of Technology and Economics, Hungary; IncQuery Labs, Hungary)
@InProceedings{PLDI21p1,
author = {Tamás Szabó and Sebastian Erdweg and Gábor Bergmann},
title = {Incremental Whole-Program Analysis in Datalog with Lattices},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3453483.3454026},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concise, Type-Safe, and Efficient ..."
Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
(JGU Mainz, Germany; Workday, Germany)
@InProceedings{PLDI21p469,
author = {Sebastian Erdweg and Tamás Szabó and André Pacak},
title = {Concise, Type-Safe, and Efficient Structural Diffing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3453483.3454052},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Frequent Background Polling ..."
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Nilanjana Basu, Claudio Montanari, and Jakob Eriksson
(University of Illinois at Chicago, USA)
@InProceedings{PLDI21p1459,
author = {Nilanjana Basu and Claudio Montanari and Jakob Eriksson},
title = {Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1459-1458},
doi = {10.1145/3453483.3454107},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Satisfiability Modulo Ordering ..."
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Fei He, Zhihang Sun, and Hongyu Fan
(Tsinghua University, China)
@InProceedings{PLDI21p1477,
author = {Fei He and Zhihang Sun and Hongyu Fan},
title = {Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1477-1476},
doi = {10.1145/3453483.3454108},
year = {2021},
}
Publisher's Version
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Phased Synthesis of Divide ..."
Phased Synthesis of Divide and Conquer Programs
Azadeh Farzan and Victor Nicolet
(University of Toronto, Canada)
@InProceedings{PLDI21p1135,
author = {Azadeh Farzan and Victor Nicolet},
title = {Phased Synthesis of Divide and Conquer Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1135-1134},
doi = {10.1145/3453483.3454089},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Specification Synthesis with ..."
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)
@InProceedings{PLDI21p1405,
author = {Sumanth Prabhu and Grigory Fedyukovich and Kumar Madhukar and Deepak D'Souza},
title = {Specification Synthesis with Constrained Horn Clauses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1405-1404},
doi = {10.1145/3453483.3454104},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Beyond the Elementary Representations ..."
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, and Grigory Fedyukovich
(St. Petersburg State University, Russia; JetBrains Research, Russia; Florida State University, USA)
@InProceedings{PLDI21p523,
author = {Yurii Kostyukov and Dmitry Mordvinov and Grigory Fedyukovich},
title = {Beyond the Elementary Representations of Program Invariants over Algebraic Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3453483.3454055},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Abstraction for Conflict-Free ..."
Abstraction for Conflict-Free Replicated Data Types
Hongjin Liang and Xinyu Feng
(Nanjing University, China)
@InProceedings{PLDI21p739,
author = {Hongjin Liang and Xinyu Feng},
title = {Abstraction for Conflict-Free Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3453483.3454067},
year = {2021},
}
Publisher's Version
PLDI '21: "Zooid: A DSL for Certified ..."
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)
@InProceedings{PLDI21p271,
author = {David Castro-Perez and Francisco Ferreira and Lorenzo Gheri and Nobuko Yoshida},
title = {Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3453483.3454041},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DIY Assistant: A Multi-modal ..."
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)
@InProceedings{PLDI21p361,
author = {Michael H. Fischer and Giovanni Campagna and Euirim Choi and Monica S. Lam},
title = {DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3453483.3454046},
year = {2021},
}
Publisher's Version
PLDI '21: "CoStar: A Verified ALL(*) ..."
CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)
@InProceedings{PLDI21p487,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {CoStar: A Verified ALL(*) Parser},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3453483.3454053},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)
@InProceedings{PLDI21p1117,
author = {Krzysztof Maziarz and Tom Ellis and Alan Lawrence and Andrew Fitzgibbon and Simon Peyton Jones},
title = {Hashing Modulo Alpha-Equivalence},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3453483.3454088},
year = {2021},
}
Publisher's Version
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "RbSyn: Type- and Effect-Guided ..."
RbSyn: Type- and Effect-Guided Program Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn
(University of Maryland, USA; Tufts University, USA)
@InProceedings{PLDI21p397,
author = {Sankha Narayan Guria and Jeffrey S. Foster and David Van Horn},
title = {RbSyn: Type- and Effect-Guided Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3453483.3454048},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Mirror: Making Lock-Free Data ..."
Mirror: Making Lock-Free Data Structures Persistent
Michal Friedman, Erez Petrank, and Pedro Ramalhete
(Technion, Israel; Cisco Systems, Switzerland)
@InProceedings{PLDI21p1423,
author = {Michal Friedman and Erez Petrank and Pedro Ramalhete},
title = {Mirror: Making Lock-Free Data Structures Persistent},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1423-1422},
doi = {10.1145/3453483.3454105},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Quantitative Analysis of Assertion ..."
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1369,
author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1369-1368},
doi = {10.1145/3453483.3454102},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Polynomial Reachability Witnesses ..."
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p901,
author = {Ali Asadi and Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Mohammad Mahdavi},
title = {Polynomial Reachability Witnesses via Stellensätze},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3453483.3454076},
year = {2021},
}
Publisher's Version
PLDI '21: "Bliss: Auto-tuning Complex ..."
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)
@InProceedings{PLDI21p1495,
author = {Rohan Basu Roy and Tirthak Patel and Vijay Gadepally and Devesh Tiwari},
title = {Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1495-1494},
doi = {10.1145/3453483.3454109},
year = {2021},
}
Publisher's Version
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)
@InProceedings{PLDI21p865,
author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C. Myers and Elaine Shi},
title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3453483.3454074},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Robustness Certification with ..."
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p1333,
author = {Matthew Mirman and Alexander Hägele and Pavol Bielik and Timon Gehr and Martin Vechev},
title = {Robustness Certification with Generative Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1333-1332},
doi = {10.1145/3453483.3454100},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Zooid: A DSL for Certified ..."
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)
@InProceedings{PLDI21p271,
author = {David Castro-Perez and Francisco Ferreira and Lorenzo Gheri and Nobuko Yoshida},
title = {Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3453483.3454041},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Quantitative Analysis of Assertion ..."
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1369,
author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1369-1368},
doi = {10.1145/3453483.3454102},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Polynomial Reachability Witnesses ..."
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p901,
author = {Ali Asadi and Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Mohammad Mahdavi},
title = {Polynomial Reachability Witnesses via Stellensätze},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3453483.3454076},
year = {2021},
}
Publisher's Version
PLDI '21: "Proving Non-termination by ..."
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)
@InProceedings{PLDI21p1207,
author = {Krishnendu Chatterjee and Ehsan Kafshdar Goharshady and Petr Novotný and Đorđe Žikelić},
title = {Proving Non-termination by Program Reversal},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3453483.3454093},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Vectorized Secure Evaluation ..."
Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)
@InProceedings{PLDI21p1225,
author = {Raghav Malik and Vidush Singhal and Benjamin Gottfried and Milind Kulkarni},
title = {Vectorized Secure Evaluation of Decision Forests},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1225-1224},
doi = {10.1145/3453483.3454094},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proof Repair across Type Equivalences ..."
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)
@InProceedings{PLDI21p127,
author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
title = {Proof Repair across Type Equivalences},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3453483.3454033},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Reticle: A Virtual Machine ..."
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)
@InProceedings{PLDI21p883,
author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman and Luis Ceze},
title = {Reticle: A Virtual Machine for Programming Modern FPGAs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3453483.3454075},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Integration Verification across ..."
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p703,
author = {Andres Erbsen and Samuel Gruetter and Joonwon Choi and Clark Wood and Adam Chlipala},
title = {Integration Verification across Software and Hardware for a Simple Embedded System},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3453483.3454065},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concolic Program Repair ..."
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)
@InProceedings{PLDI21p451,
author = {Ridwan Shariffdeen and Yannic Noller and Lars Grunske and Abhik Roychoudhury},
title = {Concolic Program Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3453483.3454051},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "DNNFusion: Accelerating Deep ..."
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)
@InProceedings{PLDI21p1027,
author = {Wei Niu and Jiexiong Guan and Yanzhi Wang and Gagan Agrawal and Bin Ren},
title = {DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3453483.3454083},
year = {2021},
}
Publisher's Version
PLDI '21: "RbSyn: Type- and Effect-Guided ..."
RbSyn: Type- and Effect-Guided Program Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn
(University of Maryland, USA; Tufts University, USA)
@InProceedings{PLDI21p397,
author = {Sankha Narayan Guria and Jeffrey S. Foster and David Van Horn},
title = {RbSyn: Type- and Effect-Guided Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3453483.3454048},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Robustness Certification with ..."
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p1333,
author = {Matthew Mirman and Alexander Hägele and Pavol Bielik and Timon Gehr and Martin Vechev},
title = {Robustness Certification with Generative Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1333-1332},
doi = {10.1145/3453483.3454100},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Wire Sorts: A Language Abstraction ..."
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI21p199,
author = {Michael Christensen and Timothy Sherwood and Jonathan Balkind and Ben Hardekopf},
title = {Wire Sorts: A Language Abstraction for Safe Hardware Composition},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3453483.3454037},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Developer and User-Transparent ..."
Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)
@InProceedings{PLDI21p307,
author = {Paschalis Mpeis and Pavlos Petoumenos and Kim Hazelwood and Hugh Leather},
title = {Developer and User-Transparent Compiler Optimization for Interactive Applications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3453483.3454043},
year = {2021},
}
Publisher's Version
PLDI '21: "Satisfiability Modulo Ordering ..."
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Fei He, Zhihang Sun, and Hongyu Fan
(Tsinghua University, China)
@InProceedings{PLDI21p1477,
author = {Fei He and Zhihang Sun and Hongyu Fan},
title = {Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1477-1476},
doi = {10.1145/3453483.3454108},
year = {2021},
}
Publisher's Version
PLDI '21: "Learning to Find Naming Issues ..."
Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)
@InProceedings{PLDI21p343,
author = {Jingxuan He and Cheng-Chun Lee and Veselin Raychev and Martin Vechev},
title = {Learning to Find Naming Issues with Big Code and Small Supervision},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3453483.3454045},
year = {2021},
}
Publisher's Version
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Compiling Stan to Generative ..."
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)
@InProceedings{PLDI21p577,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Louis Mandel and Avraham Shinnar},
title = {Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3453483.3454058},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Unleashing the Hidden Power ..."
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)
@InProceedings{PLDI21p163,
author = {Xiaolei Ren and Michael Ho and Jiang Ming and Yu Lei and Li Li},
title = {Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3453483.3454035},
year = {2021},
}
Publisher's Version
PLDI '21: "Central Moment Analysis for ..."
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p649,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Central Moment Analysis for Cost Accumulators in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3453483.3454062},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Sound Probabilistic Inference ..."
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p919,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Sound Probabilistic Inference via Guide Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3453483.3454077},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "An Efficient Interpreter for ..."
An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)
@InProceedings{PLDI21p793,
author = {Xiaowen Hu and David Zhao and Herbert Jordan and Bernhard Scholz},
title = {An Efficient Interpreter for Datalog by De-specializing Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3453483.3454070},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Modular Data-Race-Freedom ..."
Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI21p1009,
author = {Minki Cho and Sung-Hwan Lee and Chung-Kil Hur and Ori Lahav},
title = {Modular Data-Race-Freedom Guarantees in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3453483.3454082},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Alive2: Bounded Translation ..."
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)
@InProceedings{PLDI21p73,
author = {Nuno P. Lopes and Juneyoung Lee and Chung-Kil Hur and Zhengyang Liu and John Regehr},
title = {Alive2: Bounded Translation Validation for LLVM},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3453483.3454030},
year = {2021},
}
Publisher's Version
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Cyclic Program Synthesis ..."
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)
@InProceedings{PLDI21p1099,
author = {Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Reuben N. S. Rowe and Ilya Sergey},
title = {Cyclic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3453483.3454087},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Repairing Serializability ..."
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
@InProceedings{PLDI21p37,
author = {Kia Rahmani and Kartik Nagar and Benjamin Delaware and Suresh Jagannathan},
title = {Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3453483.3454028},
year = {2021},
}
Publisher's Version
PLDI '21: "Trace-Based Control-Flow Analysis ..."
Trace-Based Control-Flow Analysis
Benoît Montagu and Thomas Jensen
(Inria, France)
@InProceedings{PLDI21p559,
author = {Benoît Montagu and Thomas Jensen},
title = {Trace-Based Control-Flow Analysis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {559-558},
doi = {10.1145/3453483.3454057},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "SyRust: Automatic Testing ..."
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
@InProceedings{PLDI21p1045,
author = {Yoshiki Takashima and Ruben Martins and Limin Jia and Corina S. Păsăreanu},
title = {SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3453483.3454084},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Automatically Enforcing Fresh ..."
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p991,
author = {Milijana Surbatovich and Limin Jia and Brandon Lucia},
title = {Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3453483.3454081},
year = {2021},
}
Publisher's Version
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "An Efficient Interpreter for ..."
An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)
@InProceedings{PLDI21p793,
author = {Xiaowen Hu and David Zhao and Herbert Jordan and Bernhard Scholz},
title = {An Efficient Interpreter for Datalog by De-specializing Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3453483.3454070},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Compiler-Assisted Object Inlining ..."
Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI21p145,
author = {Rodrigo Bruno and Vojin Jovanovic and Christian Wimmer and Gustavo Alonso},
title = {Compiler-Assisted Object Inlining with Value Fields},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3453483.3454034},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DeepCuts: A Deep Learning ..."
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Wookeun Jung, Thanh Tuan Dao, and Jaejin Lee
(Seoul National University, South Korea)
@InProceedings{PLDI21p217,
author = {Wookeun Jung and Thanh Tuan Dao and Jaejin Lee},
title = {DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3453483.3454038},
year = {2021},
}
Publisher's Version
PLDI '21: "Logical Bytecode Reduction ..."
Logical Bytecode Reduction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA; DTU, Denmark)
@InProceedings{PLDI21p1171,
author = {Christian Gram Kalhauge and Jens Palsberg},
title = {Logical Bytecode Reduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3453483.3454091},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)
@InProceedings{PLDI21p775,
author = {Mahmut Taylan Kandemir and Xulong Tang and Hui Zhao and Jihyun Ryoo and Mustafa Karakoy},
title = {Distance-in-Time versus Distance-in-Space},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3453483.3454069},
year = {2021},
}
Publisher's Version
PLDI '21: "Revamping Hardware Persistency ..."
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)
@InProceedings{PLDI21p19,
author = {Kyeongmin Cho and Sung-Hwan Lee and Azalea Raad and Jeehoon Kang},
title = {Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3453483.3454027},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)
@InProceedings{PLDI21p775,
author = {Mahmut Taylan Kandemir and Xulong Tang and Hui Zhao and Jihyun Ryoo and Mustafa Karakoy},
title = {Distance-in-Time versus Distance-in-Space},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3453483.3454069},
year = {2021},
}
Publisher's Version
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Termination Analysis without ..."
Termination Analysis without the Tears
Shaowei Zhu and Zachary Kincaid
(Princeton University, USA)
@InProceedings{PLDI21p1513,
author = {Shaowei Zhu and Zachary Kincaid},
title = {Termination Analysis without the Tears},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1513-1512},
doi = {10.1145/3453483.3454110},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Adaptive Restarts for Stochastic ..."
Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, and Alex Aiken
(Stanford University, USA; VMware Research, USA)
@InProceedings{PLDI21p811,
author = {Jason R. Koenig and Oded Padon and Alex Aiken},
title = {Adaptive Restarts for Stochastic Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3453483.3454071},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "CompCertO: Compiling Certified ..."
CompCertO: Compiling Certified Open C Components
Jérémie Koenig and Zhong Shao
(Yale University, USA)
@InProceedings{PLDI21p1279,
author = {Jérémie Koenig and Zhong Shao},
title = {CompCertO: Compiling Certified Open C Components},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1279-1278},
doi = {10.1145/3453483.3454097},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Beyond the Elementary Representations ..."
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, and Grigory Fedyukovich
(St. Petersburg State University, Russia; JetBrains Research, Russia; Florida State University, USA)
@InProceedings{PLDI21p523,
author = {Yurii Kostyukov and Dmitry Mordvinov and Grigory Fedyukovich},
title = {Beyond the Elementary Representations of Program Invariants over Algebraic Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3453483.3454055},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Vectorized Secure Evaluation ..."
Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)
@InProceedings{PLDI21p1225,
author = {Raghav Malik and Vidush Singhal and Benjamin Gottfried and Milind Kulkarni},
title = {Vectorized Secure Evaluation of Decision Forests},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1225-1224},
doi = {10.1145/3453483.3454094},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Practical Smart Contract Sharding ..."
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
George Pîrlea, Amrit Kumar, and Ilya Sergey
(National University of Singapore, Singapore; Zilliqa Research, UK; Yale-NUS College, Singapore)
@InProceedings{PLDI21p1549,
author = {George Pîrlea and Amrit Kumar and Ilya Sergey},
title = {Practical Smart Contract Sharding with Ownership and Commutativity Analysis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1549-1548},
doi = {10.1145/3453483.3454112},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Modular Data-Race-Freedom ..."
Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI21p1009,
author = {Minki Cho and Sung-Hwan Lee and Chung-Kil Hur and Ori Lahav},
title = {Modular Data-Race-Freedom Guarantees in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3453483.3454082},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "DIY Assistant: A Multi-modal ..."
DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant
Michael H. Fischer, Giovanni Campagna, Euirim Choi, and Monica S. Lam
(Stanford University, USA)
@InProceedings{PLDI21p361,
author = {Michael H. Fischer and Giovanni Campagna and Euirim Choi and Monica S. Lam},
title = {DIY Assistant: A Multi-modal End-User Programmable Virtual Assistant},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {361-360},
doi = {10.1145/3453483.3454046},
year = {2021},
}
Publisher's Version
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "CoStar: A Verified ALL(*) ..."
CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)
@InProceedings{PLDI21p487,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {CoStar: A Verified ALL(*) Parser},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3453483.3454053},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)
@InProceedings{PLDI21p1117,
author = {Krzysztof Maziarz and Tom Ellis and Alan Lawrence and Andrew Fitzgibbon and Simon Peyton Jones},
title = {Hashing Modulo Alpha-Equivalence},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3453483.3454088},
year = {2021},
}
Publisher's Version
PLDI '21: "Developer and User-Transparent ..."
Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)
@InProceedings{PLDI21p307,
author = {Paschalis Mpeis and Pavlos Petoumenos and Kim Hazelwood and Hugh Leather},
title = {Developer and User-Transparent Compiler Optimization for Interactive Applications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3453483.3454043},
year = {2021},
}
Publisher's Version
PLDI '21: "Learning to Find Naming Issues ..."
Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)
@InProceedings{PLDI21p343,
author = {Jingxuan He and Cheng-Chun Lee and Veselin Raychev and Martin Vechev},
title = {Learning to Find Naming Issues with Big Code and Small Supervision},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3453483.3454045},
year = {2021},
}
Publisher's Version
PLDI '21: "DeepCuts: A Deep Learning ..."
DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads
Wookeun Jung, Thanh Tuan Dao, and Jaejin Lee
(Seoul National University, South Korea)
@InProceedings{PLDI21p217,
author = {Wookeun Jung and Thanh Tuan Dao and Jaejin Lee},
title = {DeepCuts: A Deep Learning Optimization Framework for Versatile GPU Workloads},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {217-216},
doi = {10.1145/3453483.3454038},
year = {2021},
}
Publisher's Version
PLDI '21: "Alive2: Bounded Translation ..."
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)
@InProceedings{PLDI21p73,
author = {Nuno P. Lopes and Juneyoung Lee and Chung-Kil Hur and Zhengyang Liu and John Regehr},
title = {Alive2: Bounded Translation Validation for LLVM},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3453483.3454030},
year = {2021},
}
Publisher's Version
PLDI '21: "Modular Data-Race-Freedom ..."
Modular Data-Race-Freedom Guarantees in the Promising Semantics
Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, and Ori Lahav
(Seoul National University, South Korea; Tel Aviv University, Israel)
@InProceedings{PLDI21p1009,
author = {Minki Cho and Sung-Hwan Lee and Chung-Kil Hur and Ori Lahav},
title = {Modular Data-Race-Freedom Guarantees in the Promising Semantics},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1009-1008},
doi = {10.1145/3453483.3454082},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Revamping Hardware Persistency ..."
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)
@InProceedings{PLDI21p19,
author = {Kyeongmin Cho and Sung-Hwan Lee and Azalea Raad and Jeehoon Kang},
title = {Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3453483.3454027},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "Unleashing the Hidden Power ..."
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)
@InProceedings{PLDI21p163,
author = {Xiaolei Ren and Michael Ho and Jiang Ming and Yu Lei and Li Li},
title = {Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3453483.3454035},
year = {2021},
}
Publisher's Version
PLDI '21: "Perceus: Garbage Free Reference ..."
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)
@InProceedings{PLDI21p109,
author = {Alex Reinking and Ningning Xie and Leonardo de Moura and Daan Leijen},
title = {Perceus: Garbage Free Reference Counting with Reuse},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3453483.3454032},
year = {2021},
}
Publisher's Version
PLDI '21: "Proof Repair across Type Equivalences ..."
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)
@InProceedings{PLDI21p127,
author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
title = {Proof Repair across Type Equivalences},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3453483.3454033},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)
@InProceedings{PLDI21p829,
author = {John Renner and Alex Sanchez-Stern and Fraser Brown and Sorin Lerner and Deian Stefan},
title = {Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3453483.3454072},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Unleashing the Hidden Power ..."
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)
@InProceedings{PLDI21p163,
author = {Xiaolei Ren and Michael Ho and Jiang Ming and Yu Lei and Li Li},
title = {Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3453483.3454035},
year = {2021},
}
Publisher's Version
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Abstraction for Conflict-Free ..."
Abstraction for Conflict-Free Replicated Data Types
Hongjin Liang and Xinyu Feng
(Nanjing University, China)
@InProceedings{PLDI21p739,
author = {Hongjin Liang and Xinyu Feng},
title = {Abstraction for Conflict-Free Replicated Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {739-738},
doi = {10.1145/3453483.3454067},
year = {2021},
}
Publisher's Version
PLDI '21: "High Performance Correctly ..."
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim and Santosh Nagarakatte
(Rutgers University, USA)
@InProceedings{PLDI21p415,
author = {Jay P. Lim and Santosh Nagarakatte},
title = {High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {415-414},
doi = {10.1145/3453483.3454049},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Alive2: Bounded Translation ..."
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)
@InProceedings{PLDI21p73,
author = {Nuno P. Lopes and Juneyoung Lee and Chung-Kil Hur and Zhengyang Liu and John Regehr},
title = {Alive2: Bounded Translation Validation for LLVM},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3453483.3454030},
year = {2021},
}
Publisher's Version
PLDI '21: "Alive2: Bounded Translation ..."
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)
@InProceedings{PLDI21p73,
author = {Nuno P. Lopes and Juneyoung Lee and Chung-Kil Hur and Zhengyang Liu and John Regehr},
title = {Alive2: Bounded Translation Validation for LLVM},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3453483.3454030},
year = {2021},
}
Publisher's Version
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "Automatically Enforcing Fresh ..."
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p991,
author = {Milijana Surbatovich and Limin Jia and Brandon Lucia},
title = {Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3453483.3454081},
year = {2021},
}
Publisher's Version
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Specification Synthesis with ..."
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)
@InProceedings{PLDI21p1405,
author = {Sumanth Prabhu and Grigory Fedyukovich and Kumar Madhukar and Deepak D'Souza},
title = {Specification Synthesis with Constrained Horn Clauses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1405-1404},
doi = {10.1145/3453483.3454104},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Polynomial Reachability Witnesses ..."
Polynomial Reachability Witnesses via Stellensätze
Ali Asadi, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi
(Sharif University of Technology, Iran; IST Austria, Austria; Shanghai Jiao Tong University, China; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p901,
author = {Ali Asadi and Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Mohammad Mahdavi},
title = {Polynomial Reachability Witnesses via Stellensätze},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {901-900},
doi = {10.1145/3453483.3454076},
year = {2021},
}
Publisher's Version
PLDI '21: "Vectorized Secure Evaluation ..."
Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)
@InProceedings{PLDI21p1225,
author = {Raghav Malik and Vidush Singhal and Benjamin Gottfried and Milind Kulkarni},
title = {Vectorized Secure Evaluation of Decision Forests},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1225-1224},
doi = {10.1145/3453483.3454094},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Compiling Stan to Generative ..."
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)
@InProceedings{PLDI21p577,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Louis Mandel and Avraham Shinnar},
title = {Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3453483.3454058},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "SPPL: Probabilistic Programming ..."
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p937,
author = {Feras A. Saad and Martin C. Rinard and Vikash K. Mansinghka},
title = {SPPL: Probabilistic Programming with Fast Exact Symbolic Inference},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3453483.3454078},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "SyRust: Automatic Testing ..."
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
@InProceedings{PLDI21p1045,
author = {Yoshiki Takashima and Ruben Martins and Limin Jia and Corina S. Păsăreanu},
title = {SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3453483.3454084},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)
@InProceedings{PLDI21p1117,
author = {Krzysztof Maziarz and Tom Ellis and Alan Lawrence and Andrew Fitzgibbon and Simon Peyton Jones},
title = {Hashing Modulo Alpha-Equivalence},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3453483.3454088},
year = {2021},
}
Publisher's Version
PLDI '21: "Reticle: A Virtual Machine ..."
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)
@InProceedings{PLDI21p883,
author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman and Luis Ceze},
title = {Reticle: A Virtual Machine for Programming Modern FPGAs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3453483.3454075},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Unleashing the Hidden Power ..."
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)
@InProceedings{PLDI21p163,
author = {Xiaolei Ren and Michael Ho and Jiang Ming and Yu Lei and Li Li},
title = {Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3453483.3454035},
year = {2021},
}
Publisher's Version
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Robustness Certification with ..."
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p1333,
author = {Matthew Mirman and Alexander Hägele and Pavol Bielik and Timon Gehr and Martin Vechev},
title = {Robustness Certification with Generative Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1333-1332},
doi = {10.1145/3453483.3454100},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Trace-Based Control-Flow Analysis ..."
Trace-Based Control-Flow Analysis
Benoît Montagu and Thomas Jensen
(Inria, France)
@InProceedings{PLDI21p559,
author = {Benoît Montagu and Thomas Jensen},
title = {Trace-Based Control-Flow Analysis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {559-558},
doi = {10.1145/3453483.3454057},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Frequent Background Polling ..."
Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts
Nilanjana Basu, Claudio Montanari, and Jakob Eriksson
(University of Illinois at Chicago, USA)
@InProceedings{PLDI21p1459,
author = {Nilanjana Basu and Claudio Montanari and Jakob Eriksson},
title = {Frequent Background Polling on a Shared Thread, using Light-Weight Compiler Interrupts},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1459-1458},
doi = {10.1145/3453483.3454107},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Beyond the Elementary Representations ..."
Beyond the Elementary Representations of Program Invariants over Algebraic Data Types
Yurii Kostyukov, Dmitry Mordvinov, and Grigory Fedyukovich
(St. Petersburg State University, Russia; JetBrains Research, Russia; Florida State University, USA)
@InProceedings{PLDI21p523,
author = {Yurii Kostyukov and Dmitry Mordvinov and Grigory Fedyukovich},
title = {Beyond the Elementary Representations of Program Invariants over Algebraic Data Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {523-522},
doi = {10.1145/3453483.3454055},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Reverse Engineering for Reduction ..."
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Akimasa Morihata and Shigeyuki Sato
(University of Tokyo, Japan)
@InProceedings{PLDI21p955,
author = {Akimasa Morihata and Shigeyuki Sato},
title = {Reverse Engineering for Reduction Parallelization via Semiring Polynomials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {955-954},
doi = {10.1145/3453483.3454079},
year = {2021},
}
Publisher's Version
Artifacts Reusable
Artifacts Functional
PLDI '21: "Developer and User-Transparent ..."
Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)
@InProceedings{PLDI21p307,
author = {Paschalis Mpeis and Pavlos Petoumenos and Kim Hazelwood and Hugh Leather},
title = {Developer and User-Transparent Compiler Optimization for Interactive Applications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3453483.3454043},
year = {2021},
}
Publisher's Version
PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)
@InProceedings{PLDI21p865,
author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C. Myers and Elaine Shi},
title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3453483.3454074},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Repairing Serializability ..."
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
@InProceedings{PLDI21p37,
author = {Kia Rahmani and Kartik Nagar and Benjamin Delaware and Suresh Jagannathan},
title = {Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3453483.3454028},
year = {2021},
}
Publisher's Version
PLDI '21: "High Performance Correctly ..."
High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations
Jay P. Lim and Santosh Nagarakatte
(Rutgers University, USA)
@InProceedings{PLDI21p415,
author = {Jay P. Lim and Santosh Nagarakatte},
title = {High Performance Correctly Rounded Math Libraries for 32-bit Floating Point Representations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {415-414},
doi = {10.1145/3453483.3454049},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Phased Synthesis of Divide ..."
Phased Synthesis of Divide and Conquer Programs
Azadeh Farzan and Victor Nicolet
(University of Toronto, Canada)
@InProceedings{PLDI21p1135,
author = {Azadeh Farzan and Victor Nicolet},
title = {Phased Synthesis of Divide and Conquer Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1135-1134},
doi = {10.1145/3453483.3454089},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Snapshot-Free, Transparent, ..."
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Ruslan Nikolaev and Binoy Ravindran
(Virginia Tech, USA)
@InProceedings{PLDI21p1153,
author = {Ruslan Nikolaev and Binoy Ravindran},
title = {Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1153-1152},
doi = {10.1145/3453483.3454090},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DNNFusion: Accelerating Deep ..."
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)
@InProceedings{PLDI21p1027,
author = {Wei Niu and Jiexiong Guan and Yanzhi Wang and Gagan Agrawal and Bin Ren},
title = {DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3453483.3454083},
year = {2021},
}
Publisher's Version
PLDI '21: "Concolic Program Repair ..."
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)
@InProceedings{PLDI21p451,
author = {Ridwan Shariffdeen and Yannic Noller and Lars Grunske and Abhik Roychoudhury},
title = {Concolic Program Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3453483.3454051},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proving Non-termination by ..."
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)
@InProceedings{PLDI21p1207,
author = {Krishnendu Chatterjee and Ehsan Kafshdar Goharshady and Petr Novotný and Đorđe Žikelić},
title = {Proving Non-termination by Program Reversal},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3453483.3454093},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "On Probabilistic Termination ..."
On Probabilistic Termination of Functional Programs with Continuous Distributions
Raven Beutner and Luke Ong
(University of Oxford, UK; Saarland University, Germany)
@InProceedings{PLDI21p1531,
author = {Raven Beutner and Luke Ong},
title = {On Probabilistic Termination of Functional Programs with Continuous Distributions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1531-1530},
doi = {10.1145/3453483.3454111},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concise, Type-Safe, and Efficient ..."
Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
(JGU Mainz, Germany; Workday, Germany)
@InProceedings{PLDI21p469,
author = {Sebastian Erdweg and Tamás Szabó and André Pacak},
title = {Concise, Type-Safe, and Efficient Structural Diffing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3453483.3454052},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Adaptive Restarts for Stochastic ..."
Adaptive Restarts for Stochastic Synthesis
Jason R. Koenig, Oded Padon, and Alex Aiken
(Stanford University, USA; VMware Research, USA)
@InProceedings{PLDI21p811,
author = {Jason R. Koenig and Oded Padon and Alex Aiken},
title = {Adaptive Restarts for Stochastic Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {811-810},
doi = {10.1145/3453483.3454071},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Synthesizing Data Structure ..."
Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)
@InProceedings{PLDI21p667,
author = {Shankara Pailoor and Yuepeng Wang and Xinyu Wang and Isil Dillig},
title = {Synthesizing Data Structure Refinements from Integrity Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3453483.3454063},
year = {2021},
}
Publisher's Version
PLDI '21: "Logical Bytecode Reduction ..."
Logical Bytecode Reduction
Christian Gram Kalhauge and Jens Palsberg
(University of California at Los Angeles, USA; DTU, Denmark)
@InProceedings{PLDI21p1171,
author = {Christian Gram Kalhauge and Jens Palsberg},
title = {Logical Bytecode Reduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1171-1170},
doi = {10.1145/3453483.3454091},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Quantum Abstract Interpretation ..."
Quantum Abstract Interpretation
Nengkun Yu and Jens Palsberg
(University of Technology Sydney, Australia; University of California at Los Angeles, USA)
@InProceedings{PLDI21p631,
author = {Nengkun Yu and Jens Palsberg},
title = {Quantum Abstract Interpretation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3453483.3454061},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p253,
author = {Anouk Paradis and Benjamin Bichsel and Samuel Steffen and Martin Vechev},
title = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3453483.3454040},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "SyRust: Automatic Testing ..."
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
@InProceedings{PLDI21p1045,
author = {Yoshiki Takashima and Ruben Martins and Limin Jia and Corina S. Păsăreanu},
title = {SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3453483.3454084},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Bliss: Auto-tuning Complex ..."
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)
@InProceedings{PLDI21p1495,
author = {Rohan Basu Roy and Tirthak Patel and Vijay Gadepally and Devesh Tiwari},
title = {Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1495-1494},
doi = {10.1145/3453483.3454109},
year = {2021},
}
Publisher's Version
PLDI '21: "Cyclic Program Synthesis ..."
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)
@InProceedings{PLDI21p1099,
author = {Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Reuben N. S. Rowe and Ilya Sergey},
title = {Cyclic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3453483.3454087},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Developer and User-Transparent ..."
Developer and User-Transparent Compiler Optimization for Interactive Applications
Paschalis Mpeis, Pavlos Petoumenos, Kim Hazelwood, and Hugh Leather
(University of Edinburgh, UK; University of Manchester, UK; Facebook, USA)
@InProceedings{PLDI21p307,
author = {Paschalis Mpeis and Pavlos Petoumenos and Kim Hazelwood and Hugh Leather},
title = {Developer and User-Transparent Compiler Optimization for Interactive Applications},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {307-306},
doi = {10.1145/3453483.3454043},
year = {2021},
}
Publisher's Version
PLDI '21: "Mirror: Making Lock-Free Data ..."
Mirror: Making Lock-Free Data Structures Persistent
Michal Friedman, Erez Petrank, and Pedro Ramalhete
(Technion, Israel; Cisco Systems, Switzerland)
@InProceedings{PLDI21p1423,
author = {Michal Friedman and Erez Petrank and Pedro Ramalhete},
title = {Mirror: Making Lock-Free Data Structures Persistent},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1423-1422},
doi = {10.1145/3453483.3454105},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Hashing Modulo Alpha-Equivalence ..."
Hashing Modulo Alpha-Equivalence
Krzysztof Maziarz, Tom Ellis, Alan Lawrence, Andrew Fitzgibbon, and Simon Peyton Jones
(Microsoft Research, UK)
@InProceedings{PLDI21p1117,
author = {Krzysztof Maziarz and Tom Ellis and Alan Lawrence and Andrew Fitzgibbon and Simon Peyton Jones},
title = {Hashing Modulo Alpha-Equivalence},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1117-1116},
doi = {10.1145/3453483.3454088},
year = {2021},
}
Publisher's Version
PLDI '21: "Practical Smart Contract Sharding ..."
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
George Pîrlea, Amrit Kumar, and Ilya Sergey
(National University of Singapore, Singapore; Zilliqa Research, UK; Yale-NUS College, Singapore)
@InProceedings{PLDI21p1549,
author = {George Pîrlea and Amrit Kumar and Ilya Sergey},
title = {Practical Smart Contract Sharding with Ownership and Commutativity Analysis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1549-1548},
doi = {10.1145/3453483.3454112},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Cyclic Program Synthesis ..."
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)
@InProceedings{PLDI21p1099,
author = {Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Reuben N. S. Rowe and Ilya Sergey},
title = {Cyclic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3453483.3454087},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proof Repair across Type Equivalences ..."
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)
@InProceedings{PLDI21p127,
author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
title = {Proof Repair across Type Equivalences},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3453483.3454033},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Specification Synthesis with ..."
Specification Synthesis with Constrained Horn Clauses
Sumanth Prabhu, Grigory Fedyukovich, Kumar Madhukar, and Deepak D'Souza
(TCS Research, India; Florida State University, USA; IISc Bangalore, India)
@InProceedings{PLDI21p1405,
author = {Sumanth Prabhu and Grigory Fedyukovich and Kumar Madhukar and Deepak D'Souza},
title = {Specification Synthesis with Constrained Horn Clauses},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1405-1404},
doi = {10.1145/3453483.3454104},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Revamping Hardware Persistency ..."
Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8
Kyeongmin Cho, Sung-Hwan Lee, Azalea Raad, and Jeehoon Kang
(KAIST, South Korea; Seoul National University, South Korea; Imperial College London, UK)
@InProceedings{PLDI21p19,
author = {Kyeongmin Cho and Sung-Hwan Lee and Azalea Raad and Jeehoon Kang},
title = {Revamping Hardware Persistency Models: View-Based and Axiomatic Persistency Models for Intel-x86 and Armv8},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {19-18},
doi = {10.1145/3453483.3454027},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Repairing Serializability ..."
Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring
Kia Rahmani, Kartik Nagar, Benjamin Delaware, and Suresh Jagannathan
(Purdue University, USA; IIT Madras, India)
@InProceedings{PLDI21p37,
author = {Kia Rahmani and Kartik Nagar and Benjamin Delaware and Suresh Jagannathan},
title = {Repairing Serializability Bugs in Distributed Database Programs via Automated Schema Refactoring},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {37-36},
doi = {10.1145/3453483.3454028},
year = {2021},
}
Publisher's Version
PLDI '21: "Task Parallel Assembly Language ..."
Task Parallel Assembly Language for Uncompromising Parallelism
Mike Rainey, Ryan R. Newton, Kyle Hale, Nikos Hardavellas, Simone Campanoni, Peter Dinda, and Umut A. Acar
(Carnegie Mellon University, USA; Facebook, USA; Illinois Institute of Technology, USA; Northwestern University, USA)
@InProceedings{PLDI21p1243,
author = {Mike Rainey and Ryan R. Newton and Kyle Hale and Nikos Hardavellas and Simone Campanoni and Peter Dinda and Umut A. Acar},
title = {Task Parallel Assembly Language for Uncompromising Parallelism},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1243-1242},
doi = {10.1145/3453483.3460969},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Mirror: Making Lock-Free Data ..."
Mirror: Making Lock-Free Data Structures Persistent
Michal Friedman, Erez Petrank, and Pedro Ramalhete
(Technion, Israel; Cisco Systems, Switzerland)
@InProceedings{PLDI21p1423,
author = {Michal Friedman and Erez Petrank and Pedro Ramalhete},
title = {Mirror: Making Lock-Free Data Structures Persistent},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1423-1422},
doi = {10.1145/3453483.3454105},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Snapshot-Free, Transparent, ..."
Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures
Ruslan Nikolaev and Binoy Ravindran
(Virginia Tech, USA)
@InProceedings{PLDI21p1153,
author = {Ruslan Nikolaev and Binoy Ravindran},
title = {Snapshot-Free, Transparent, and Robust Memory Reclamation for Lock-Free Data Structures},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1153-1152},
doi = {10.1145/3453483.3454090},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Learning to Find Naming Issues ..."
Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)
@InProceedings{PLDI21p343,
author = {Jingxuan He and Cheng-Chun Lee and Veselin Raychev and Martin Vechev},
title = {Learning to Find Naming Issues with Big Code and Small Supervision},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3453483.3454045},
year = {2021},
}
Publisher's Version
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)
@InProceedings{PLDI21p865,
author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C. Myers and Elaine Shi},
title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3453483.3454074},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Alive2: Bounded Translation ..."
Alive2: Bounded Translation Validation for LLVM
Nuno P. Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
(Microsoft Research, UK; Seoul National University, South Korea; University of Utah, USA)
@InProceedings{PLDI21p73,
author = {Nuno P. Lopes and Juneyoung Lee and Chung-Kil Hur and Zhengyang Liu and John Regehr},
title = {Alive2: Bounded Translation Validation for LLVM},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {73-72},
doi = {10.1145/3453483.3454030},
year = {2021},
}
Publisher's Version
PLDI '21: "Perceus: Garbage Free Reference ..."
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)
@InProceedings{PLDI21p109,
author = {Alex Reinking and Ningning Xie and Leonardo de Moura and Daan Leijen},
title = {Perceus: Garbage Free Reference Counting with Reuse},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3453483.3454032},
year = {2021},
}
Publisher's Version
PLDI '21: "DNNFusion: Accelerating Deep ..."
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)
@InProceedings{PLDI21p1027,
author = {Wei Niu and Jiexiong Guan and Yanzhi Wang and Gagan Agrawal and Bin Ren},
title = {DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3453483.3454083},
year = {2021},
}
Publisher's Version
PLDI '21: "Unleashing the Hidden Power ..."
Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei, and Li Li
(University of Texas at Arlington, USA; Monash University, Australia)
@InProceedings{PLDI21p163,
author = {Xiaolei Ren and Michael Ho and Jiang Ming and Yu Lei and Li Li},
title = {Unleashing the Hidden Power of Compiler Optimization on Binary Code Difference: An Empirical Study},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {163-162},
doi = {10.1145/3453483.3454035},
year = {2021},
}
Publisher's Version
PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)
@InProceedings{PLDI21p829,
author = {John Renner and Alex Sanchez-Stern and Fraser Brown and Sorin Lerner and Deian Stefan},
title = {Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3453483.3454072},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Central Moment Analysis for ..."
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p649,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Central Moment Analysis for Cost Accumulators in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3453483.3454062},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Sound Probabilistic Inference ..."
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p919,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Sound Probabilistic Inference via Guide Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3453483.3454077},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "SPPL: Probabilistic Programming ..."
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p937,
author = {Feras A. Saad and Martin C. Rinard and Vikash K. Mansinghka},
title = {SPPL: Probabilistic Programming with Fast Exact Symbolic Inference},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3453483.3454078},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proof Repair across Type Equivalences ..."
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)
@InProceedings{PLDI21p127,
author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
title = {Proof Repair across Type Equivalences},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3453483.3454033},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "CoStar: A Verified ALL(*) ..."
CoStar: A Verified ALL(*) Parser
Sam Lasser, Chris Casinghino, Kathleen Fisher, and Cody Roux
(Tufts University, USA; Draper, USA)
@InProceedings{PLDI21p487,
author = {Sam Lasser and Chris Casinghino and Kathleen Fisher and Cody Roux},
title = {CoStar: A Verified ALL(*) Parser},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {487-486},
doi = {10.1145/3453483.3454053},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Cyclic Program Synthesis ..."
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)
@InProceedings{PLDI21p1099,
author = {Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Reuben N. S. Rowe and Ilya Sergey},
title = {Cyclic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3453483.3454087},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Bliss: Auto-tuning Complex ..."
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)
@InProceedings{PLDI21p1495,
author = {Rohan Basu Roy and Tirthak Patel and Vijay Gadepally and Devesh Tiwari},
title = {Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1495-1494},
doi = {10.1145/3453483.3454109},
year = {2021},
}
Publisher's Version
PLDI '21: "Concolic Program Repair ..."
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)
@InProceedings{PLDI21p451,
author = {Ridwan Shariffdeen and Yannic Noller and Lars Grunske and Abhik Roychoudhury},
title = {Concolic Program Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3453483.3454051},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)
@InProceedings{PLDI21p775,
author = {Mahmut Taylan Kandemir and Xulong Tang and Hui Zhao and Jihyun Ryoo and Mustafa Karakoy},
title = {Distance-in-Time versus Distance-in-Space},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3453483.3454069},
year = {2021},
}
Publisher's Version
PLDI '21: "SPPL: Probabilistic Programming ..."
SPPL: Probabilistic Programming with Fast Exact Symbolic Inference
Feras A. Saad, Martin C. Rinard, and Vikash K. Mansinghka
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p937,
author = {Feras A. Saad and Martin C. Rinard and Vikash K. Mansinghka},
title = {SPPL: Probabilistic Programming with Fast Exact Symbolic Inference},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {937-936},
doi = {10.1145/3453483.3454078},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "RefinedC: Automating the Foundational ..."
RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types
Michael Sammler, Rodolphe Lepigre, Robbert Krebbers, Kayvan Memarian, Derek Dreyer, and Deepak Garg
(MPI-SWS, Germany; Radboud University Nijmegen, Netherlands; University of Cambridge, UK)
@InProceedings{PLDI21p181,
author = {Michael Sammler and Rodolphe Lepigre and Robbert Krebbers and Kayvan Memarian and Derek Dreyer and Deepak Garg},
title = {RefinedC: Automating the Foundational Verification of C Code with Refined Ownership Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {181-180},
doi = {10.1145/3453483.3454036},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Reticle: A Virtual Machine ..."
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)
@InProceedings{PLDI21p883,
author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman and Luis Ceze},
title = {Reticle: A Virtual Machine for Programming Modern FPGAs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3453483.3454075},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)
@InProceedings{PLDI21p829,
author = {John Renner and Alex Sanchez-Stern and Fraser Brown and Sorin Lerner and Deian Stefan},
title = {Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3453483.3454072},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Reverse Engineering for Reduction ..."
Reverse Engineering for Reduction Parallelization via Semiring Polynomials
Akimasa Morihata and Shigeyuki Sato
(University of Tokyo, Japan)
@InProceedings{PLDI21p955,
author = {Akimasa Morihata and Shigeyuki Sato},
title = {Reverse Engineering for Reduction Parallelization via Semiring Polynomials},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {955-954},
doi = {10.1145/3453483.3454079},
year = {2021},
}
Publisher's Version
Artifacts Reusable
Artifacts Functional
PLDI '21: "An Efficient Interpreter for ..."
An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)
@InProceedings{PLDI21p793,
author = {Xiaowen Hu and David Zhao and Herbert Jordan and Bernhard Scholz},
title = {An Efficient Interpreter for Datalog by De-specializing Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3453483.3454070},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Cyclic Program Synthesis ..."
Cyclic Program Synthesis
Shachar Itzhaky, Hila Peleg, Nadia Polikarpova, Reuben N. S. Rowe, and Ilya Sergey
(Technion, Israel; University of California at San Diego, USA; Royal Holloway University of London, UK; Yale-NUS College, Singapore; National University of Singapore, Singapore)
@InProceedings{PLDI21p1099,
author = {Shachar Itzhaky and Hila Peleg and Nadia Polikarpova and Reuben N. S. Rowe and Ilya Sergey},
title = {Cyclic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1099-1098},
doi = {10.1145/3453483.3454087},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Practical Smart Contract Sharding ..."
Practical Smart Contract Sharding with Ownership and Commutativity Analysis
George Pîrlea, Amrit Kumar, and Ilya Sergey
(National University of Singapore, Singapore; Zilliqa Research, UK; Yale-NUS College, Singapore)
@InProceedings{PLDI21p1549,
author = {George Pîrlea and Amrit Kumar and Ilya Sergey},
title = {Practical Smart Contract Sharding with Ownership and Commutativity Analysis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1549-1548},
doi = {10.1145/3453483.3454112},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "CompCertO: Compiling Certified ..."
CompCertO: Compiling Certified Open C Components
Jérémie Koenig and Zhong Shao
(Yale University, USA)
@InProceedings{PLDI21p1279,
author = {Jérémie Koenig and Zhong Shao},
title = {CompCertO: Compiling Certified Open C Components},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1279-1278},
doi = {10.1145/3453483.3454097},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concolic Program Repair ..."
Concolic Program Repair
Ridwan Shariffdeen, Yannic Noller, Lars Grunske, and Abhik Roychoudhury
(National University of Singapore, Singapore; Humboldt University of Berlin, Germany)
@InProceedings{PLDI21p451,
author = {Ridwan Shariffdeen and Yannic Noller and Lars Grunske and Abhik Roychoudhury},
title = {Concolic Program Repair},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {451-450},
doi = {10.1145/3453483.3454051},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Wire Sorts: A Language Abstraction ..."
Wire Sorts: A Language Abstraction for Safe Hardware Composition
Michael Christensen, Timothy Sherwood, Jonathan Balkind, and Ben Hardekopf
(University of California at Santa Barbara, USA)
@InProceedings{PLDI21p199,
author = {Michael Christensen and Timothy Sherwood and Jonathan Balkind and Ben Hardekopf},
title = {Wire Sorts: A Language Abstraction for Safe Hardware Composition},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {199-198},
doi = {10.1145/3453483.3454037},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Viaduct: An Extensible, Optimizing ..."
Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs
Coşku Acay, Rolph Recto, Joshua Gancher, Andrew C. Myers, and Elaine Shi
(Cornell University, USA)
@InProceedings{PLDI21p865,
author = {Coşku Acay and Rolph Recto and Joshua Gancher and Andrew C. Myers and Elaine Shi},
title = {Viaduct: An Extensible, Optimizing Compiler for Secure Distributed Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {865-864},
doi = {10.1145/3453483.3454074},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Path-Sensitive Sparse Analysis ..."
Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{PLDI21p1081,
author = {Qingkai Shi and Peisen Yao and Rongxin Wu and Charles Zhang},
title = {Path-Sensitive Sparse Analysis without Path Conditions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3453483.3454086},
year = {2021},
}
Publisher's Version
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Compiling Stan to Generative ..."
Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming
Guillaume Baudart, Javier Burroni, Martin Hirzel, Louis Mandel, and Avraham Shinnar
(Inria, France; PSL University, France; University of Massachusetts at Amherst, USA; IBM Research, USA)
@InProceedings{PLDI21p577,
author = {Guillaume Baudart and Javier Burroni and Martin Hirzel and Louis Mandel and Avraham Shinnar},
title = {Compiling Stan to Generative Probabilistic Languages and Extension to Deep Probabilistic Programming},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {577-576},
doi = {10.1145/3453483.3454058},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Vectorized Secure Evaluation ..."
Vectorized Secure Evaluation of Decision Forests
Raghav Malik, Vidush Singhal, Benjamin Gottfried, and Milind Kulkarni
(Purdue University, USA)
@InProceedings{PLDI21p1225,
author = {Raghav Malik and Vidush Singhal and Benjamin Gottfried and Milind Kulkarni},
title = {Vectorized Secure Evaluation of Decision Forests},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1225-1224},
doi = {10.1145/3453483.3454094},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Provable Repair of Deep Neural ..."
Provable Repair of Deep Neural Networks
Matthew Sotoudeh and Aditya V. Thakur
(University of California at Davis, USA)
@InProceedings{PLDI21p685,
author = {Matthew Sotoudeh and Aditya V. Thakur},
title = {Provable Repair of Deep Neural Networks},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {685-684},
doi = {10.1145/3453483.3454064},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Demanded Abstract Interpretation ..."
Demanded Abstract Interpretation
Benno Stein, Bor-Yuh Evan Chang, and Manu Sridharan
(University of Colorado at Boulder, USA; Amazon, USA; University of California at Riverside, USA)
@InProceedings{PLDI21p325,
author = {Benno Stein and Bor-Yuh Evan Chang and Manu Sridharan},
title = {Demanded Abstract Interpretation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3453483.3454044},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Symbolic Boolean Derivatives ..."
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Caleb Stanford, Margus Veanes, and Nikolaj Bjørner
(University of Pennsylvania, USA; Microsoft, USA)
@InProceedings{PLDI21p721,
author = {Caleb Stanford and Margus Veanes and Nikolaj Bjørner},
title = {Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3453483.3454066},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Scooter & Sidecar: A Domain-Specific ..."
Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations
John Renner, Alex Sanchez-Stern, Fraser Brown, Sorin Lerner, and Deian Stefan
(University of California at San Diego, USA; Stanford University, USA)
@InProceedings{PLDI21p829,
author = {John Renner and Alex Sanchez-Stern and Fraser Brown and Sorin Lerner and Deian Stefan},
title = {Scooter & Sidecar: A Domain-Specific Approach to Writing Secure Database Migrations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {829-828},
doi = {10.1145/3453483.3454072},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p253,
author = {Anouk Paradis and Benjamin Bichsel and Samuel Steffen and Martin Vechev},
title = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3453483.3454040},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Demanded Abstract Interpretation ..."
Demanded Abstract Interpretation
Benno Stein, Bor-Yuh Evan Chang, and Manu Sridharan
(University of Colorado at Boulder, USA; Amazon, USA; University of California at Riverside, USA)
@InProceedings{PLDI21p325,
author = {Benno Stein and Bor-Yuh Evan Chang and Manu Sridharan},
title = {Demanded Abstract Interpretation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {325-324},
doi = {10.1145/3453483.3454044},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Quantitative Analysis of Assertion ..."
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1369,
author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1369-1368},
doi = {10.1145/3453483.3454102},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Satisfiability Modulo Ordering ..."
Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification
Fei He, Zhihang Sun, and Hongyu Fan
(Tsinghua University, China)
@InProceedings{PLDI21p1477,
author = {Fei He and Zhihang Sun and Hongyu Fan},
title = {Satisfiability Modulo Ordering Consistency Theory for Multi-threaded Program Verification},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1477-1476},
doi = {10.1145/3453483.3454108},
year = {2021},
}
Publisher's Version
PLDI '21: "Automatically Enforcing Fresh ..."
Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems
Milijana Surbatovich, Limin Jia, and Brandon Lucia
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p991,
author = {Milijana Surbatovich and Limin Jia and Brandon Lucia},
title = {Automatically Enforcing Fresh and Consistent Inputs in Intermittent Systems},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {991-990},
doi = {10.1145/3453483.3454081},
year = {2021},
}
Publisher's Version
PLDI '21: "Incremental Whole-Program ..."
Incremental Whole-Program Analysis in Datalog with Lattices
Tamás Szabó, Sebastian Erdweg, and Gábor Bergmann
(JGU Mainz, Germany; Workday, Germany; Budapest University of Technology and Economics, Hungary; IncQuery Labs, Hungary)
@InProceedings{PLDI21p1,
author = {Tamás Szabó and Sebastian Erdweg and Gábor Bergmann},
title = {Incremental Whole-Program Analysis in Datalog with Lattices},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1-0},
doi = {10.1145/3453483.3454026},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Concise, Type-Safe, and Efficient ..."
Concise, Type-Safe, and Efficient Structural Diffing
Sebastian Erdweg, Tamás Szabó, and André Pacak
(JGU Mainz, Germany; Workday, Germany)
@InProceedings{PLDI21p469,
author = {Sebastian Erdweg and Tamás Szabó and André Pacak},
title = {Concise, Type-Safe, and Efficient Structural Diffing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {469-468},
doi = {10.1145/3453483.3454052},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "SyRust: Automatic Testing ..."
SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis
Yoshiki Takashima, Ruben Martins, Limin Jia, and Corina S. Păsăreanu
(Carnegie Mellon University, USA; Carnegie Mellon Silicon Valley, USA; NASA Ames Research Center, USA)
@InProceedings{PLDI21p1045,
author = {Yoshiki Takashima and Ruben Martins and Limin Jia and Corina S. Păsăreanu},
title = {SyRust: Automatic Testing of Rust Libraries with Semantic-Aware Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1045-1044},
doi = {10.1145/3453483.3454084},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)
@InProceedings{PLDI21p775,
author = {Mahmut Taylan Kandemir and Xulong Tang and Hui Zhao and Jihyun Ryoo and Mustafa Karakoy},
title = {Distance-in-Time versus Distance-in-Space},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3453483.3454069},
year = {2021},
}
Publisher's Version
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "Transfinite Iris: Resolving ..."
Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic
Simon Spies, Lennard Gäher, Daniel Gratzer, Joseph Tassarotti, Robbert Krebbers, Derek Dreyer, and Lars Birkedal
(MPI-SWS, Germany; Saarland University, Germany; Aarhus University, Denmark; Boston College, USA; Radboud University Nijmegen, Netherlands)
@InProceedings{PLDI21p91,
author = {Simon Spies and Lennard Gäher and Daniel Gratzer and Joseph Tassarotti and Robbert Krebbers and Derek Dreyer and Lars Birkedal},
title = {Transfinite Iris: Resolving an Existential Dilemma of Step-Indexed Separation Logic},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {91-90},
doi = {10.1145/3453483.3454031},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Example-Guided Synthesis of ..."
Example-Guided Synthesis of Relational Queries
Aalok Thakkar, Aaditya Naik, Nathaniel Sands, Rajeev Alur, Mayur Naik, and Mukund Raghothaman
(University of Pennsylvania, USA; University of Southern California, USA)
@InProceedings{PLDI21p1297,
author = {Aalok Thakkar and Aaditya Naik and Nathaniel Sands and Rajeev Alur and Mayur Naik and Mukund Raghothaman},
title = {Example-Guided Synthesis of Relational Queries},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1297-1296},
doi = {10.1145/3453483.3454098},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Provable Repair of Deep Neural ..."
Provable Repair of Deep Neural Networks
Matthew Sotoudeh and Aditya V. Thakur
(University of California at Davis, USA)
@InProceedings{PLDI21p685,
author = {Matthew Sotoudeh and Aditya V. Thakur},
title = {Provable Repair of Deep Neural Networks},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {685-684},
doi = {10.1145/3453483.3454064},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Test-Case Reduction and Deduplication ..."
Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing
Alastair F. Donaldson, Paul Thomson, Vasyl Teliman, Stefano Milizia, André Perez Maselco, and Antoni Karpiński
(Imperial College London, UK; Google, UK; National Technical University of Ukraine, Ukraine; Federal University of ABC, Brazil; Warsaw University of Technology, Poland)
@InProceedings{PLDI21p1189,
author = {Alastair F. Donaldson and Paul Thomson and Vasyl Teliman and Stefano Milizia and André Perez Maselco and Antoni Karpiński},
title = {Test-Case Reduction and Deduplication Almost for Free with Transformation-Based Compiler Testing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1189-1188},
doi = {10.1145/3453483.3454092},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Bliss: Auto-tuning Complex ..."
Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models
Rohan Basu Roy, Tirthak Patel, Vijay Gadepally, and Devesh Tiwari
(Northeastern University, USA; MIT Lincoln Laboratory, USA)
@InProceedings{PLDI21p1495,
author = {Rohan Basu Roy and Tirthak Patel and Vijay Gadepally and Devesh Tiwari},
title = {Bliss: Auto-tuning Complex Applications using a Pool of Diverse Lightweight Learning Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1495-1494},
doi = {10.1145/3453483.3454109},
year = {2021},
}
Publisher's Version
PLDI '21: "IOOpt: Automatic Derivation ..."
IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs
Auguste Olivry, Guillaume Iooss, Nicolas Tollenaere, Atanas Rountev, P. Sadayappan, and Fabrice Rastello
(Université Grenoble Alpes, France; CNRS, France; Inria, France; Ohio State University, USA; University of Utah, USA)
@InProceedings{PLDI21p1387,
author = {Auguste Olivry and Guillaume Iooss and Nicolas Tollenaere and Atanas Rountev and P. Sadayappan and Fabrice Rastello},
title = {IOOpt: Automatic Derivation of I/O Complexity Bounds for Affine Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1387-1386},
doi = {10.1145/3453483.3454103},
year = {2021},
}
Publisher's Version
Artifacts Functional
PLDI '21: "Porcupine: A Synthesizing ..."
Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption
Meghan Cowan, Deeksha Dangwal, Armin Alaghi, Caroline Trippel, Vincent T. Lee, and Brandon Reagen
(Facebook Reality Labs Research, USA; Stanford University, USA; New York University, USA)
@InProceedings{PLDI21p433,
author = {Meghan Cowan and Deeksha Dangwal and Armin Alaghi and Caroline Trippel and Vincent T. Lee and Brandon Reagen},
title = {Porcupine: A Synthesizing Compiler for Vectorized Homomorphic Encryption},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {433-432},
doi = {10.1145/3453483.3454050},
year = {2021},
}
Publisher's Version
PLDI '21: "When Threads Meet Events: ..."
When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, and Jeff Huang
(Texas A&M University, USA)
@InProceedings{PLDI21p847,
author = {Bozhen Liu and Peiming Liu and Yanze Li and Chia-Che Tsai and Dilma Da Silva and Jeff Huang},
title = {When Threads Meet Events: Efficient and Precise Static Race Detection with Origins},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {847-846},
doi = {10.1145/3453483.3454073},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "RbSyn: Type- and Effect-Guided ..."
RbSyn: Type- and Effect-Guided Program Synthesis
Sankha Narayan Guria, Jeffrey S. Foster, and David Van Horn
(University of Maryland, USA; Tufts University, USA)
@InProceedings{PLDI21p397,
author = {Sankha Narayan Guria and Jeffrey S. Foster and David Van Horn},
title = {RbSyn: Type- and Effect-Guided Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {397-396},
doi = {10.1145/3453483.3454048},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Symbolic Boolean Derivatives ..."
Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints
Caleb Stanford, Margus Veanes, and Nikolaj Bjørner
(University of Pennsylvania, USA; Microsoft, USA)
@InProceedings{PLDI21p721,
author = {Caleb Stanford and Margus Veanes and Nikolaj Bjørner},
title = {Symbolic Boolean Derivatives for Efficiently Solving Extended Regular Expression Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {721-720},
doi = {10.1145/3453483.3454066},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Robustness Certification with ..."
Robustness Certification with Generative Models
Matthew Mirman, Alexander Hägele, Pavol Bielik, Timon Gehr, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p1333,
author = {Matthew Mirman and Alexander Hägele and Pavol Bielik and Timon Gehr and Martin Vechev},
title = {Robustness Certification with Generative Models},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1333-1332},
doi = {10.1145/3453483.3454100},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Unqomp: Synthesizing Uncomputation ..."
Unqomp: Synthesizing Uncomputation in Quantum Circuits
Anouk Paradis, Benjamin Bichsel, Samuel Steffen, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p253,
author = {Anouk Paradis and Benjamin Bichsel and Samuel Steffen and Martin Vechev},
title = {Unqomp: Synthesizing Uncomputation in Quantum Circuits},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {253-252},
doi = {10.1145/3453483.3454040},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Learning to Find Naming Issues ..."
Learning to Find Naming Issues with Big Code and Small Supervision
Jingxuan He, Cheng-Chun Lee, Veselin Raychev, and Martin Vechev
(ETH Zurich, Switzerland; EPFL, Switzerland; Snyk, Switzerland)
@InProceedings{PLDI21p343,
author = {Jingxuan He and Cheng-Chun Lee and Veselin Raychev and Martin Vechev},
title = {Learning to Find Naming Issues with Big Code and Small Supervision},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {343-342},
doi = {10.1145/3453483.3454045},
year = {2021},
}
Publisher's Version
PLDI '21: "Fast and Precise Certification ..."
Fast and Precise Certification of Transformers
Gregory Bonaert, Dimitar I. Dimitrov, Maximilian Baader, and Martin Vechev
(ETH Zurich, Switzerland)
@InProceedings{PLDI21p541,
author = {Gregory Bonaert and Dimitar I. Dimitrov and Maximilian Baader and Martin Vechev},
title = {Fast and Precise Certification of Transformers},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {541-540},
doi = {10.1145/3453483.3454056},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Reticle: A Virtual Machine ..."
Reticle: A Virtual Machine for Programming Modern FPGAs
Luis Vega, Joseph McMahan, Adrian Sampson, Dan Grossman, and Luis Ceze
(University of Washington, USA; Cornell University, USA)
@InProceedings{PLDI21p883,
author = {Luis Vega and Joseph McMahan and Adrian Sampson and Dan Grossman and Luis Ceze},
title = {Reticle: A Virtual Machine for Programming Modern FPGAs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {883-882},
doi = {10.1145/3453483.3454075},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Filling Typed Holes with Live ..."
Filling Typed Holes with Live GUIs
Cyrus Omar, David Moon, Andrew Blinn, Ian Voysey, Nick Collins, and Ravi Chugh
(University of Michigan, USA; Carnegie Mellon University, USA; University of Chicago, USA)
@InProceedings{PLDI21p595,
author = {Cyrus Omar and David Moon and Andrew Blinn and Ian Voysey and Nick Collins and Ravi Chugh},
title = {Filling Typed Holes with Live GUIs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {595-594},
doi = {10.1145/3453483.3454059},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Central Moment Analysis for ..."
Central Moment Analysis for Cost Accumulators in Probabilistic Programs
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p649,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Central Moment Analysis for Cost Accumulators in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {649-648},
doi = {10.1145/3453483.3454062},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Sound Probabilistic Inference ..."
Sound Probabilistic Inference via Guide Types
Di Wang, Jan Hoffmann, and Thomas Reps
(Carnegie Mellon University, USA; University of Wisconsin, USA)
@InProceedings{PLDI21p919,
author = {Di Wang and Jan Hoffmann and Thomas Reps},
title = {Sound Probabilistic Inference via Guide Types},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {919-918},
doi = {10.1145/3453483.3454077},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Quantitative Analysis of Assertion ..."
Quantitative Analysis of Assertion Violations in Probabilistic Programs
Jinyi Wang, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady
(Shanghai Jiao Tong University, China; Peking University, China; IST Austria, Austria; Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1369,
author = {Jinyi Wang and Yican Sun and Hongfei Fu and Krishnendu Chatterjee and Amir Kafshdar Goharshady},
title = {Quantitative Analysis of Assertion Violations in Probabilistic Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1369-1368},
doi = {10.1145/3453483.3454102},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "Web Question Answering with ..."
Web Question Answering with Neurosymbolic Program Synthesis
Qiaochu Chen, Aaron Lamoreaux, Xinyu Wang, Greg Durrett, Osbert Bastani, and Isil Dillig
(University of Texas at Austin, USA; University of Michigan, USA; University of Pennsylvania, USA)
@InProceedings{PLDI21p379,
author = {Qiaochu Chen and Aaron Lamoreaux and Xinyu Wang and Greg Durrett and Osbert Bastani and Isil Dillig},
title = {Web Question Answering with Neurosymbolic Program Synthesis},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {379-378},
doi = {10.1145/3453483.3454047},
year = {2021},
}
Publisher's Version
PLDI '21: "Synthesizing Data Structure ..."
Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)
@InProceedings{PLDI21p667,
author = {Shankara Pailoor and Yuepeng Wang and Xinyu Wang and Isil Dillig},
title = {Synthesizing Data Structure Refinements from Integrity Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3453483.3454063},
year = {2021},
}
Publisher's Version
PLDI '21: "DNNFusion: Accelerating Deep ..."
DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion
Wei Niu, Jiexiong Guan, Yanzhi Wang, Gagan Agrawal, and Bin Ren
(College of William & Mary, USA; Northeastern University, USA; Augusta University, USA)
@InProceedings{PLDI21p1027,
author = {Wei Niu and Jiexiong Guan and Yanzhi Wang and Gagan Agrawal and Bin Ren},
title = {DNNFusion: Accelerating Deep Neural Networks Execution with Advanced Operator Fusion},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1027-1026},
doi = {10.1145/3453483.3454083},
year = {2021},
}
Publisher's Version
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "Synthesizing Data Structure ..."
Synthesizing Data Structure Refinements from Integrity Constraints
Shankara Pailoor, Yuepeng Wang, Xinyu Wang, and Isil Dillig
(University of Texas at Austin, USA; University of Pennsylvania, USA; University of Michigan, USA)
@InProceedings{PLDI21p667,
author = {Shankara Pailoor and Yuepeng Wang and Xinyu Wang and Isil Dillig},
title = {Synthesizing Data Structure Refinements from Integrity Constraints},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {667-666},
doi = {10.1145/3453483.3454063},
year = {2021},
}
Publisher's Version
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Concurrent Deferred Reference ..."
Concurrent Deferred Reference Counting with Constant-Time Overhead
Daniel Anderson, Guy E. Blelloch, and Yuanhao Wei
(Carnegie Mellon University, USA)
@InProceedings{PLDI21p613,
author = {Daniel Anderson and Guy E. Blelloch and Yuanhao Wei},
title = {Concurrent Deferred Reference Counting with Constant-Time Overhead},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {613-612},
doi = {10.1145/3453483.3454060},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Retrofitting Effect Handlers ..."
Retrofitting Effect Handlers onto OCaml
KC Sivaramakrishnan, Stephen Dolan, Leo White, Tom Kelly, Sadiq Jaffer, and Anil Madhavapeddy
(IIT Madras, India; OCaml Labs, UK; Jane Street, UK; Opsian, UK; University of Cambridge, UK)
@InProceedings{PLDI21p235,
author = {KC Sivaramakrishnan and Stephen Dolan and Leo White and Tom Kelly and Sadiq Jaffer and Anil Madhavapeddy},
title = {Retrofitting Effect Handlers onto OCaml},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {235-234},
doi = {10.1145/3453483.3454039},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Compiler-Assisted Object Inlining ..."
Compiler-Assisted Object Inlining with Value Fields
Rodrigo Bruno, Vojin Jovanovic, Christian Wimmer, and Gustavo Alonso
(Oracle Labs, Switzerland; Oracle Labs, USA; ETH Zurich, Switzerland)
@InProceedings{PLDI21p145,
author = {Rodrigo Bruno and Vojin Jovanovic and Christian Wimmer and Gustavo Alonso},
title = {Compiler-Assisted Object Inlining with Value Fields},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {145-144},
doi = {10.1145/3453483.3454034},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "DreamCoder: Bootstrapping ..."
DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning
Kevin Ellis, Catherine Wong, Maxwell Nye, Mathias Sablé-Meyer, Lucas Morales, Luke Hewitt, Luc Cary, Armando Solar-Lezama, and Joshua B. Tenenbaum
(Cornell University, USA; Massachusetts Institute of Technology, USA; PSL University, France; Collège de France, France; NeuroSpin, France)
@InProceedings{PLDI21p973,
author = {Kevin Ellis and Catherine Wong and Maxwell Nye and Mathias Sablé-Meyer and Lucas Morales and Luke Hewitt and Luc Cary and Armando Solar-Lezama and Joshua B. Tenenbaum},
title = {DreamCoder: Bootstrapping Inductive Program Synthesis with Wake-Sleep Library Learning},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {973-972},
doi = {10.1145/3453483.3454080},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Integration Verification across ..."
Integration Verification across Software and Hardware for a Simple Embedded System
Andres Erbsen, Samuel Gruetter, Joonwon Choi, Clark Wood, and Adam Chlipala
(Massachusetts Institute of Technology, USA)
@InProceedings{PLDI21p703,
author = {Andres Erbsen and Samuel Gruetter and Joonwon Choi and Clark Wood and Adam Chlipala},
title = {Integration Verification across Software and Hardware for a Simple Embedded System},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {703-702},
doi = {10.1145/3453483.3454065},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Path-Sensitive Sparse Analysis ..."
Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{PLDI21p1081,
author = {Qingkai Shi and Peisen Yao and Rongxin Wu and Charles Zhang},
title = {Path-Sensitive Sparse Analysis without Path Conditions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3453483.3454086},
year = {2021},
}
Publisher's Version
PLDI '21: "Perceus: Garbage Free Reference ..."
Perceus: Garbage Free Reference Counting with Reuse
Alex Reinking, Ningning Xie, Leonardo de Moura, and Daan Leijen
(Microsoft Research, USA; University of Hong Kong, China)
@InProceedings{PLDI21p109,
author = {Alex Reinking and Ningning Xie and Leonardo de Moura and Daan Leijen},
title = {Perceus: Garbage Free Reference Counting with Reuse},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {109-108},
doi = {10.1145/3453483.3454032},
year = {2021},
}
Publisher's Version
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version
PLDI '21: "Gleipnir: Toward Practical ..."
Gleipnir: Toward Practical Error Analysis for Quantum Programs
Runzhou Tao, Yunong Shi, Jianan Yao, John Hui, Frederic T. Chong, and Ronghui Gu
(Columbia University, USA; University of Chicago, USA)
@InProceedings{PLDI21p55,
author = {Runzhou Tao and Yunong Shi and Jianan Yao and John Hui and Frederic T. Chong and Ronghui Gu},
title = {Gleipnir: Toward Practical Error Analysis for Quantum Programs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {55-54},
doi = {10.1145/3453483.3454029},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Path-Sensitive Sparse Analysis ..."
Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{PLDI21p1081,
author = {Qingkai Shi and Peisen Yao and Rongxin Wu and Charles Zhang},
title = {Path-Sensitive Sparse Analysis without Path Conditions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3453483.3454086},
year = {2021},
}
Publisher's Version
PLDI '21: "Canary: Practical Static Detection ..."
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Yuandao Cai, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1315,
author = {Yuandao Cai and Peisen Yao and Charles Zhang},
title = {Canary: Practical Static Detection of Inter-thread Value-Flow Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1315-1314},
doi = {10.1145/3453483.3454099},
year = {2021},
}
Publisher's Version
PLDI '21: "Proof Repair across Type Equivalences ..."
Proof Repair across Type Equivalences
Talia Ringer, RanDair Porter, Nathaniel Yazdani, John Leo, and Dan Grossman
(University of Washington, USA; Northeastern University, USA; Halfaya Research, USA)
@InProceedings{PLDI21p127,
author = {Talia Ringer and RanDair Porter and Nathaniel Yazdani and John Leo and Dan Grossman},
title = {Proof Repair across Type Equivalences},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {127-126},
doi = {10.1145/3453483.3454033},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Automated Conformance Testing ..."
Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing
Guixin Ye, Zhanyong Tang, Shin Hwei Tan, Songfang Huang, Dingyi Fang, Xiaoyang Sun, Lizhong Bian, Haibo Wang, and Zheng Wang
(Northwest University, China; Southern University of Science and Technology, China; Alibaba DAMO Academy, China; University of Leeds, UK; Alipay, China)
@InProceedings{PLDI21p505,
author = {Guixin Ye and Zhanyong Tang and Shin Hwei Tan and Songfang Huang and Dingyi Fang and Xiaoyang Sun and Lizhong Bian and Haibo Wang and Zheng Wang},
title = {Automated Conformance Testing for JavaScript Engines via Deep Compiler Fuzzing},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {505-504},
doi = {10.1145/3453483.3454054},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Zooid: A DSL for Certified ..."
Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes
David Castro-Perez, Francisco Ferreira, Lorenzo Gheri, and Nobuko Yoshida
(Imperial College London, UK; University of Kent, UK)
@InProceedings{PLDI21p271,
author = {David Castro-Perez and Francisco Ferreira and Lorenzo Gheri and Nobuko Yoshida},
title = {Zooid: A DSL for Certified Multiparty Computation: From Mechanised Metatheory to Certified Multiparty Processes},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {271-270},
doi = {10.1145/3453483.3454041},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Quantum Abstract Interpretation ..."
Quantum Abstract Interpretation
Nengkun Yu and Jens Palsberg
(University of Technology Sydney, Australia; University of California at Los Angeles, USA)
@InProceedings{PLDI21p631,
author = {Nengkun Yu and Jens Palsberg},
title = {Quantum Abstract Interpretation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {631-630},
doi = {10.1145/3453483.3454061},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Path-Sensitive Sparse Analysis ..."
Path-Sensitive Sparse Analysis without Path Conditions
Qingkai Shi, Peisen Yao, Rongxin Wu, and Charles Zhang
(Hong Kong University of Science and Technology, China; Xiamen University, China)
@InProceedings{PLDI21p1081,
author = {Qingkai Shi and Peisen Yao and Rongxin Wu and Charles Zhang},
title = {Path-Sensitive Sparse Analysis without Path Conditions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1081-1080},
doi = {10.1145/3453483.3454086},
year = {2021},
}
Publisher's Version
PLDI '21: "Canary: Practical Static Detection ..."
Canary: Practical Static Detection of Inter-thread Value-Flow Bugs
Yuandao Cai, Peisen Yao, and Charles Zhang
(Hong Kong University of Science and Technology, China)
@InProceedings{PLDI21p1315,
author = {Yuandao Cai and Peisen Yao and Charles Zhang},
title = {Canary: Practical Static Detection of Inter-thread Value-Flow Bugs},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1315-1314},
doi = {10.1145/3453483.3454099},
year = {2021},
}
Publisher's Version
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "Fluid: A Framework for Approximate ..."
Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation
Huaipan Jiang, Haibo Zhang, Xulong Tang, Vineetha Govindaraj, Jack Sampson, Mahmut Taylan Kandemir, and Danfeng Zhang
(Pennsylvania State University, USA; University of Pittsburgh, USA)
@InProceedings{PLDI21p289,
author = {Huaipan Jiang and Haibo Zhang and Xulong Tang and Vineetha Govindaraj and Jack Sampson and Mahmut Taylan Kandemir and Danfeng Zhang},
title = {Fluid: A Framework for Approximate Concurrency via Controlled Dependency Relaxation},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {289-288},
doi = {10.1145/3453483.3454042},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "An Efficient Interpreter for ..."
An Efficient Interpreter for Datalog by De-specializing Relations
Xiaowen Hu, David Zhao, Herbert Jordan, and Bernhard Scholz
(University of Sydney, Australia; Innsbruck University, Austria)
@InProceedings{PLDI21p793,
author = {Xiaowen Hu and David Zhao and Herbert Jordan and Bernhard Scholz},
title = {An Efficient Interpreter for Datalog by De-specializing Relations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {793-792},
doi = {10.1145/3453483.3454070},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Distance-in-Time versus Distance-in-Space ..."
Distance-in-Time versus Distance-in-Space
Mahmut Taylan Kandemir, Xulong Tang, Hui Zhao, Jihyun Ryoo, and Mustafa Karakoy
(Pennsylvania State University, USA; University of Pittsburgh, USA; University of North Texas, USA; TUBITAK-BILGEM, Turkey)
@InProceedings{PLDI21p775,
author = {Mahmut Taylan Kandemir and Xulong Tang and Hui Zhao and Jihyun Ryoo and Mustafa Karakoy},
title = {Distance-in-Time versus Distance-in-Space},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {775-774},
doi = {10.1145/3453483.3454069},
year = {2021},
}
Publisher's Version
PLDI '21: "AKG: Automatic Kernel Generation ..."
AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations
Jie Zhao, Bojie Li, Wang Nie, Zhen Geng, Renwei Zhang, Xiong Gao, Bin Cheng, Chen Wu, Yun Cheng, Zheng Li, Peng Di, Kun Zhang, and Xuefeng Jin
(State Key Laboratory of Mathematical Engineering and Advanced Computing, China; Huawei Technologies, China; Huawei, China)
@InProceedings{PLDI21p1441,
author = {Jie Zhao and Bojie Li and Wang Nie and Zhen Geng and Renwei Zhang and Xiong Gao and Bin Cheng and Chen Wu and Yun Cheng and Zheng Li and Peng Di and Kun Zhang and Xuefeng Jin},
title = {AKG: Automatic Kernel Generation for Neural Processing Units using Polyhedral Transformations},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1441-1440},
doi = {10.1145/3453483.3454106},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Boosting SMT Solver Performance ..."
Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions
Dongpeng Xu, Binbin Liu, Weijie Feng, Jiang Ming, Qilong Zheng, Jing Li, and Qiaoyan Yu
(University of New Hampshire, USA; University of Science and Technology of China, China; University of Texas at Arlington, USA)
@InProceedings{PLDI21p757,
author = {Dongpeng Xu and Binbin Liu and Weijie Feng and Jiang Ming and Qilong Zheng and Jing Li and Qiaoyan Yu},
title = {Boosting SMT Solver Performance on Mixed-Bitwise-Arithmetic Expressions},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {757-756},
doi = {10.1145/3453483.3454068},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Functional
PLDI '21: "Termination Analysis without ..."
Termination Analysis without the Tears
Shaowei Zhu and Zachary Kincaid
(Princeton University, USA)
@InProceedings{PLDI21p1513,
author = {Shaowei Zhu and Zachary Kincaid},
title = {Termination Analysis without the Tears},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1513-1512},
doi = {10.1145/3453483.3454110},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Proving Non-termination by ..."
Proving Non-termination by Program Reversal
Krishnendu Chatterjee, Ehsan Kafshdar Goharshady, Petr Novotný, and Đorđe Žikelić
(IST Austria, Austria; Ferdowsi University of Mashhad, Iran; Masaryk University, Czechia)
@InProceedings{PLDI21p1207,
author = {Krishnendu Chatterjee and Ehsan Kafshdar Goharshady and Petr Novotný and Đorđe Žikelić},
title = {Proving Non-termination by Program Reversal},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1207-1206},
doi = {10.1145/3453483.3454093},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
Artifacts Reusable
Artifacts Functional
PLDI '21: "Execution Reconstruction: ..."
Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction
Gefei Zuo, Jiacheng Ma, Andrew Quinn, Pramod Bhatotia, Pedro Fonseca, and Baris Kasikci
(University of Michigan, USA; TU Munich, Germany; Purdue University, USA)
@InProceedings{PLDI21p1351,
author = {Gefei Zuo and Jiacheng Ma and Andrew Quinn and Pramod Bhatotia and Pedro Fonseca and Baris Kasikci},
title = {Execution Reconstruction: Harnessing Failure Reoccurrences for Failure Reproduction},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1351-1350},
doi = {10.1145/3453483.3454101},
year = {2021},
}
Publisher's Version
Published Artifact
Artifacts Available
PLDI '21: "Chianina: An Evolving Graph ..."
Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code
Zhiqiang Zuo, Yiyu Zhang, Qiuhong Pan, Shenming Lu, Yue Li, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1063,
author = {Zhiqiang Zuo and Yiyu Zhang and Qiuhong Pan and Shenming Lu and Yue Li and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {Chianina: An Evolving Graph System for Flow- and Context-Sensitive Analyses of Million Lines of C Code},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1063-1062},
doi = {10.1145/3453483.3454085},
year = {2021},
}
Publisher's Version
PLDI '21: "JPortal: Precise and Efficient ..."
JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace
Zhiqiang Zuo, Kai Ji, Yifei Wang, Wei Tao, Linzhang Wang, Xuandong Li, and Guoqing Harry Xu
(Nanjing University, China; University of California at Los Angeles, USA)
@InProceedings{PLDI21p1261,
author = {Zhiqiang Zuo and Kai Ji and Yifei Wang and Wei Tao and Linzhang Wang and Xuandong Li and Guoqing Harry Xu},
title = {JPortal: Precise and Efficient Control-Flow Tracing for JVM Programs with Intel Processor Trace},
booktitle = {Proc.\ PLDI},
publisher = {ACM},
pages = {1261-1260},
doi = {10.1145/3453483.3454096},
year = {2021},
}
Publisher's Version