PLDI 2021 – Author Index

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

	Acar, Umut A.	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Acay, Coşku	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 Article: pldi21main-p311-p doi:10.1145/3453483.3454074
	Agrawal, Gagan	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 Article: pldi21main-p375-p doi:10.1145/3453483.3454083
	Aiken, Alex	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 Article: pldi21main-p297-p doi:10.1145/3453483.3454071
	Alaghi, Armin	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Alonso, Gustavo	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 Article: pldi21main-p44-p doi:10.1145/3453483.3454034
	Alur, Rajeev	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Anderson, Daniel	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 Article: pldi21main-p180-p doi:10.1145/3453483.3454060
	Asadi, Ali	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 Article: pldi21main-p325-p doi:10.1145/3453483.3454076
	Baader, Maximilian	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 Article: pldi21main-p156-p doi:10.1145/3453483.3454056
	Balkind, Jonathan	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 Article: pldi21main-p72-p doi:10.1145/3453483.3454037
	Bastani, Osbert	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047
	Basu, Nilanjana	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 Article: pldi21main-p763-p doi:10.1145/3453483.3454107
	Baudart, Guillaume	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 Article: pldi21main-p166-p doi:10.1145/3453483.3454058
	Bergmann, Gábor	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 Article: pldi21main-p12-p doi:10.1145/3453483.3454026
	Beutner, Raven	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 Article: pldi21main-p853-p doi:10.1145/3453483.3454111
	Bhatotia, Pramod	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Bian, Lizhong	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Bichsel, Benjamin	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 Article: pldi21main-p83-p doi:10.1145/3453483.3454040
	Bielik, Pavol	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 Article: pldi21main-p605-p doi:10.1145/3453483.3454100
	Birkedal, Lars	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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Bjørner, Nikolaj	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 Article: pldi21main-p249-p doi:10.1145/3453483.3454066
	Blelloch, Guy E.	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 Article: pldi21main-p180-p doi:10.1145/3453483.3454060
	Blinn, Andrew	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Bonaert, Gregory	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 Article: pldi21main-p156-p doi:10.1145/3453483.3454056
	Brown, Fraser	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 Article: pldi21main-p299-p doi:10.1145/3453483.3454072
	Bruno, Rodrigo	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 Article: pldi21main-p44-p doi:10.1145/3453483.3454034
	Burroni, Javier	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 Article: pldi21main-p166-p doi:10.1145/3453483.3454058
	Cai, Yuandao	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 Article: pldi21main-p601-p doi:10.1145/3453483.3454099
	Campagna, Giovanni	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 Article: pldi21main-p115-p doi:10.1145/3453483.3454046
	Campanoni, Simone	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Cary, Luc	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Casinghino, Chris	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 Article: pldi21main-p145-p doi:10.1145/3453483.3454053
	Castro-Perez, David	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 Article: pldi21main-p92-p doi:10.1145/3453483.3454041
	Ceze, Luis	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 Article: pldi21main-p319-p doi:10.1145/3453483.3454075
	Chang, Bor-Yuh Evan	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 Article: pldi21main-p111-p doi:10.1145/3453483.3454044
	Chatterjee, Krishnendu	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 Article: pldi21main-p520-p doi:10.1145/3453483.3454093 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 Article: pldi21main-p645-p doi:10.1145/3453483.3454102 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 Article: pldi21main-p325-p doi:10.1145/3453483.3454076
	Chen, Qiaochu	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047
	Cheng, Bin	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Cheng, Yun	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Chlipala, Adam	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 Article: pldi21main-p244-p doi:10.1145/3453483.3454065
	Cho, Kyeongmin	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 Article: pldi21main-p21-p doi:10.1145/3453483.3454027
	Cho, Minki	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 Article: pldi21main-p369-p doi:10.1145/3453483.3454082
	Choi, Euirim	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 Article: pldi21main-p115-p doi:10.1145/3453483.3454046
	Choi, Joonwon	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 Article: pldi21main-p244-p doi:10.1145/3453483.3454065
	Chong, Frederic T.	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Christensen, Michael	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 Article: pldi21main-p72-p doi:10.1145/3453483.3454037
	Chugh, Ravi	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Collins, Nick	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Cowan, Meghan	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Dangwal, Deeksha	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Dao, Thanh Tuan	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 Article: pldi21main-p76-p doi:10.1145/3453483.3454038
	Da Silva, Dilma	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Delaware, Benjamin	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 Article: pldi21main-p25-p doi:10.1145/3453483.3454028
	De Moura, Leonardo	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 Article: pldi21main-p40-p doi:10.1145/3453483.3454032
	Di, Peng	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Dillig, Isil	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047 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 Article: pldi21main-p228-p doi:10.1145/3453483.3454063
	Dimitrov, Dimitar I.	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 Article: pldi21main-p156-p doi:10.1145/3453483.3454056
	Dinda, Peter	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Dolan, Stephen	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Donaldson, Alastair F.	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Dreyer, Derek	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036 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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	D'Souza, Deepak	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 Article: pldi21main-p717-p doi:10.1145/3453483.3454104
	Durrett, Greg	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047
	Ellis, Kevin	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Ellis, Tom	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 Article: pldi21main-p440-p doi:10.1145/3453483.3454088
	Erbsen, Andres	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 Article: pldi21main-p244-p doi:10.1145/3453483.3454065
	Erdweg, Sebastian	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 Article: pldi21main-p12-p doi:10.1145/3453483.3454026 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 Article: pldi21main-p144-p doi:10.1145/3453483.3454052
	Eriksson, Jakob	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 Article: pldi21main-p763-p doi:10.1145/3453483.3454107
	Fan, Hongyu	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 Article: pldi21main-p773-p doi:10.1145/3453483.3454108
	Fang, Dingyi	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Farzan, Azadeh	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 Article: pldi21main-p457-p doi:10.1145/3453483.3454089
	Fedyukovich, Grigory	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 Article: pldi21main-p717-p doi:10.1145/3453483.3454104 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 Article: pldi21main-p155-p doi:10.1145/3453483.3454055
	Feng, Weijie	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Feng, Xinyu	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 Article: pldi21main-p255-p doi:10.1145/3453483.3454067
	Ferreira, Francisco	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 Article: pldi21main-p92-p doi:10.1145/3453483.3454041
	Fischer, Michael H.	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 Article: pldi21main-p115-p doi:10.1145/3453483.3454046
	Fisher, Kathleen	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 Article: pldi21main-p145-p doi:10.1145/3453483.3454053
	Fitzgibbon, Andrew	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 Article: pldi21main-p440-p doi:10.1145/3453483.3454088
	Fonseca, Pedro	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Foster, Jeffrey S.	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 Article: pldi21main-p124-p doi:10.1145/3453483.3454048
	Friedman, Michal	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 Article: pldi21main-p734-p doi:10.1145/3453483.3454105
	Fu, Hongfei	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 Article: pldi21main-p645-p doi:10.1145/3453483.3454102 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 Article: pldi21main-p325-p doi:10.1145/3453483.3454076
	Gadepally, Vijay	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 Article: pldi21main-p787-p doi:10.1145/3453483.3454109
	Gäher, Lennard	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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Gancher, Joshua	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 Article: pldi21main-p311-p doi:10.1145/3453483.3454074
	Gao, Xiong	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Garg, Deepak	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036
	Gehr, Timon	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 Article: pldi21main-p605-p doi:10.1145/3453483.3454100
	Geng, Zhen	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Gheri, Lorenzo	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 Article: pldi21main-p92-p doi:10.1145/3453483.3454041
	Goharshady, Amir Kafshdar	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 Article: pldi21main-p645-p doi:10.1145/3453483.3454102 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 Article: pldi21main-p325-p doi:10.1145/3453483.3454076
	Goharshady, Ehsan Kafshdar	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 Article: pldi21main-p520-p doi:10.1145/3453483.3454093
	Gottfried, Benjamin	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 Article: pldi21main-p522-p doi:10.1145/3453483.3454094
	Govindaraj, Vineetha	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042
	Gratzer, Daniel	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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Grossman, Dan	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 Article: pldi21main-p43-p doi:10.1145/3453483.3454033 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 Article: pldi21main-p319-p doi:10.1145/3453483.3454075
	Gruetter, Samuel	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 Article: pldi21main-p244-p doi:10.1145/3453483.3454065
	Grunske, Lars	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 Article: pldi21main-p130-p doi:10.1145/3453483.3454051
	Gu, Ronghui	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Guan, Jiexiong	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 Article: pldi21main-p375-p doi:10.1145/3453483.3454083
	Guria, Sankha Narayan	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 Article: pldi21main-p124-p doi:10.1145/3453483.3454048
	Hägele, Alexander	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 Article: pldi21main-p605-p doi:10.1145/3453483.3454100
	Hale, Kyle	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Hardavellas, Nikos	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Hardekopf, Ben	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 Article: pldi21main-p72-p doi:10.1145/3453483.3454037
	Hazelwood, Kim	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 Article: pldi21main-p106-p doi:10.1145/3453483.3454043
	He, Fei	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 Article: pldi21main-p773-p doi:10.1145/3453483.3454108
	He, Jingxuan	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 Article: pldi21main-p112-p doi:10.1145/3453483.3454045
	Hewitt, Luke	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Hirzel, Martin	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 Article: pldi21main-p166-p doi:10.1145/3453483.3454058
	Ho, Michael	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 Article: pldi21main-p45-p doi:10.1145/3453483.3454035
	Hoffmann, Jan	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 Article: pldi21main-p227-p doi:10.1145/3453483.3454062 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 Article: pldi21main-p332-p doi:10.1145/3453483.3454077
	Hu, Xiaowen	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 Article: pldi21main-p283-p doi:10.1145/3453483.3454070
	Huang, Jeff	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Huang, Songfang	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Hui, John	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Hur, Chung-Kil	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 Article: pldi21main-p369-p doi:10.1145/3453483.3454082 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 Article: pldi21main-p30-p doi:10.1145/3453483.3454030
	Iooss, Guillaume	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Itzhaky, Shachar	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 Article: pldi21main-p430-p doi:10.1145/3453483.3454087
	Jaffer, Sadiq	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Jagannathan, Suresh	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 Article: pldi21main-p25-p doi:10.1145/3453483.3454028
	Jensen, Thomas	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 Article: pldi21main-p165-p doi:10.1145/3453483.3454057
	Ji, Kai	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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Jia, Limin	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 Article: pldi21main-p404-p doi:10.1145/3453483.3454084 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 Article: pldi21main-p363-p doi:10.1145/3453483.3454081
	Jiang, Huaipan	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042
	Jin, Xuefeng	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Jordan, Herbert	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 Article: pldi21main-p283-p doi:10.1145/3453483.3454070
	Jovanovic, Vojin	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 Article: pldi21main-p44-p doi:10.1145/3453483.3454034
	Jung, Wookeun	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 Article: pldi21main-p76-p doi:10.1145/3453483.3454038
	Kalhauge, Christian Gram	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 Article: pldi21main-p485-p doi:10.1145/3453483.3454091
	Kandemir, Mahmut Taylan	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042 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 Article: pldi21main-p279-p doi:10.1145/3453483.3454069
	Kang, Jeehoon	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 Article: pldi21main-p21-p doi:10.1145/3453483.3454027
	Karakoy, Mustafa	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 Article: pldi21main-p279-p doi:10.1145/3453483.3454069
	Karpiński, Antoni	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Kasikci, Baris	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Kelly, Tom	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Kincaid, Zachary	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 Article: pldi21main-p826-p doi:10.1145/3453483.3454110
	Koenig, Jason R.	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 Article: pldi21main-p297-p doi:10.1145/3453483.3454071
	Koenig, Jérémie	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 Article: pldi21main-p596-p doi:10.1145/3453483.3454097
	Kostyukov, Yurii	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 Article: pldi21main-p155-p doi:10.1145/3453483.3454055
	Krebbers, Robbert	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036 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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Kulkarni, Milind	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 Article: pldi21main-p522-p doi:10.1145/3453483.3454094
	Kumar, Amrit	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 Article: pldi21main-p885-p doi:10.1145/3453483.3454112
	Lahav, Ori	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 Article: pldi21main-p369-p doi:10.1145/3453483.3454082
	Lam, Monica S.	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 Article: pldi21main-p115-p doi:10.1145/3453483.3454046
	Lamoreaux, Aaron	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047
	Lasser, Sam	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 Article: pldi21main-p145-p doi:10.1145/3453483.3454053
	Lawrence, Alan	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 Article: pldi21main-p440-p doi:10.1145/3453483.3454088
	Leather, Hugh	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 Article: pldi21main-p106-p doi:10.1145/3453483.3454043
	Lee, Cheng-Chun	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 Article: pldi21main-p112-p doi:10.1145/3453483.3454045
	Lee, Jaejin	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 Article: pldi21main-p76-p doi:10.1145/3453483.3454038
	Lee, Juneyoung	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 Article: pldi21main-p30-p doi:10.1145/3453483.3454030
	Lee, Sung-Hwan	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 Article: pldi21main-p369-p doi:10.1145/3453483.3454082 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 Article: pldi21main-p21-p doi:10.1145/3453483.3454027
	Lee, Vincent T.	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Lei, Yu	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 Article: pldi21main-p45-p doi:10.1145/3453483.3454035
	Leijen, Daan	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 Article: pldi21main-p40-p doi:10.1145/3453483.3454032
	Leo, John	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 Article: pldi21main-p43-p doi:10.1145/3453483.3454033
	Lepigre, Rodolphe	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036
	Lerner, Sorin	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 Article: pldi21main-p299-p doi:10.1145/3453483.3454072
	Li, Bojie	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Li, Jing	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Li, Li	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 Article: pldi21main-p45-p doi:10.1145/3453483.3454035
	Li, Xuandong	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085 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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Li, Yanze	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Li, Yue	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085
	Li, Zheng	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Liang, Hongjin	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 Article: pldi21main-p255-p doi:10.1145/3453483.3454067
	Lim, Jay P.	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 Article: pldi21main-p126-p doi:10.1145/3453483.3454049
	Liu, Binbin	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Liu, Bozhen	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Liu, Peiming	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Liu, Zhengyang	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 Article: pldi21main-p30-p doi:10.1145/3453483.3454030
	Lopes, Nuno P.	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 Article: pldi21main-p30-p doi:10.1145/3453483.3454030
	Lu, Shenming	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085
	Lucia, Brandon	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 Article: pldi21main-p363-p doi:10.1145/3453483.3454081
	Ma, Jiacheng	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Madhavapeddy, Anil	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Madhukar, Kumar	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 Article: pldi21main-p717-p doi:10.1145/3453483.3454104
	Mahdavi, Mohammad	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 Article: pldi21main-p325-p doi:10.1145/3453483.3454076
	Malik, Raghav	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 Article: pldi21main-p522-p doi:10.1145/3453483.3454094
	Mandel, Louis	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 Article: pldi21main-p166-p doi:10.1145/3453483.3454058
	Mansinghka, Vikash K.	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 Article: pldi21main-p337-p doi:10.1145/3453483.3454078
	Martins, Ruben	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 Article: pldi21main-p404-p doi:10.1145/3453483.3454084
	Maselco, André Perez	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Maziarz, Krzysztof	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 Article: pldi21main-p440-p doi:10.1145/3453483.3454088
	McMahan, Joseph	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 Article: pldi21main-p319-p doi:10.1145/3453483.3454075
	Memarian, Kayvan	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036
	Milizia, Stefano	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Ming, Jiang	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 Article: pldi21main-p45-p doi:10.1145/3453483.3454035 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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Mirman, Matthew	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 Article: pldi21main-p605-p doi:10.1145/3453483.3454100
	Montagu, Benoît	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 Article: pldi21main-p165-p doi:10.1145/3453483.3454057
	Montanari, Claudio	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 Article: pldi21main-p763-p doi:10.1145/3453483.3454107
	Moon, David	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Morales, Lucas	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Mordvinov, Dmitry	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 Article: pldi21main-p155-p doi:10.1145/3453483.3454055
	Morihata, Akimasa	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 Article: pldi21main-p343-p doi:10.1145/3453483.3454079
	Mpeis, Paschalis	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 Article: pldi21main-p106-p doi:10.1145/3453483.3454043
	Myers, Andrew C.	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 Article: pldi21main-p311-p doi:10.1145/3453483.3454074
	Nagar, Kartik	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 Article: pldi21main-p25-p doi:10.1145/3453483.3454028
	Nagarakatte, Santosh	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 Article: pldi21main-p126-p doi:10.1145/3453483.3454049
	Naik, Aaditya	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Naik, Mayur	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Newton, Ryan R.	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Nicolet, Victor	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 Article: pldi21main-p457-p doi:10.1145/3453483.3454089
	Nie, Wang	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Nikolaev, Ruslan	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 Article: pldi21main-p465-p doi:10.1145/3453483.3454090
	Niu, Wei	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 Article: pldi21main-p375-p doi:10.1145/3453483.3454083
	Noller, Yannic	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 Article: pldi21main-p130-p doi:10.1145/3453483.3454051
	Novotný, Petr	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 Article: pldi21main-p520-p doi:10.1145/3453483.3454093
	Nye, Maxwell	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Olivry, Auguste	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Omar, Cyrus	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Ong, Luke	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 Article: pldi21main-p853-p doi:10.1145/3453483.3454111
	Pacak, André	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 Article: pldi21main-p144-p doi:10.1145/3453483.3454052
	Padon, Oded	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 Article: pldi21main-p297-p doi:10.1145/3453483.3454071
	Pailoor, Shankara	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 Article: pldi21main-p228-p doi:10.1145/3453483.3454063
	Palsberg, Jens	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 Article: pldi21main-p485-p doi:10.1145/3453483.3454091 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 Article: pldi21main-p203-p doi:10.1145/3453483.3454061
	Pan, Qiuhong	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085
	Paradis, Anouk	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 Article: pldi21main-p83-p doi:10.1145/3453483.3454040
	Păsăreanu, Corina S.	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 Article: pldi21main-p404-p doi:10.1145/3453483.3454084
	Patel, Tirthak	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 Article: pldi21main-p787-p doi:10.1145/3453483.3454109
	Peleg, Hila	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 Article: pldi21main-p430-p doi:10.1145/3453483.3454087
	Petoumenos, Pavlos	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 Article: pldi21main-p106-p doi:10.1145/3453483.3454043
	Petrank, Erez	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 Article: pldi21main-p734-p doi:10.1145/3453483.3454105
	Peyton Jones, Simon	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 Article: pldi21main-p440-p doi:10.1145/3453483.3454088
	Pîrlea, George	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 Article: pldi21main-p885-p doi:10.1145/3453483.3454112
	Polikarpova, Nadia	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 Article: pldi21main-p430-p doi:10.1145/3453483.3454087
	Porter, RanDair	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 Article: pldi21main-p43-p doi:10.1145/3453483.3454033
	Prabhu, Sumanth	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 Article: pldi21main-p717-p doi:10.1145/3453483.3454104
	Quinn, Andrew	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Raad, Azalea	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 Article: pldi21main-p21-p doi:10.1145/3453483.3454027
	Raghothaman, Mukund	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Rahmani, Kia	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 Article: pldi21main-p25-p doi:10.1145/3453483.3454028
	Rainey, Mike	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 Article: pldi21main-p530-p doi:10.1145/3453483.3460969
	Ramalhete, Pedro	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 Article: pldi21main-p734-p doi:10.1145/3453483.3454105
	Rastello, Fabrice	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Ravindran, Binoy	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 Article: pldi21main-p465-p doi:10.1145/3453483.3454090
	Raychev, Veselin	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 Article: pldi21main-p112-p doi:10.1145/3453483.3454045
	Reagen, Brandon	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Recto, Rolph	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 Article: pldi21main-p311-p doi:10.1145/3453483.3454074
	Regehr, John	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 Article: pldi21main-p30-p doi:10.1145/3453483.3454030
	Reinking, Alex	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 Article: pldi21main-p40-p doi:10.1145/3453483.3454032
	Ren, Bin	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 Article: pldi21main-p375-p doi:10.1145/3453483.3454083
	Ren, Xiaolei	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 Article: pldi21main-p45-p doi:10.1145/3453483.3454035
	Renner, John	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 Article: pldi21main-p299-p doi:10.1145/3453483.3454072
	Reps, Thomas	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 Article: pldi21main-p227-p doi:10.1145/3453483.3454062 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 Article: pldi21main-p332-p doi:10.1145/3453483.3454077
	Rinard, Martin C.	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 Article: pldi21main-p337-p doi:10.1145/3453483.3454078
	Ringer, Talia	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 Article: pldi21main-p43-p doi:10.1145/3453483.3454033
	Rountev, Atanas	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Roux, Cody	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 Article: pldi21main-p145-p doi:10.1145/3453483.3454053
	Rowe, Reuben N. S.	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 Article: pldi21main-p430-p doi:10.1145/3453483.3454087
	Roy, Rohan Basu	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 Article: pldi21main-p787-p doi:10.1145/3453483.3454109
	Roychoudhury, Abhik	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 Article: pldi21main-p130-p doi:10.1145/3453483.3454051
	Ryoo, Jihyun	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 Article: pldi21main-p279-p doi:10.1145/3453483.3454069
	Saad, Feras A.	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 Article: pldi21main-p337-p doi:10.1145/3453483.3454078
	Sablé-Meyer, Mathias	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Sadayappan, P.	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Sammler, Michael	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 Article: pldi21main-p67-p doi:10.1145/3453483.3454036
	Sampson, Adrian	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 Article: pldi21main-p319-p doi:10.1145/3453483.3454075
	Sampson, Jack	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042
	Sanchez-Stern, Alex	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 Article: pldi21main-p299-p doi:10.1145/3453483.3454072
	Sands, Nathaniel	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Sato, Shigeyuki	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 Article: pldi21main-p343-p doi:10.1145/3453483.3454079
	Scholz, Bernhard	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 Article: pldi21main-p283-p doi:10.1145/3453483.3454070
	Sergey, Ilya	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 Article: pldi21main-p430-p doi:10.1145/3453483.3454087 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 Article: pldi21main-p885-p doi:10.1145/3453483.3454112
	Shao, Zhong	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 Article: pldi21main-p596-p doi:10.1145/3453483.3454097
	Shariffdeen, Ridwan	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 Article: pldi21main-p130-p doi:10.1145/3453483.3454051
	Sherwood, Timothy	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 Article: pldi21main-p72-p doi:10.1145/3453483.3454037
	Shi, Elaine	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 Article: pldi21main-p311-p doi:10.1145/3453483.3454074
	Shi, Qingkai	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 Article: pldi21main-p424-p doi:10.1145/3453483.3454086
	Shi, Yunong	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Shinnar, Avraham	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 Article: pldi21main-p166-p doi:10.1145/3453483.3454058
	Singhal, Vidush	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 Article: pldi21main-p522-p doi:10.1145/3453483.3454094
	Sivaramakrishnan, KC	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Solar-Lezama, Armando	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Sotoudeh, Matthew	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 Article: pldi21main-p243-p doi:10.1145/3453483.3454064
	Spies, Simon	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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Sridharan, Manu	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 Article: pldi21main-p111-p doi:10.1145/3453483.3454044
	Stanford, Caleb	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 Article: pldi21main-p249-p doi:10.1145/3453483.3454066
	Stefan, Deian	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 Article: pldi21main-p299-p doi:10.1145/3453483.3454072
	Steffen, Samuel	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 Article: pldi21main-p83-p doi:10.1145/3453483.3454040
	Stein, Benno	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 Article: pldi21main-p111-p doi:10.1145/3453483.3454044
	Sun, Xiaoyang	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Sun, Yican	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 Article: pldi21main-p645-p doi:10.1145/3453483.3454102
	Sun, Zhihang	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 Article: pldi21main-p773-p doi:10.1145/3453483.3454108
	Surbatovich, Milijana	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 Article: pldi21main-p363-p doi:10.1145/3453483.3454081
	Szabó, Tamás	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 Article: pldi21main-p12-p doi:10.1145/3453483.3454026 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 Article: pldi21main-p144-p doi:10.1145/3453483.3454052
	Takashima, Yoshiki	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 Article: pldi21main-p404-p doi:10.1145/3453483.3454084
	Tan, Shin Hwei	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Tang, Xulong	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042 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 Article: pldi21main-p279-p doi:10.1145/3453483.3454069
	Tang, Zhanyong	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Tao, Runzhou	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Tao, Wei	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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Tassarotti, Joseph	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 Article: pldi21main-p34-p doi:10.1145/3453483.3454031
	Teliman, Vasyl	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Tenenbaum, Joshua B.	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Thakkar, Aalok	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 Article: pldi21main-p599-p doi:10.1145/3453483.3454098
	Thakur, Aditya V.	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 Article: pldi21main-p243-p doi:10.1145/3453483.3454064
	Thomson, Paul	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 Article: pldi21main-p517-p doi:10.1145/3453483.3454092
	Tiwari, Devesh	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 Article: pldi21main-p787-p doi:10.1145/3453483.3454109
	Tollenaere, Nicolas	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 Article: pldi21main-p650-p doi:10.1145/3453483.3454103
	Trippel, Caroline	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 Article: pldi21main-p127-p doi:10.1145/3453483.3454050
	Tsai, Chia-Che	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 Article: pldi21main-p305-p doi:10.1145/3453483.3454073
	Van Horn, David	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 Article: pldi21main-p124-p doi:10.1145/3453483.3454048
	Veanes, Margus	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 Article: pldi21main-p249-p doi:10.1145/3453483.3454066
	Vechev, Martin	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 Article: pldi21main-p605-p doi:10.1145/3453483.3454100 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 Article: pldi21main-p83-p doi:10.1145/3453483.3454040 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 Article: pldi21main-p112-p doi:10.1145/3453483.3454045 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 Article: pldi21main-p156-p doi:10.1145/3453483.3454056
	Vega, Luis	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 Article: pldi21main-p319-p doi:10.1145/3453483.3454075
	Voysey, Ian	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 Article: pldi21main-p174-p doi:10.1145/3453483.3454059
	Wang, Di	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 Article: pldi21main-p227-p doi:10.1145/3453483.3454062 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 Article: pldi21main-p332-p doi:10.1145/3453483.3454077
	Wang, Haibo	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Wang, Jinyi	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 Article: pldi21main-p645-p doi:10.1145/3453483.3454102
	Wang, Linzhang	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085 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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Wang, Xinyu	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 Article: pldi21main-p121-p doi:10.1145/3453483.3454047 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 Article: pldi21main-p228-p doi:10.1145/3453483.3454063
	Wang, Yanzhi	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 Article: pldi21main-p375-p doi:10.1145/3453483.3454083
	Wang, Yifei	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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Wang, Yuepeng	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 Article: pldi21main-p228-p doi:10.1145/3453483.3454063
	Wang, Zheng	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Wei, Yuanhao	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 Article: pldi21main-p180-p doi:10.1145/3453483.3454060
	White, Leo	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 Article: pldi21main-p82-p doi:10.1145/3453483.3454039
	Wimmer, Christian	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 Article: pldi21main-p44-p doi:10.1145/3453483.3454034
	Wong, Catherine	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 Article: pldi21main-p355-p doi:10.1145/3453483.3454080
	Wood, Clark	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 Article: pldi21main-p244-p doi:10.1145/3453483.3454065
	Wu, Chen	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Wu, Rongxin	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 Article: pldi21main-p424-p doi:10.1145/3453483.3454086
	Xie, Ningning	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 Article: pldi21main-p40-p doi:10.1145/3453483.3454032
	Xu, Dongpeng	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Xu, Guoqing Harry	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085 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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096
	Yao, Jianan	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 Article: pldi21main-p27-p doi:10.1145/3453483.3454029
	Yao, Peisen	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 Article: pldi21main-p424-p doi:10.1145/3453483.3454086 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 Article: pldi21main-p601-p doi:10.1145/3453483.3454099
	Yazdani, Nathaniel	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 Article: pldi21main-p43-p doi:10.1145/3453483.3454033
	Ye, Guixin	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 Article: pldi21main-p149-p doi:10.1145/3453483.3454054
	Yoshida, Nobuko	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 Article: pldi21main-p92-p doi:10.1145/3453483.3454041
	Yu, Nengkun	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 Article: pldi21main-p203-p doi:10.1145/3453483.3454061
	Yu, Qiaoyan	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Zhang, Charles	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 Article: pldi21main-p424-p doi:10.1145/3453483.3454086 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 Article: pldi21main-p601-p doi:10.1145/3453483.3454099
	Zhang, Danfeng	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042
	Zhang, Haibo	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 Article: pldi21main-p99-p doi:10.1145/3453483.3454042
	Zhang, Kun	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Zhang, Renwei	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Zhang, Yiyu	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085
	Zhao, David	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 Article: pldi21main-p283-p doi:10.1145/3453483.3454070
	Zhao, Hui	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 Article: pldi21main-p279-p doi:10.1145/3453483.3454069
	Zhao, Jie	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 Article: pldi21main-p760-p doi:10.1145/3453483.3454106
	Zheng, Qilong	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 Article: pldi21main-p274-p doi:10.1145/3453483.3454068
	Zhu, Shaowei	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 Article: pldi21main-p826-p doi:10.1145/3453483.3454110
	Žikelić, Đorđe	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 Article: pldi21main-p520-p doi:10.1145/3453483.3454093
	Zuo, Gefei	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 Article: pldi21main-p618-p doi:10.1145/3453483.3454101
	Zuo, Zhiqiang	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 Article: pldi21main-p407-p doi:10.1145/3453483.3454085 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 Article: pldi21main-p577-p doi:10.1145/3453483.3454096