PLDI 2020 – Author Index

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

	Abdel-Majeed, Mohammad	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Abdulla, Parosh Aziz	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Abhashkumar, Anubhavnidhi	PLDI '20: "Detecting Network Load Violations ..." Detecting Network Load Violations for Distributed Control Planes Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1281, author = {Kausik Subramanian and Anubhavnidhi Abhashkumar and Loris D'Antoni and Aditya Akella}, title = {Detecting Network Load Violations for Distributed Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1281-1280}, doi = {10.1145/3385412.3385976}, year = {2020}, } Publisher's Version Artifacts Functional
	Acar, Umut A.	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Adve, Vikram S.	PLDI '20: "Scalable Validation of Binary ..." Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI20p861, author = {Sandeep Dasgupta and Sushant Dinesh and Deepan Venkatesh and Vikram S. Adve and Christopher W. Fletcher}, title = {Scalable Validation of Binary Lifters}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3385412.3385964}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Agrawal, Kunal	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Aiken, Alex	PLDI '20: "First-Order Quantified Separators ..." First-Order Quantified Separators Jason R. Koenig, Oded Padon, Neil Immerman, and Alex Aiken (Stanford University, USA; University of Massachusetts at Amherst, USA) @InProceedings{PLDI20p921, author = {Jason R. Koenig and Oded Padon and Neil Immerman and Alex Aiken}, title = {First-Order Quantified Separators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {921-920}, doi = {10.1145/3385412.3386018}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Akeley, David	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Akella, Aditya	PLDI '20: "Detecting Network Load Violations ..." Detecting Network Load Violations for Distributed Control Planes Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1281, author = {Kausik Subramanian and Anubhavnidhi Abhashkumar and Loris D'Antoni and Aditya Akella}, title = {Detecting Network Load Violations for Distributed Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1281-1280}, doi = {10.1145/3385412.3385976}, year = {2020}, } Publisher's Version Artifacts Functional
	Albarghouthi, Aws	PLDI '20: "Proving Data-Poisoning Robustness ..." Proving Data-Poisoning Robustness in Decision Trees Samuel Drews, Aws Albarghouthi, and Loris D'Antoni (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1421, author = {Samuel Drews and Aws Albarghouthi and Loris D'Antoni}, title = {Proving Data-Poisoning Robustness in Decision Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1421-1420}, doi = {10.1145/3385412.3385975}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Allamanis, Miltiadis	PLDI '20: "Typilus: Neural Type Hints ..." Typilus: Neural Type Hints Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao (Microsoft Research, UK; University College London, UK; ENSTA Paris, France) @InProceedings{PLDI20p121, author = {Miltiadis Allamanis and Earl T. Barr and Soline Ducousso and Zheng Gao}, title = {Typilus: Neural Type Hints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3385412.3385997}, year = {2020}, } Publisher's Version
	Allen, Nicholas	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Amarasinghe, Saman	PLDI '20: "Automatic Generation of Efficient ..." Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA) @InProceedings{PLDI20p1081, author = {Stephen Chou and Fredrik Kjolstad and Saman Amarasinghe}, title = {Automatic Generation of Efficient Sparse Tensor Format Conversion Routines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1081-1080}, doi = {10.1145/3385412.3385963}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Anderson, Adam	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Antoniadis, Anastasios	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Apostolakis, Sotiris	PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Arvind	PLDI '20: "The Essence of Bluespec: A ..." The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p321, author = {Thomas Bourgeat and Clément Pit-Claudel and Adam Chlipala and Arvind}, title = {The Essence of Bluespec: A Core Language for Rule-Based Hardware Design}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3385412.3385965}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Atapattu, Sachille	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Atig, Mohamed Faouzi	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Atkinson, Eric	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	August, David I.	PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Ayoun, Sacha-Élie	PLDI '20: "Gillian, Part I: A Multi-language ..." Gillian, Part I: A Multi-language Platform for Symbolic Execution José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, and Philippa Gardner (INESC-ID, Portugal; Instituto Superior Técnico, University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{PLDI20p1221, author = {José Fragoso Santos and Petar Maksimović and Sacha-Élie Ayoun and Philippa Gardner}, title = {Gillian, Part I: A Multi-language Platform for Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3385412.3386014}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Baader, Maximilian	PLDI '20: "Silq: A High-Level Quantum ..." Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p381, author = {Benjamin Bichsel and Maximilian Baader and Timon Gehr and Martin Vechev}, title = {Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3385412.3386007}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Bansal, Sorav	PLDI '20: "OOElala: Order-of-Evaluation ..." OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization Ankush Phulia, Vaibhav Bhagee, and Sorav Bansal (IIT Delhi, India) @InProceedings{PLDI20p1101, author = {Ankush Phulia and Vaibhav Bhagee and Sorav Bansal}, title = {OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1101-1100}, doi = {10.1145/3385412.3385962}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Barbier, Guillaume	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Barr, Earl T.	PLDI '20: "Typilus: Neural Type Hints ..." Typilus: Neural Type Hints Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao (Microsoft Research, UK; University College London, UK; ENSTA Paris, France) @InProceedings{PLDI20p121, author = {Miltiadis Allamanis and Earl T. Barr and Soline Ducousso and Zheng Gao}, title = {Typilus: Neural Type Hints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3385412.3385997}, year = {2020}, } Publisher's Version
	Barthe, Gilles	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Barua, Prithayan	PLDI '20: "BlankIt Library Debloating: ..." BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t Chris Porter, Girish Mururu, Prithayan Barua, and Santosh Pande (Georgia Institute of Technology, USA) @InProceedings{PLDI20p221, author = {Chris Porter and Girish Mururu and Prithayan Barua and Santosh Pande}, title = {BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3385412.3386017}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Baudart, Guillaume	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bauer, Theodore	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Beckett, Ryan	PLDI '20: "NV: An Intermediate Language ..." NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker (Princeton University, USA; Microsoft Research, USA) @InProceedings{PLDI20p1261, author = {Nick Giannarakis and Devon Loehr and Ryan Beckett and David Walker}, title = {NV: An Intermediate Language for Verification of Network Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1261-1260}, doi = {10.1145/3385412.3386019}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Beillahi, Sidi Mohamed	PLDI '20: "Behavioral Simulation for ..." Behavioral Simulation for Smart Contracts Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, and Constantin Enea (University of Paris Diderot, France; IRIF, France; CNRS, France; SRI International, USA; IUF, France) @InProceedings{PLDI20p621, author = {Sidi Mohamed Beillahi and Gabriela Ciocarlie and Michael Emmi and Constantin Enea}, title = {Behavioral Simulation for Smart Contracts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3385412.3386022}, year = {2020}, } Publisher's Version Artifacts Functional
	Ben-David, Naama	PLDI '20: "NVTraverse: In NVRAM Data ..." NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank (Technion, Israel; Carnegie Mellon University, USA) @InProceedings{PLDI20p501, author = {Michal Friedman and Naama Ben-David and Yuanhao Wei and Guy E. Blelloch and Erez Petrank}, title = {NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3385412.3386031}, year = {2020}, } Publisher's Version
	Benini, Luca	PLDI '20: "LLHD: A Multi-level Intermediate ..." LLHD: A Multi-level Intermediate Representation for Hardware Description Languages Fabian Schuiki, Andreas Kurth, Tobias Grosser, and Luca Benini (ETH Zurich, Switzerland) @InProceedings{PLDI20p341, author = {Fabian Schuiki and Andreas Kurth and Tobias Grosser and Luca Benini}, title = {LLHD: A Multi-level Intermediate Representation for Hardware Description Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3385412.3386024}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Bernstein, Gilbert Louis	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Berry, Gérard	PLDI '20: "HipHop.js: (A)Synchronous ..." HipHop.js: (A)Synchronous Reactive Web Programming Gérard Berry and Manuel Serrano (Collège de France, France; Inria, France) @InProceedings{PLDI20p701, author = {Gérard Berry and Manuel Serrano}, title = {HipHop.js: (A)Synchronous Reactive Web Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {701-700}, doi = {10.1145/3385412.3385984}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Bhagee, Vaibhav	PLDI '20: "OOElala: Order-of-Evaluation ..." OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization Ankush Phulia, Vaibhav Bhagee, and Sorav Bansal (IIT Delhi, India) @InProceedings{PLDI20p1101, author = {Ankush Phulia and Vaibhav Bhagee and Sorav Bansal}, title = {OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1101-1100}, doi = {10.1145/3385412.3385962}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Bichsel, Benjamin	PLDI '20: "Silq: A High-Level Quantum ..." Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p381, author = {Benjamin Bichsel and Maximilian Baader and Timon Gehr and Martin Vechev}, title = {Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3385412.3386007}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Blelloch, Guy E.	PLDI '20: "NVTraverse: In NVRAM Data ..." NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank (Technion, Israel; Carnegie Mellon University, USA) @InProceedings{PLDI20p501, author = {Michal Friedman and Naama Ben-David and Yuanhao Wei and Guy E. Blelloch and Erez Petrank}, title = {NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3385412.3386031}, year = {2020}, } Publisher's Version
	Boehm, Hans-J.	PLDI '20: "Towards an API for the Real ..." Towards an API for the Real Numbers Hans-J. Boehm (Google, USA) @InProceedings{PLDI20p741, author = {Hans-J. Boehm}, title = {Towards an API for the Real Numbers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {741-740}, doi = {10.1145/3385412.3386037}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Boker, Udi	PLDI '20: "Decidable Verification under ..." Decidable Verification under a Causally Consistent Shared Memory Ori Lahav and Udi Boker (Tel Aviv University, Israel; IDC Herzliya, Israel) @InProceedings{PLDI20p281, author = {Ori Lahav and Udi Boker}, title = {Decidable Verification under a Causally Consistent Shared Memory}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3385412.3385966}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Bond, Michael D.	PLDI '20: "Crafty: Efficient, HTM-Compatible ..." Crafty: Efficient, HTM-Compatible Persistent Transactions Kaan Genç, Michael D. Bond, and Guoqing Harry Xu (Ohio State University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p81, author = {Kaan Genç and Michael D. Bond and Guoqing Harry Xu}, title = {Crafty: Efficient, HTM-Compatible Persistent Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3385412.3385991}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "SmartTrack: Efficient Predictive ..." SmartTrack: Efficient Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI20p981, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {SmartTrack: Efficient Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {981-980}, doi = {10.1145/3385412.3385993}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available
	Bourgeat, Thomas	PLDI '20: "The Essence of Bluespec: A ..." The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p321, author = {Thomas Bourgeat and Clément Pit-Claudel and Adam Chlipala and Arvind}, title = {The Essence of Bluespec: A Core Language for Rule-Based Hardware Design}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3385412.3385965}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Breck, Jason	PLDI '20: "Templates and Recurrences: ..." Templates and Recurrences: Better Together Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps (University of Wisconsin-Madison, USA; Princeton University, USA) @InProceedings{PLDI20p901, author = {Jason Breck and John Cyphert and Zachary Kincaid and Thomas Reps}, title = {Templates and Recurrences: Better Together}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {901-900}, doi = {10.1145/3385412.3386035}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Brent, Lexi	PLDI '20: "Ethainter: A Smart Contract ..." Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis (International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece) @InProceedings{PLDI20p601, author = {Lexi Brent and Neville Grech and Sifis Lagouvardos and Bernhard Scholz and Yannis Smaragdakis}, title = {Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3385412.3385990}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Brown, Fraser	PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Campanoni, Simone	PLDI '20: "CARAT: A Case for Virtual ..." CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation Brian Suchy, Simone Campanoni, Nikos Hardavellas, and Peter Dinda (Northwestern University, USA) @InProceedings{PLDI20p441, author = {Brian Suchy and Simone Campanoni and Nikos Hardavellas and Peter Dinda}, title = {CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3385412.3385987}, year = {2020}, } Publisher's Version PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Carbin, Michael	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Cauligi, Sunjay	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chakrabarti, Shouvanik	PLDI '20: "On the Principles of Differentiable ..." On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu (University of Maryland, USA) @InProceedings{PLDI20p361, author = {Shaopeng Zhu and Shih-Han Hung and Shouvanik Chakrabarti and Xiaodi Wu}, title = {On the Principles of Differentiable Quantum Programming Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3385412.3386011}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Chakraborty, Soham	PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chan, Greg	PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Chatterjee, Krishnendu	PLDI '20: "Polynomial Invariant Generation ..." Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady (IST Austria, Austria; Shanghai Jiao Tong University, China; Ferdowsi University of Mashhad, Iran) @InProceedings{PLDI20p881, author = {Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Ehsan Kafshdar Goharshady}, title = {Polynomial Invariant Generation for Non-deterministic Recursive Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {881-880}, doi = {10.1145/3385412.3385969}, year = {2020}, } Publisher's Version
	Chen, Jianhui	PLDI '20: "Proving Almost-Sure Termination ..." Proving Almost-Sure Termination by Omega-Regular Decomposition Jianhui Chen and Fei He (Tsinghua University, China) @InProceedings{PLDI20p1141, author = {Jianhui Chen and Fei He}, title = {Proving Almost-Sure Termination by Omega-Regular Decomposition}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3385412.3386002}, year = {2020}, } Publisher's Version
	Chen, Jingji	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Chen, Qiaochu	PLDI '20: "Multi-modal Synthesis of Regular ..." Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig (University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA) @InProceedings{PLDI20p641, author = {Qiaochu Chen and Xinyu Wang and Xi Ye and Greg Durrett and Isil Dillig}, title = {Multi-modal Synthesis of Regular Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3385412.3385988}, year = {2020}, } Publisher's Version
	Chen, Yilun	PLDI '20: "Understanding Memory and Thread ..." Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang (Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA) @InProceedings{PLDI20p1001, author = {Boqin Qin and Yilun Chen and Zeming Yu and Linhai Song and Yiying Zhang}, title = {Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3385412.3386036}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Chen, Yixuan	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Chen, Yu-Fang	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Cheney, James	PLDI '20: "FreezeML: Complete and Easy ..." FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates (University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK) @InProceedings{PLDI20p561, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = {FreezeML: Complete and Easy Type Inference for First-Class Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3385412.3386003}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Chlipala, Adam	PLDI '20: "The Essence of Bluespec: A ..." The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p321, author = {Thomas Bourgeat and Clément Pit-Claudel and Adam Chlipala and Arvind}, title = {The Essence of Bluespec: A Core Language for Rule-Based Hardware Design}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3385412.3385965}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Cho, Minki	PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Choi, Jemin Andrew	PLDI '20: "Securing Smart Contract with ..." Securing Smart Contract with Runtime Validation Ao Li, Jemin Andrew Choi, and Fan Long (University of Toronto, Canada) @InProceedings{PLDI20p581, author = {Ao Li and Jemin Andrew Choi and Fan Long}, title = {Securing Smart Contract with Runtime Validation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {581-580}, doi = {10.1145/3385412.3385982}, year = {2020}, } Publisher's Version Artifacts Functional
	Chou, Stephen	PLDI '20: "Automatic Generation of Efficient ..." Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA) @InProceedings{PLDI20p1081, author = {Stephen Chou and Fredrik Kjolstad and Saman Amarasinghe}, title = {Automatic Generation of Efficient Sparse Tensor Format Conversion Routines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1081-1080}, doi = {10.1145/3385412.3385963}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Chowdhary, Sangeeta	PLDI '20: "Debugging and Detecting Numerical ..." Debugging and Detecting Numerical Errors in Computation with Posits Sangeeta Chowdhary, Jay P. Lim, and Santosh Nagarakatte (Rutgers University, USA) @InProceedings{PLDI20p961, author = {Sangeeta Chowdhary and Jay P. Lim and Santosh Nagarakatte}, title = {Debugging and Detecting Numerical Errors in Computation with Posits}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {961-960}, doi = {10.1145/3385412.3386004}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Ciocarlie, Gabriela	PLDI '20: "Behavioral Simulation for ..." Behavioral Simulation for Smart Contracts Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, and Constantin Enea (University of Paris Diderot, France; IRIF, France; CNRS, France; SRI International, USA; IUF, France) @InProceedings{PLDI20p621, author = {Sidi Mohamed Beillahi and Gabriela Ciocarlie and Michael Emmi and Constantin Enea}, title = {Behavioral Simulation for Smart Contracts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3385412.3386022}, year = {2020}, } Publisher's Version Artifacts Functional
	Coates, Jonathan	PLDI '20: "FreezeML: Complete and Easy ..." FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates (University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK) @InProceedings{PLDI20p561, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = {FreezeML: Complete and Easy Type Inference for First-Class Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3385412.3386003}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Cole, Murray	PLDI '20: "Effective Function Merging ..." Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather (University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK) @InProceedings{PLDI20p1121, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Hugh Leather}, title = {Effective Function Merging in the SSA Form}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3385412.3386030}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Cosman, Benjamin	PLDI '20: "Type Error Feedback via Analytic ..." Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Michigan, USA) @InProceedings{PLDI20p21, author = {Georgios Sakkas and Madeline Endres and Benjamin Cosman and Westley Weimer and Ranjit Jhala}, title = {Type Error Feedback via Analytic Program Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3385412.3386005}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Cyphert, John	PLDI '20: "Exact and Approximate Methods ..." Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Qinheping Hu, John Cyphert, Loris D'Antoni, and Thomas Reps (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1481, author = {Qinheping Hu and John Cyphert and Loris D'Antoni and Thomas Reps}, title = {Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1481-1480}, doi = {10.1145/3385412.3385979}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Templates and Recurrences: ..." Templates and Recurrences: Better Together Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps (University of Wisconsin-Madison, USA; Princeton University, USA) @InProceedings{PLDI20p901, author = {Jason Breck and John Cyphert and Zachary Kincaid and Thomas Reps}, title = {Templates and Recurrences: Better Together}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {901-900}, doi = {10.1145/3385412.3386035}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Dai, Wei	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Daly, Ross	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	D'Antoni, Loris	PLDI '20: "Detecting Network Load Violations ..." Detecting Network Load Violations for Distributed Control Planes Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1281, author = {Kausik Subramanian and Anubhavnidhi Abhashkumar and Loris D'Antoni and Aditya Akella}, title = {Detecting Network Load Violations for Distributed Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1281-1280}, doi = {10.1145/3385412.3385976}, year = {2020}, } Publisher's Version Artifacts Functional PLDI '20: "Proving Data-Poisoning Robustness ..." Proving Data-Poisoning Robustness in Decision Trees Samuel Drews, Aws Albarghouthi, and Loris D'Antoni (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1421, author = {Samuel Drews and Aws Albarghouthi and Loris D'Antoni}, title = {Proving Data-Poisoning Robustness in Decision Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1421-1420}, doi = {10.1145/3385412.3385975}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional PLDI '20: "Exact and Approximate Methods ..." Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Qinheping Hu, John Cyphert, Loris D'Antoni, and Thomas Reps (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1481, author = {Qinheping Hu and John Cyphert and Loris D'Antoni and Thomas Reps}, title = {Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1481-1480}, doi = {10.1145/3385412.3385979}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Darulova, Eva	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Dasgupta, Sandeep	PLDI '20: "Scalable Validation of Binary ..." Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI20p861, author = {Sandeep Dasgupta and Sushant Dinesh and Deepan Venkatesh and Vikram S. Adve and Christopher W. Fletcher}, title = {Scalable Validation of Binary Lifters}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3385412.3385964}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Dathathri, Roshan	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Diep, Bui Phi	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Dillig, Isil	PLDI '20: "Multi-modal Synthesis of Regular ..." Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig (University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA) @InProceedings{PLDI20p641, author = {Qiaochu Chen and Xinyu Wang and Xi Ye and Greg Durrett and Isil Dillig}, title = {Multi-modal Synthesis of Regular Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3385412.3385988}, year = {2020}, } Publisher's Version
	Dinda, Peter	PLDI '20: "CARAT: A Case for Virtual ..." CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation Brian Suchy, Simone Campanoni, Nikos Hardavellas, and Peter Dinda (Northwestern University, USA) @InProceedings{PLDI20p441, author = {Brian Suchy and Simone Campanoni and Nikos Hardavellas and Peter Dinda}, title = {CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3385412.3385987}, year = {2020}, } Publisher's Version
	Dinesh, Sushant	PLDI '20: "Scalable Validation of Binary ..." Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI20p861, author = {Sandeep Dasgupta and Sushant Dinesh and Deepan Venkatesh and Vikram S. Adve and Christopher W. Fletcher}, title = {Scalable Validation of Binary Lifters}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3385412.3385964}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ding, Shuo	PLDI '20: "Debug Information Validation ..." Debug Information Validation for Optimized Code Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano (Georgia Institute of Technology, USA; Apple, USA) @InProceedings{PLDI20p1381, author = {Yuanbo Li and Shuo Ding and Qirun Zhang and Davide Italiano}, title = {Debug Information Validation for Optimized Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1381-1380}, doi = {10.1145/3385412.3386020}, year = {2020}, } Publisher's Version
	Disselkoen, Craig	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Dolan, Stephen	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Dolby, Julian	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Drews, Samuel	PLDI '20: "Proving Data-Poisoning Robustness ..." Proving Data-Poisoning Robustness in Decision Trees Samuel Drews, Aws Albarghouthi, and Loris D'Antoni (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1421, author = {Samuel Drews and Aws Albarghouthi and Loris D'Antoni}, title = {Proving Data-Poisoning Robustness in Decision Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1421-1420}, doi = {10.1145/3385412.3385975}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Duck, Gregory J.	PLDI '20: "Binary Rewriting without Control ..." Binary Rewriting without Control Flow Recovery Gregory J. Duck, Xiang Gao, and Abhik Roychoudhury (National University of Singapore, Singapore) @InProceedings{PLDI20p201, author = {Gregory J. Duck and Xiang Gao and Abhik Roychoudhury}, title = {Binary Rewriting without Control Flow Recovery}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3385412.3385972}, year = {2020}, } Publisher's Version
	Ducousso, Soline	PLDI '20: "Typilus: Neural Type Hints ..." Typilus: Neural Type Hints Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao (Microsoft Research, UK; University College London, UK; ENSTA Paris, France) @InProceedings{PLDI20p121, author = {Miltiadis Allamanis and Earl T. Barr and Soline Ducousso and Zheng Gao}, title = {Typilus: Neural Type Hints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3385412.3385997}, year = {2020}, } Publisher's Version
	Durrett, Greg	PLDI '20: "Multi-modal Synthesis of Regular ..." Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig (University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA) @InProceedings{PLDI20p641, author = {Qiaochu Chen and Xinyu Wang and Xi Ye and Greg Durrett and Isil Dillig}, title = {Multi-modal Synthesis of Regular Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3385412.3385988}, year = {2020}, } Publisher's Version
	Durst, David	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Dybvig, R. Kent	PLDI '20: "Compiler and Runtime Support ..." Compiler and Runtime Support for Continuation Marks Matthew Flatt and R. Kent Dybvig (University of Utah, USA; Cisco Systems, USA) @InProceedings{PLDI20p61, author = {Matthew Flatt and R. Kent Dybvig}, title = {Compiler and Runtime Support for Continuation Marks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3385412.3385981}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Edelmann, Romain	PLDI '20: "Zippy LL(1) Parsing with Derivatives ..." Zippy LL(1) Parsing with Derivatives Romain Edelmann, Jad Hamza, and Viktor Kunčak (EPFL, Switzerland) @InProceedings{PLDI20p1361, author = {Romain Edelmann and Jad Hamza and Viktor Kunčak}, title = {Zippy LL(1) Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1361-1360}, doi = {10.1145/3385412.3385992}, year = {2020}, } Publisher's Version
	Emmi, Michael	PLDI '20: "Behavioral Simulation for ..." Behavioral Simulation for Smart Contracts Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, and Constantin Enea (University of Paris Diderot, France; IRIF, France; CNRS, France; SRI International, USA; IUF, France) @InProceedings{PLDI20p621, author = {Sidi Mohamed Beillahi and Gabriela Ciocarlie and Michael Emmi and Constantin Enea}, title = {Behavioral Simulation for Smart Contracts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3385412.3386022}, year = {2020}, } Publisher's Version Artifacts Functional
	Emrich, Frank	PLDI '20: "FreezeML: Complete and Easy ..." FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates (University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK) @InProceedings{PLDI20p561, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = {FreezeML: Complete and Easy Type Inference for First-Class Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3385412.3386003}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Endres, Madeline	PLDI '20: "Type Error Feedback via Analytic ..." Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Michigan, USA) @InProceedings{PLDI20p21, author = {Georgios Sakkas and Madeline Endres and Benjamin Cosman and Westley Weimer and Ranjit Jhala}, title = {Type Error Feedback via Analytic Program Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3385412.3386005}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Enea, Constantin	PLDI '20: "Inductive Sequentialization ..." Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer (IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA) @InProceedings{PLDI20p301, author = {Bernhard Kragl and Constantin Enea and Thomas A. Henzinger and Suha Orhun Mutluergil and Shaz Qadeer}, title = {Inductive Sequentialization of Asynchronous Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3385412.3385980}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Behavioral Simulation for ..." Behavioral Simulation for Smart Contracts Sidi Mohamed Beillahi, Gabriela Ciocarlie, Michael Emmi, and Constantin Enea (University of Paris Diderot, France; IRIF, France; CNRS, France; SRI International, USA; IUF, France) @InProceedings{PLDI20p621, author = {Sidi Mohamed Beillahi and Gabriela Ciocarlie and Michael Emmi and Constantin Enea}, title = {Behavioral Simulation for Smart Contracts}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {621-620}, doi = {10.1145/3385412.3386022}, year = {2020}, } Publisher's Version Artifacts Functional
	Farvardin, Kavon	PLDI '20: "From Folklore to Fact: Comparing ..." From Folklore to Fact: Comparing Implementations of Stacks and Continuations Kavon Farvardin and John Reppy (University of Chicago, USA) @InProceedings{PLDI20p101, author = {Kavon Farvardin and John Reppy}, title = {From Folklore to Fact: Comparing Implementations of Stacks and Continuations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {101-100}, doi = {10.1145/3385412.3385994}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Fatahalian, Kayvon	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Feldman, Matthew	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Filippakis, Nikos	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Flatt, Matthew	PLDI '20: "Compiler and Runtime Support ..." Compiler and Runtime Support for Continuation Marks Matthew Flatt and R. Kent Dybvig (University of Utah, USA; Cisco Systems, USA) @InProceedings{PLDI20p61, author = {Matthew Flatt and R. Kent Dybvig}, title = {Compiler and Runtime Support for Continuation Marks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {61-60}, doi = {10.1145/3385412.3385981}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Fletcher, Christopher W.	PLDI '20: "Scalable Validation of Binary ..." Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI20p861, author = {Sandeep Dasgupta and Sushant Dinesh and Deepan Venkatesh and Vikram S. Adve and Christopher W. Fletcher}, title = {Scalable Validation of Binary Lifters}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3385412.3385964}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Flur, Shaked	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Fragoso Santos, José	PLDI '20: "Gillian, Part I: A Multi-language ..." Gillian, Part I: A Multi-language Platform for Symbolic Execution José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, and Philippa Gardner (INESC-ID, Portugal; Instituto Superior Técnico, University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{PLDI20p1221, author = {José Fragoso Santos and Petar Maksimović and Sacha-Élie Ayoun and Philippa Gardner}, title = {Gillian, Part I: A Multi-language Platform for Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3385412.3386014}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Friedman, Michal	PLDI '20: "NVTraverse: In NVRAM Data ..." NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank (Technion, Israel; Carnegie Mellon University, USA) @InProceedings{PLDI20p501, author = {Michal Friedman and Naama Ben-David and Yuanhao Wei and Guy E. Blelloch and Erez Petrank}, title = {NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3385412.3386031}, year = {2020}, } Publisher's Version
	Fu, Hongfei	PLDI '20: "Polynomial Invariant Generation ..." Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady (IST Austria, Austria; Shanghai Jiao Tong University, China; Ferdowsi University of Mashhad, Iran) @InProceedings{PLDI20p881, author = {Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Ehsan Kafshdar Goharshady}, title = {Polynomial Invariant Generation for Non-deterministic Recursive Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {881-880}, doi = {10.1145/3385412.3385969}, year = {2020}, } Publisher's Version
	Ganty, Pierre	PLDI '20: "CacheQuery: Learning Replacement ..." CacheQuery: Learning Replacement Policies from Hardware Caches Pepe Vila, Pierre Ganty, Marco Guarnieri, and Boris Köpf (IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Microsoft Research, UK) @InProceedings{PLDI20p681, author = {Pepe Vila and Pierre Ganty and Marco Guarnieri and Boris Köpf}, title = {CacheQuery: Learning Replacement Policies from Hardware Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3385412.3386008}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gao, Xiang	PLDI '20: "Binary Rewriting without Control ..." Binary Rewriting without Control Flow Recovery Gregory J. Duck, Xiang Gao, and Abhik Roychoudhury (National University of Singapore, Singapore) @InProceedings{PLDI20p201, author = {Gregory J. Duck and Xiang Gao and Abhik Roychoudhury}, title = {Binary Rewriting without Control Flow Recovery}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3385412.3385972}, year = {2020}, } Publisher's Version
	Gao, Zheng	PLDI '20: "Typilus: Neural Type Hints ..." Typilus: Neural Type Hints Miltiadis Allamanis, Earl T. Barr, Soline Ducousso, and Zheng Gao (Microsoft Research, UK; University College London, UK; ENSTA Paris, France) @InProceedings{PLDI20p121, author = {Miltiadis Allamanis and Earl T. Barr and Soline Ducousso and Zheng Gao}, title = {Typilus: Neural Type Hints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {121-120}, doi = {10.1145/3385412.3385997}, year = {2020}, } Publisher's Version
	Gardner, Philippa	PLDI '20: "Gillian, Part I: A Multi-language ..." Gillian, Part I: A Multi-language Platform for Symbolic Execution José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, and Philippa Gardner (INESC-ID, Portugal; Instituto Superior Técnico, University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{PLDI20p1221, author = {José Fragoso Santos and Petar Maksimović and Sacha-Élie Ayoun and Philippa Gardner}, title = {Gillian, Part I: A Multi-language Platform for Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3385412.3386014}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gehr, Timon	PLDI '20: "λPSI: Exact Inference for ..." λPSI: Exact Inference for Higher-Order Probabilistic Programs Timon Gehr, Samuel Steffen, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1161, author = {Timon Gehr and Samuel Steffen and Martin Vechev}, title = {λPSI: Exact Inference for Higher-Order Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1161-1160}, doi = {10.1145/3385412.3386006}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Silq: A High-Level Quantum ..." Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p381, author = {Benjamin Bichsel and Maximilian Baader and Timon Gehr and Martin Vechev}, title = {Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3385412.3386007}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Genç, Kaan	PLDI '20: "Crafty: Efficient, HTM-Compatible ..." Crafty: Efficient, HTM-Compatible Persistent Transactions Kaan Genç, Michael D. Bond, and Guoqing Harry Xu (Ohio State University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p81, author = {Kaan Genç and Michael D. Bond and Guoqing Harry Xu}, title = {Crafty: Efficient, HTM-Compatible Persistent Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3385412.3385991}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "SmartTrack: Efficient Predictive ..." SmartTrack: Efficient Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI20p981, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {SmartTrack: Efficient Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {981-980}, doi = {10.1145/3385412.3385993}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available
	Giannarakis, Nick	PLDI '20: "NV: An Intermediate Language ..." NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker (Princeton University, USA; Microsoft Research, USA) @InProceedings{PLDI20p1261, author = {Nick Giannarakis and Devon Loehr and Ryan Beckett and David Walker}, title = {NV: An Intermediate Language for Verification of Network Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1261-1260}, doi = {10.1145/3385412.3386019}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gleissenthall, Klaus v.	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Goharshady, Amir Kafshdar	PLDI '20: "Polynomial Invariant Generation ..." Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady (IST Austria, Austria; Shanghai Jiao Tong University, China; Ferdowsi University of Mashhad, Iran) @InProceedings{PLDI20p881, author = {Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Ehsan Kafshdar Goharshady}, title = {Polynomial Invariant Generation for Non-deterministic Recursive Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {881-880}, doi = {10.1145/3385412.3385969}, year = {2020}, } Publisher's Version
	Goharshady, Ehsan Kafshdar	PLDI '20: "Polynomial Invariant Generation ..." Polynomial Invariant Generation for Non-deterministic Recursive Programs Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Ehsan Kafshdar Goharshady (IST Austria, Austria; Shanghai Jiao Tong University, China; Ferdowsi University of Mashhad, Iran) @InProceedings{PLDI20p881, author = {Krishnendu Chatterjee and Hongfei Fu and Amir Kafshdar Goharshady and Ehsan Kafshdar Goharshady}, title = {Polynomial Invariant Generation for Non-deterministic Recursive Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {881-880}, doi = {10.1145/3385412.3385969}, year = {2020}, } Publisher's Version
	Goldstein, Noah	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Grech, Neville	PLDI '20: "Ethainter: A Smart Contract ..." Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis (International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece) @InProceedings{PLDI20p601, author = {Lexi Brent and Neville Grech and Sifis Lagouvardos and Bernhard Scholz and Yannis Smaragdakis}, title = {Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3385412.3385990}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Grosser, Tobias	PLDI '20: "LLHD: A Multi-level Intermediate ..." LLHD: A Multi-level Intermediate Representation for Hardware Description Languages Fabian Schuiki, Andreas Kurth, Tobias Grosser, and Luca Benini (ETH Zurich, Switzerland) @InProceedings{PLDI20p341, author = {Fabian Schuiki and Andreas Kurth and Tobias Grosser and Luca Benini}, title = {LLHD: A Multi-level Intermediate Representation for Hardware Description Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3385412.3386024}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Grossman, Dan	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Gu, Ronghui	PLDI '20: "Learning Nonlinear Loop Invariants ..." Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu (Columbia University, USA) @InProceedings{PLDI20p141, author = {Jianan Yao and Gabriel Ryan and Justin Wong and Suman Jana and Ronghui Gu}, title = {Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3385412.3385986}, year = {2020}, } Publisher's Version Artifacts Functional
	Guarnieri, Marco	PLDI '20: "CacheQuery: Learning Replacement ..." CacheQuery: Learning Replacement Policies from Hardware Caches Pepe Vila, Pierre Ganty, Marco Guarnieri, and Boris Köpf (IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Microsoft Research, UK) @InProceedings{PLDI20p681, author = {Pepe Vila and Pierre Ganty and Marco Guarnieri and Boris Köpf}, title = {CacheQuery: Learning Replacement Policies from Hardware Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3385412.3386008}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Guo, Shu-yu	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Hack, Sebastian	PLDI '20: "PMEvo: Portable Inference ..." PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization Fabian Ritter and Sebastian Hack (Saarland University, Germany) @InProceedings{PLDI20p801, author = {Fabian Ritter and Sebastian Hack}, title = {PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3385412.3385995}, year = {2020}, } Publisher's Version Artifacts Functional
	Hamza, Jad	PLDI '20: "Zippy LL(1) Parsing with Derivatives ..." Zippy LL(1) Parsing with Derivatives Romain Edelmann, Jad Hamza, and Viktor Kunčak (EPFL, Switzerland) @InProceedings{PLDI20p1361, author = {Romain Edelmann and Jad Hamza and Viktor Kunčak}, title = {Zippy LL(1) Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1361-1360}, doi = {10.1145/3385412.3385992}, year = {2020}, } Publisher's Version
	Hanrahan, Pat	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hardavellas, Nikos	PLDI '20: "CARAT: A Case for Virtual ..." CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation Brian Suchy, Simone Campanoni, Nikos Hardavellas, and Peter Dinda (Northwestern University, USA) @InProceedings{PLDI20p441, author = {Brian Suchy and Simone Campanoni and Nikos Hardavellas and Peter Dinda}, title = {CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3385412.3385987}, year = {2020}, } Publisher's Version
	He, Fei	PLDI '20: "Proving Almost-Sure Termination ..." Proving Almost-Sure Termination by Omega-Regular Decomposition Jianhui Chen and Fei He (Tsinghua University, China) @InProceedings{PLDI20p1141, author = {Jianhui Chen and Fei He}, title = {Proving Almost-Sure Termination by Omega-Regular Decomposition}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3385412.3386002}, year = {2020}, } Publisher's Version
	He, Jingxuan	PLDI '20: "Learning Fast and Precise ..." Learning Fast and Precise Numerical Analysis Jingxuan He, Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1461, author = {Jingxuan He and Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Learning Fast and Precise Numerical Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1461-1460}, doi = {10.1145/3385412.3386016}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Henzinger, Thomas A.	PLDI '20: "Inductive Sequentialization ..." Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer (IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA) @InProceedings{PLDI20p301, author = {Bernhard Kragl and Constantin Enea and Thomas A. Henzinger and Suha Orhun Mutluergil and Shaz Qadeer}, title = {Inductive Sequentialization of Asynchronous Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3385412.3385980}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Herman, Grzegorz	PLDI '20: "Faster General Parsing through ..." Faster General Parsing through Context-Free Memoization Grzegorz Herman (Jagiellonian University, Poland) @InProceedings{PLDI20p1341, author = {Grzegorz Herman}, title = {Faster General Parsing through Context-Free Memoization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1341-1340}, doi = {10.1145/3385412.3386032}, year = {2020}, } Publisher's Version
	Holík, Lukáš	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Hu, Qinheping	PLDI '20: "Exact and Approximate Methods ..." Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Qinheping Hu, John Cyphert, Loris D'Antoni, and Thomas Reps (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1481, author = {Qinheping Hu and John Cyphert and Loris D'Antoni and Thomas Reps}, title = {Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1481-1480}, doi = {10.1145/3385412.3385979}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hu, Zhenjiang	PLDI '20: "Question Selection for Interactive ..." Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu (Peking University, China) @InProceedings{PLDI20p1501, author = {Ruyi Ji and Jingjing Liang and Yingfei Xiong and Lu Zhang and Zhenjiang Hu}, title = {Question Selection for Interactive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3385412.3386025}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Huang, Kangjing	PLDI '20: "Reconciling Enumerative and ..." Reconciling Enumerative and Deductive Program Synthesis Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang (Purdue University, USA) @InProceedings{PLDI20p1521, author = {Kangjing Huang and Xiaokang Qiu and Peiyuan Shen and Yanjun Wang}, title = {Reconciling Enumerative and Deductive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1521-1520}, doi = {10.1145/3385412.3386027}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Huff, Dillon	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Hung, Shih-Han	PLDI '20: "On the Principles of Differentiable ..." On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu (University of Maryland, USA) @InProceedings{PLDI20p361, author = {Shaopeng Zhu and Shih-Han Hung and Shouvanik Chakrabarti and Xiaodi Wu}, title = {On the Principles of Differentiable Quantum Programming Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3385412.3386011}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Hur, Chung-Kil	PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Immerman, Neil	PLDI '20: "First-Order Quantified Separators ..." First-Order Quantified Separators Jason R. Koenig, Oded Padon, Neil Immerman, and Alex Aiken (Stanford University, USA; University of Massachusetts at Amherst, USA) @InProceedings{PLDI20p921, author = {Jason R. Koenig and Oded Padon and Neil Immerman and Alex Aiken}, title = {First-Order Quantified Separators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {921-920}, doi = {10.1145/3385412.3386018}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Italiano, Davide	PLDI '20: "Debug Information Validation ..." Debug Information Validation for Optimized Code Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano (Georgia Institute of Technology, USA; Apple, USA) @InProceedings{PLDI20p1381, author = {Yuanbo Li and Shuo Ding and Qirun Zhang and Davide Italiano}, title = {Debug Information Validation for Optimized Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1381-1380}, doi = {10.1145/3385412.3386020}, year = {2020}, } Publisher's Version
	Jana, Suman	PLDI '20: "Learning Nonlinear Loop Invariants ..." Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu (Columbia University, USA) @InProceedings{PLDI20p141, author = {Jianan Yao and Gabriel Ryan and Justin Wong and Suman Jana and Ronghui Gu}, title = {Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3385412.3385986}, year = {2020}, } Publisher's Version Artifacts Functional
	Janků, Petr	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Jhala, Ranjit	PLDI '20: "Type Error Feedback via Analytic ..." Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Michigan, USA) @InProceedings{PLDI20p21, author = {Georgios Sakkas and Madeline Endres and Benjamin Cosman and Westley Weimer and Ranjit Jhala}, title = {Type Error Feedback via Analytic Program Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3385412.3386005}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ji, Ruyi	PLDI '20: "Question Selection for Interactive ..." Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu (Peking University, China) @InProceedings{PLDI20p1501, author = {Ruyi Ji and Jingjing Liang and Yingfei Xiong and Lu Zhang and Zhenjiang Hu}, title = {Question Selection for Interactive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3385412.3386025}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Jung, Changhee	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Jung, Jaehwang	PLDI '20: "A Marriage of Pointer- and ..." A Marriage of Pointer- and Epoch-Based Reclamation Jeehoon Kang and Jaehwang Jung (KAIST, South Korea) @InProceedings{PLDI20p421, author = {Jeehoon Kang and Jaehwang Jung}, title = {A Marriage of Pointer- and Epoch-Based Reclamation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {421-420}, doi = {10.1145/3385412.3385978}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kang, Jeehoon	PLDI '20: "A Marriage of Pointer- and ..." A Marriage of Pointer- and Epoch-Based Reclamation Jeehoon Kang and Jaehwang Jung (KAIST, South Korea) @InProceedings{PLDI20p421, author = {Jeehoon Kang and Jaehwang Jung}, title = {A Marriage of Pointer- and Epoch-Based Reclamation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {421-420}, doi = {10.1145/3385412.3385978}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kapritsos, Manos	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Khurshid, Sarfraz	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kim, Hongjune	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Kincaid, Zachary	PLDI '20: "Templates and Recurrences: ..." Templates and Recurrences: Better Together Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps (University of Wisconsin-Madison, USA; Princeton University, USA) @InProceedings{PLDI20p901, author = {Jason Breck and John Cyphert and Zachary Kincaid and Thomas Reps}, title = {Templates and Recurrences: Better Together}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {901-900}, doi = {10.1145/3385412.3386035}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kjolstad, Fredrik	PLDI '20: "Automatic Generation of Efficient ..." Automatic Generation of Efficient Sparse Tensor Format Conversion Routines Stephen Chou, Fredrik Kjolstad, and Saman Amarasinghe (Massachusetts Institute of Technology, USA; Stanford University, USA) @InProceedings{PLDI20p1081, author = {Stephen Chou and Fredrik Kjolstad and Saman Amarasinghe}, title = {Automatic Generation of Efficient Sparse Tensor Format Conversion Routines}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1081-1080}, doi = {10.1145/3385412.3385963}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Koenig, Jason R.	PLDI '20: "First-Order Quantified Separators ..." First-Order Quantified Separators Jason R. Koenig, Oded Padon, Neil Immerman, and Alex Aiken (Stanford University, USA; University of Massachusetts at Amherst, USA) @InProceedings{PLDI20p921, author = {Jason R. Koenig and Oded Padon and Neil Immerman and Alex Aiken}, title = {First-Order Quantified Separators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {921-920}, doi = {10.1145/3385412.3386018}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Köpf, Boris	PLDI '20: "CacheQuery: Learning Replacement ..." CacheQuery: Learning Replacement Policies from Hardware Caches Pepe Vila, Pierre Ganty, Marco Guarnieri, and Boris Köpf (IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Microsoft Research, UK) @InProceedings{PLDI20p681, author = {Pepe Vila and Pierre Ganty and Marco Guarnieri and Boris Köpf}, title = {CacheQuery: Learning Replacement Policies from Hardware Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3385412.3386008}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Koppel, James	PLDI '20: "Semantic Code Search via Equational ..." Semantic Code Search via Equational Reasoning Varot Premtoon, James Koppel, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p1401, author = {Varot Premtoon and James Koppel and Armando Solar-Lezama}, title = {Semantic Code Search via Equational Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1401-1400}, doi = {10.1145/3385412.3386001}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kostova, Blagovesta	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Koti, Apurva	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Kragl, Bernhard	PLDI '20: "Inductive Sequentialization ..." Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer (IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA) @InProceedings{PLDI20p301, author = {Bernhard Kragl and Constantin Enea and Thomas A. Henzinger and Suha Orhun Mutluergil and Shaz Qadeer}, title = {Inductive Sequentialization of Asynchronous Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3385412.3385980}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Krishna, Siddharth	PLDI '20: "Verifying Concurrent Search ..." Verifying Concurrent Search Structure Templates Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies (Microsoft Research, UK; New York University, USA) @InProceedings{PLDI20p241, author = {Siddharth Krishna and Nisarg Patel and Dennis Shasha and Thomas Wies}, title = {Verifying Concurrent Search Structure Templates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3385412.3386029}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Krishnan, Paddy	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Kunčak, Viktor	PLDI '20: "Zippy LL(1) Parsing with Derivatives ..." Zippy LL(1) Parsing with Derivatives Romain Edelmann, Jad Hamza, and Viktor Kunčak (EPFL, Switzerland) @InProceedings{PLDI20p1361, author = {Romain Edelmann and Jad Hamza and Viktor Kunčak}, title = {Zippy LL(1) Parsing with Derivatives}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1361-1360}, doi = {10.1145/3385412.3385992}, year = {2020}, } Publisher's Version
	Kurth, Andreas	PLDI '20: "LLHD: A Multi-level Intermediate ..." LLHD: A Multi-level Intermediate Representation for Hardware Description Languages Fabian Schuiki, Andreas Kurth, Tobias Grosser, and Luca Benini (ETH Zurich, Switzerland) @InProceedings{PLDI20p341, author = {Fabian Schuiki and Andreas Kurth and Tobias Grosser and Luca Benini}, title = {LLHD: A Multi-level Intermediate Representation for Hardware Description Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3385412.3386024}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Lagouvardos, Sifis	PLDI '20: "Ethainter: A Smart Contract ..." Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis (International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece) @InProceedings{PLDI20p601, author = {Lexi Brent and Neville Grech and Sifis Lagouvardos and Bernhard Scholz and Yannis Smaragdakis}, title = {Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3385412.3385990}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lahav, Ori	PLDI '20: "Decidable Verification under ..." Decidable Verification under a Causally Consistent Shared Memory Ori Lahav and Udi Boker (Tel Aviv University, Israel; IDC Herzliya, Israel) @InProceedings{PLDI20p281, author = {Ori Lahav and Udi Boker}, title = {Decidable Verification under a Causally Consistent Shared Memory}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {281-280}, doi = {10.1145/3385412.3385966}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Laine, Kim	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Langou, Julien	PLDI '20: "Automated Derivation of Parametric ..." Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello (Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA) @InProceedings{PLDI20p1061, author = {Auguste Olivry and Julien Langou and Louis-Noël Pouchet and P. Sadayappan and Fabrice Rastello}, title = {Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3385412.3385989}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Leather, Hugh	PLDI '20: "Effective Function Merging ..." Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather (University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK) @InProceedings{PLDI20p1121, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Hugh Leather}, title = {Effective Function Merging in the SSA Form}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3385412.3386030}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lee, DongKwon	PLDI '20: "Optimizing Homomorphic Evaluation ..." Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting DongKwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea; Korea University, South Korea) @InProceedings{PLDI20p661, author = {DongKwon Lee and Woosuk Lee and Hakjoo Oh and Kwangkeun Yi}, title = {Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3385412.3385996}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lee, I-Ting Angelina	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lee, Jaejin	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Lee, Sung-Hwan	PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lee, Woosuk	PLDI '20: "Optimizing Homomorphic Evaluation ..." Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting DongKwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea; Korea University, South Korea) @InProceedings{PLDI20p661, author = {DongKwon Lee and Woosuk Lee and Hakjoo Oh and Kwangkeun Yi}, title = {Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3385412.3385996}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lerner, Sorin	PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Li, Ao	PLDI '20: "Securing Smart Contract with ..." Securing Smart Contract with Runtime Validation Ao Li, Jemin Andrew Choi, and Fan Long (University of Toronto, Canada) @InProceedings{PLDI20p581, author = {Ao Li and Jemin Andrew Choi and Fan Long}, title = {Securing Smart Contract with Runtime Validation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {581-580}, doi = {10.1145/3385412.3385982}, year = {2020}, } Publisher's Version Artifacts Functional
	Li, Yuanbo	PLDI '20: "Fast Graph Simplification ..." Fast Graph Simplification for Interleaved Dyck-Reachability Yuanbo Li, Qirun Zhang, and Thomas Reps (Georgia Institute of Technology, USA; University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1021, author = {Yuanbo Li and Qirun Zhang and Thomas Reps}, title = {Fast Graph Simplification for Interleaved Dyck-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1021-1020}, doi = {10.1145/3385412.3386021}, year = {2020}, } Publisher's Version PLDI '20: "Debug Information Validation ..." Debug Information Validation for Optimized Code Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano (Georgia Institute of Technology, USA; Apple, USA) @InProceedings{PLDI20p1381, author = {Yuanbo Li and Shuo Ding and Qirun Zhang and Davide Italiano}, title = {Debug Information Validation for Optimized Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1381-1380}, doi = {10.1145/3385412.3386020}, year = {2020}, } Publisher's Version
	Li, Zhijing	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Liang, Jingjing	PLDI '20: "Question Selection for Interactive ..." Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu (Peking University, China) @InProceedings{PLDI20p1501, author = {Ruyi Ji and Jingjing Liang and Yingfei Xiong and Lu Zhang and Zhenjiang Hu}, title = {Question Selection for Interactive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3385412.3386025}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lim, Jay P.	PLDI '20: "Debugging and Detecting Numerical ..." Debugging and Detecting Numerical Errors in Computation with Posits Sangeeta Chowdhary, Jay P. Lim, and Santosh Nagarakatte (Rutgers University, USA) @InProceedings{PLDI20p961, author = {Sangeeta Chowdhary and Jay P. Lim and Santosh Nagarakatte}, title = {Debugging and Detecting Numerical Errors in Computation with Posits}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {961-960}, doi = {10.1145/3385412.3386004}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Lin, Hsin-Hung	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Lindley, Sam	PLDI '20: "FreezeML: Complete and Easy ..." FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates (University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK) @InProceedings{PLDI20p561, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = {FreezeML: Complete and Easy Type Inference for First-Class Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3385412.3386003}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Liu, Qingrui	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Loehr, Devon	PLDI '20: "NV: An Intermediate Language ..." NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker (Princeton University, USA; Microsoft Research, USA) @InProceedings{PLDI20p1261, author = {Nick Giannarakis and Devon Loehr and Ryan Beckett and David Walker}, title = {NV: An Intermediate Language for Verification of Network Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1261-1260}, doi = {10.1145/3385412.3386019}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Long, Fan	PLDI '20: "Securing Smart Contract with ..." Securing Smart Contract with Runtime Validation Ao Li, Jemin Andrew Choi, and Fan Long (University of Toronto, Canada) @InProceedings{PLDI20p581, author = {Ao Li and Jemin Andrew Choi and Fan Long}, title = {Securing Smart Contract with Runtime Validation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {581-580}, doi = {10.1145/3385412.3385982}, year = {2020}, } Publisher's Version Artifacts Functional
	Lorch, Jacob R.	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Lu, Kai	PLDI '20: "PMThreads: Persistent Memory ..." PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján (National University of Defense Technology, China; University of Manchester, UK) @InProceedings{PLDI20p821, author = {Zhenwei Wu and Kai Lu and Andrew Nisbet and Wenzhe Zhang and Mikel Luján}, title = {PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3385412.3386000}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Lucia, Brandon	PLDI '20: "Adaptive Low-Overhead Scheduling ..." Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution Kiwan Maeng and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI20p1321, author = {Kiwan Maeng and Brandon Lucia}, title = {Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1321-1320}, doi = {10.1145/3385412.3385998}, year = {2020}, } Publisher's Version
	Luján, Mikel	PLDI '20: "PMThreads: Persistent Memory ..." PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján (National University of Defense Technology, China; University of Manchester, UK) @InProceedings{PLDI20p821, author = {Zhenwei Wu and Kai Lu and Andrew Nisbet and Wenzhe Zhang and Mikel Luján}, title = {PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3385412.3386000}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Luo, Qinyi	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Maeng, Kiwan	PLDI '20: "Adaptive Low-Overhead Scheduling ..." Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution Kiwan Maeng and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI20p1321, author = {Kiwan Maeng and Brandon Lucia}, title = {Adaptive Low-Overhead Scheduling for Periodic and Reactive Intermittent Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1321-1320}, doi = {10.1145/3385412.3385998}, year = {2020}, } Publisher's Version
	Maksimović, Petar	PLDI '20: "Gillian, Part I: A Multi-language ..." Gillian, Part I: A Multi-language Platform for Symbolic Execution José Fragoso Santos, Petar Maksimović, Sacha-Élie Ayoun, and Philippa Gardner (INESC-ID, Portugal; Instituto Superior Técnico, University of Lisbon, Portugal; Imperial College London, UK) @InProceedings{PLDI20p1221, author = {José Fragoso Santos and Petar Maksimović and Sacha-Élie Ayoun and Philippa Gardner}, title = {Gillian, Part I: A Multi-language Platform for Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1221-1220}, doi = {10.1145/3385412.3386014}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Mandel, Louis	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Millstein, Todd	PLDI '20: "Data-Driven Inference of Representation ..." Data-Driven Inference of Representation Invariants Anders Miltner, Saswat Padhi, Todd Millstein, and David Walker (Princeton University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p1, author = {Anders Miltner and Saswat Padhi and Todd Millstein and David Walker}, title = {Data-Driven Inference of Representation Invariants}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3385412.3385967}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Miltner, Anders	PLDI '20: "Data-Driven Inference of Representation ..." Data-Driven Inference of Representation Invariants Anders Miltner, Saswat Padhi, Todd Millstein, and David Walker (Princeton University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p1, author = {Anders Miltner and Saswat Padhi and Todd Millstein and David Walker}, title = {Data-Driven Inference of Representation Invariants}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3385412.3385967}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Muller, Stefan K.	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Mururu, Girish	PLDI '20: "BlankIt Library Debloating: ..." BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t Chris Porter, Girish Mururu, Prithayan Barua, and Santosh Pande (Georgia Institute of Technology, USA) @InProceedings{PLDI20p221, author = {Chris Porter and Girish Mururu and Prithayan Barua and Santosh Pande}, title = {BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3385412.3386017}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Musuvathi, Madan	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Mutluergil, Suha Orhun	PLDI '20: "Inductive Sequentialization ..." Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer (IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA) @InProceedings{PLDI20p301, author = {Bernhard Kragl and Constantin Enea and Thomas A. Henzinger and Suha Orhun Mutluergil and Shaz Qadeer}, title = {Inductive Sequentialization of Asynchronous Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3385412.3385980}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nagarakatte, Santosh	PLDI '20: "Debugging and Detecting Numerical ..." Debugging and Detecting Numerical Errors in Computation with Posits Sangeeta Chowdhary, Jay P. Lim, and Santosh Nagarakatte (Rutgers University, USA) @InProceedings{PLDI20p961, author = {Sangeeta Chowdhary and Jay P. Lim and Santosh Nagarakatte}, title = {Debugging and Detecting Numerical Errors in Computation with Posits}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {961-960}, doi = {10.1145/3385412.3386004}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nandi, Chandrakana	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Nigam, Rachit	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Nisbet, Andrew	PLDI '20: "PMThreads: Persistent Memory ..." PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján (National University of Defense Technology, China; University of Manchester, UK) @InProceedings{PLDI20p821, author = {Zhenwei Wu and Kai Lu and Andrew Nisbet and Wenzhe Zhang and Mikel Luján}, title = {PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3385412.3386000}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Nötzli, Andres	PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Oh, Hakjoo	PLDI '20: "Optimizing Homomorphic Evaluation ..." Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting DongKwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea; Korea University, South Korea) @InProceedings{PLDI20p661, author = {DongKwon Lee and Woosuk Lee and Hakjoo Oh and Kwangkeun Yi}, title = {Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3385412.3385996}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Olivry, Auguste	PLDI '20: "Automated Derivation of Parametric ..." Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello (Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA) @InProceedings{PLDI20p1061, author = {Auguste Olivry and Julien Langou and Louis-Noël Pouchet and P. Sadayappan and Fabrice Rastello}, title = {Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3385412.3385989}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Österlund, Erik	PLDI '20: "Improving Program Locality ..." Improving Program Locality in the GC using Hotness Albert Mingkun Yang, Erik Österlund, and Tobias Wrigstad (Uppsala University, Sweden; Oracle, Sweden) @InProceedings{PLDI20p401, author = {Albert Mingkun Yang and Erik Österlund and Tobias Wrigstad}, title = {Improving Program Locality in the GC using Hotness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {401-400}, doi = {10.1145/3385412.3385977}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Padhi, Saswat	PLDI '20: "Data-Driven Inference of Representation ..." Data-Driven Inference of Representation Invariants Anders Miltner, Saswat Padhi, Todd Millstein, and David Walker (Princeton University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p1, author = {Anders Miltner and Saswat Padhi and Todd Millstein and David Walker}, title = {Data-Driven Inference of Representation Invariants}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3385412.3385967}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Padon, Oded	PLDI '20: "First-Order Quantified Separators ..." First-Order Quantified Separators Jason R. Koenig, Oded Padon, Neil Immerman, and Alex Aiken (Stanford University, USA; University of Massachusetts at Amherst, USA) @InProceedings{PLDI20p921, author = {Jason R. Koenig and Oded Padon and Neil Immerman and Alex Aiken}, title = {First-Order Quantified Separators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {921-920}, doi = {10.1145/3385412.3386018}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Pande, Santosh	PLDI '20: "BlankIt Library Debloating: ..." BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t Chris Porter, Girish Mururu, Prithayan Barua, and Santosh Pande (Georgia Institute of Technology, USA) @InProceedings{PLDI20p221, author = {Chris Porter and Girish Mururu and Prithayan Barua and Santosh Pande}, title = {BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3385412.3386017}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Parno, Bryan	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Patel, Nisarg	PLDI '20: "Verifying Concurrent Search ..." Verifying Concurrent Search Structure Templates Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies (Microsoft Research, UK; New York University, USA) @InProceedings{PLDI20p241, author = {Siddharth Krishna and Nisarg Patel and Dennis Shasha and Thomas Wies}, title = {Verifying Concurrent Search Structure Templates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3385412.3386029}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Patrignani, Marco	PLDI '20: "Type-Directed Scheduling of ..." Type-Directed Scheduling of Streaming Accelerators David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani, Kayvon Fatahalian, and Pat Hanrahan (Stanford University, USA; University of California at Los Angeles, USA; University of California at Berkeley, USA; CISPA, Germany) @InProceedings{PLDI20p541, author = {David Durst and Matthew Feldman and Dillon Huff and David Akeley and Ross Daly and Gilbert Louis Bernstein and Marco Patrignani and Kayvon Fatahalian and Pat Hanrahan}, title = {Type-Directed Scheduling of Streaming Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {541-540}, doi = {10.1145/3385412.3385983}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Petoumenos, Pavlos	PLDI '20: "Effective Function Merging ..." Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather (University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK) @InProceedings{PLDI20p1121, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Hugh Leather}, title = {Effective Function Merging in the SSA Form}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3385412.3386030}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Petrank, Erez	PLDI '20: "NVTraverse: In NVRAM Data ..." NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank (Technion, Israel; Carnegie Mellon University, USA) @InProceedings{PLDI20p501, author = {Michal Friedman and Naama Ben-David and Yuanhao Wei and Guy E. Blelloch and Erez Petrank}, title = {NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3385412.3386031}, year = {2020}, } Publisher's Version
	Phulia, Ankush	PLDI '20: "OOElala: Order-of-Evaluation ..." OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization Ankush Phulia, Vaibhav Bhagee, and Sorav Bansal (IIT Delhi, India) @InProceedings{PLDI20p1101, author = {Ankush Phulia and Vaibhav Bhagee and Sorav Bansal}, title = {OOElala: Order-of-Evaluation Based Alias Analysis for Compiler Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1101-1100}, doi = {10.1145/3385412.3385962}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Pichon-Pharabod, Jean	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Pit-Claudel, Clément	PLDI '20: "The Essence of Bluespec: A ..." The Essence of Bluespec: A Core Language for Rule-Based Hardware Design Thomas Bourgeat, Clément Pit-Claudel, Adam Chlipala, and Arvind (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p321, author = {Thomas Bourgeat and Clément Pit-Claudel and Adam Chlipala and Arvind}, title = {The Essence of Bluespec: A Core Language for Rule-Based Hardware Design}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {321-320}, doi = {10.1145/3385412.3385965}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Podkopaev, Anton	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Porter, Chris	PLDI '20: "BlankIt Library Debloating: ..." BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t Chris Porter, Girish Mururu, Prithayan Barua, and Santosh Pande (Georgia Institute of Technology, USA) @InProceedings{PLDI20p221, author = {Chris Porter and Girish Mururu and Prithayan Barua and Santosh Pande}, title = {BlankIt Library Debloating: Getting What You Want Instead of Cutting What You Don’t}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {221-220}, doi = {10.1145/3385412.3386017}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Pouchet, Louis-Noël	PLDI '20: "Automated Derivation of Parametric ..." Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello (Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA) @InProceedings{PLDI20p1061, author = {Auguste Olivry and Julien Langou and Louis-Noël Pouchet and P. Sadayappan and Fabrice Rastello}, title = {Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3385412.3385989}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Pouzet, Marc	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Premtoon, Varot	PLDI '20: "Semantic Code Search via Equational ..." Semantic Code Search via Equational Reasoning Varot Premtoon, James Koppel, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p1401, author = {Varot Premtoon and James Koppel and Armando Solar-Lezama}, title = {Semantic Code Search via Equational Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1401-1400}, doi = {10.1145/3385412.3386001}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Pulte, Christopher	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Püschel, Markus	PLDI '20: "Learning Fast and Precise ..." Learning Fast and Precise Numerical Analysis Jingxuan He, Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1461, author = {Jingxuan He and Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Learning Fast and Precise Numerical Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1461-1460}, doi = {10.1145/3385412.3386016}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Qadeer, Shaz	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Inductive Sequentialization ..." Inductive Sequentialization of Asynchronous Programs Bernhard Kragl, Constantin Enea, Thomas A. Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer (IST Austria, Austria; IRIF, France; University of Paris, France; CNRS, France; Calibra, USA) @InProceedings{PLDI20p301, author = {Bernhard Kragl and Constantin Enea and Thomas A. Henzinger and Suha Orhun Mutluergil and Shaz Qadeer}, title = {Inductive Sequentialization of Asynchronous Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {301-300}, doi = {10.1145/3385412.3385980}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Qian, Depei	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Qian, Xuehai	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Qin, Boqin	PLDI '20: "Understanding Memory and Thread ..." Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang (Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA) @InProceedings{PLDI20p1001, author = {Boqin Qin and Yilun Chen and Zeming Yu and Linhai Song and Yiying Zhang}, title = {Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3385412.3386036}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Qiu, Xiaokang	PLDI '20: "Reconciling Enumerative and ..." Reconciling Enumerative and Deductive Program Synthesis Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang (Purdue University, USA) @InProceedings{PLDI20p1521, author = {Kangjing Huang and Xiaokang Qiu and Peiyuan Shen and Yanjun Wang}, title = {Reconciling Enumerative and Deductive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1521-1520}, doi = {10.1145/3385412.3386027}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Ramesh, Raghavendra	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Rastello, Fabrice	PLDI '20: "Automated Derivation of Parametric ..." Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello (Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA) @InProceedings{PLDI20p1061, author = {Auguste Olivry and Julien Langou and Louis-Noël Pouchet and P. Sadayappan and Fabrice Rastello}, title = {Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3385412.3385989}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Renner, John	PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Reppy, John	PLDI '20: "From Folklore to Fact: Comparing ..." From Folklore to Fact: Comparing Implementations of Stacks and Continuations Kavon Farvardin and John Reppy (University of Chicago, USA) @InProceedings{PLDI20p101, author = {Kavon Farvardin and John Reppy}, title = {From Folklore to Fact: Comparing Implementations of Stacks and Continuations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {101-100}, doi = {10.1145/3385412.3385994}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Reps, Thomas	PLDI '20: "Fast Graph Simplification ..." Fast Graph Simplification for Interleaved Dyck-Reachability Yuanbo Li, Qirun Zhang, and Thomas Reps (Georgia Institute of Technology, USA; University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1021, author = {Yuanbo Li and Qirun Zhang and Thomas Reps}, title = {Fast Graph Simplification for Interleaved Dyck-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1021-1020}, doi = {10.1145/3385412.3386021}, year = {2020}, } Publisher's Version PLDI '20: "Exact and Approximate Methods ..." Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems Qinheping Hu, John Cyphert, Loris D'Antoni, and Thomas Reps (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1481, author = {Qinheping Hu and John Cyphert and Loris D'Antoni and Thomas Reps}, title = {Exact and Approximate Methods for Proving Unrealizability of Syntax-Guided Synthesis Problems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1481-1480}, doi = {10.1145/3385412.3385979}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Templates and Recurrences: ..." Templates and Recurrences: Better Together Jason Breck, John Cyphert, Zachary Kincaid, and Thomas Reps (University of Wisconsin-Madison, USA; Princeton University, USA) @InProceedings{PLDI20p901, author = {Jason Breck and John Cyphert and Zachary Kincaid and Thomas Reps}, title = {Templates and Recurrences: Better Together}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {901-900}, doi = {10.1145/3385412.3386035}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Rezk, Tamara	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Ritter, Fabian	PLDI '20: "PMEvo: Portable Inference ..." PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization Fabian Ritter and Sebastian Hack (Saarland University, Germany) @InProceedings{PLDI20p801, author = {Fabian Ritter and Sebastian Hack}, title = {PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {801-800}, doi = {10.1145/3385412.3385995}, year = {2020}, } Publisher's Version Artifacts Functional
	Rocha, Rodrigo C. O.	PLDI '20: "Effective Function Merging ..." Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather (University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK) @InProceedings{PLDI20p1121, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Hugh Leather}, title = {Effective Function Merging in the SSA Form}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3385412.3386030}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Roemer, Jake	PLDI '20: "SmartTrack: Efficient Predictive ..." SmartTrack: Efficient Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI20p981, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {SmartTrack: Efficient Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {981-980}, doi = {10.1145/3385412.3385993}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available
	Roychoudhury, Abhik	PLDI '20: "Binary Rewriting without Control ..." Binary Rewriting without Control Flow Recovery Gregory J. Duck, Xiang Gao, and Abhik Roychoudhury (National University of Singapore, Singapore) @InProceedings{PLDI20p201, author = {Gregory J. Duck and Xiang Gao and Abhik Roychoudhury}, title = {Binary Rewriting without Control Flow Recovery}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {201-200}, doi = {10.1145/3385412.3385972}, year = {2020}, } Publisher's Version
	Ryan, Gabriel	PLDI '20: "Learning Nonlinear Loop Invariants ..." Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu (Columbia University, USA) @InProceedings{PLDI20p141, author = {Jianan Yao and Gabriel Ryan and Justin Wong and Suman Jana and Ronghui Gu}, title = {Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3385412.3385986}, year = {2020}, } Publisher's Version Artifacts Functional
	Saarikivi, Olli	PLDI '20: "EVA: An Encrypted Vector Arithmetic ..." EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation Roshan Dathathri, Blagovesta Kostova, Olli Saarikivi, Wei Dai, Kim Laine, and Madan Musuvathi (University of Texas at Austin, USA; EPFL, Switzerland; Microsoft Research, USA) @InProceedings{PLDI20p721, author = {Roshan Dathathri and Blagovesta Kostova and Olli Saarikivi and Wei Dai and Kim Laine and Madan Musuvathi}, title = {EVA: An Encrypted Vector Arithmetic Language and Compiler for Efficient Homomorphic Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {721-720}, doi = {10.1145/3385412.3386023}, year = {2020}, } Publisher's Version
	Sadayappan, P.	PLDI '20: "Automated Derivation of Parametric ..." Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs Auguste Olivry, Julien Langou, Louis-Noël Pouchet, P. Sadayappan, and Fabrice Rastello (Grenoble Alps University, France; CNRS, France; Inria, France; Grenoble INP, France; LIG, France; University of Colorado at Denver, USA; Colorado State University, USA; University of Utah, USA) @InProceedings{PLDI20p1061, author = {Auguste Olivry and Julien Langou and Louis-Noël Pouchet and P. Sadayappan and Fabrice Rastello}, title = {Automated Derivation of Parametric Data Movement Lower Bounds for Affine Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1061-1060}, doi = {10.1145/3385412.3385989}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Sakkas, Georgios	PLDI '20: "Type Error Feedback via Analytic ..." Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Michigan, USA) @InProceedings{PLDI20p21, author = {Georgios Sakkas and Madeline Endres and Benjamin Cosman and Westley Weimer and Ranjit Jhala}, title = {Type Error Feedback via Analytic Program Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3385412.3386005}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sampson, Adrian	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Scholz, Bernhard	PLDI '20: "Ethainter: A Smart Contract ..." Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis (International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece) @InProceedings{PLDI20p601, author = {Lexi Brent and Neville Grech and Sifis Lagouvardos and Bernhard Scholz and Yannis Smaragdakis}, title = {Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3385412.3385990}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Schuiki, Fabian	PLDI '20: "LLHD: A Multi-level Intermediate ..." LLHD: A Multi-level Intermediate Representation for Hardware Description Languages Fabian Schuiki, Andreas Kurth, Tobias Grosser, and Luca Benini (ETH Zurich, Switzerland) @InProceedings{PLDI20p341, author = {Fabian Schuiki and Andreas Kurth and Tobias Grosser and Luca Benini}, title = {LLHD: A Multi-level Intermediate Representation for Hardware Description Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3385412.3386024}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Serrano, Manuel	PLDI '20: "HipHop.js: (A)Synchronous ..." HipHop.js: (A)Synchronous Reactive Web Programming Gérard Berry and Manuel Serrano (Collège de France, France; Inria, France) @InProceedings{PLDI20p701, author = {Gérard Berry and Manuel Serrano}, title = {HipHop.js: (A)Synchronous Reactive Web Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {701-700}, doi = {10.1145/3385412.3385984}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Shacham, Hovav	PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Sharma, Upamanyu	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Shasha, Dennis	PLDI '20: "Verifying Concurrent Search ..." Verifying Concurrent Search Structure Templates Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies (Microsoft Research, UK; New York University, USA) @InProceedings{PLDI20p241, author = {Siddharth Krishna and Nisarg Patel and Dennis Shasha and Thomas Wies}, title = {Verifying Concurrent Search Structure Templates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3385412.3386029}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Shen, Peiyuan	PLDI '20: "Reconciling Enumerative and ..." Reconciling Enumerative and Deductive Program Synthesis Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang (Purdue University, USA) @InProceedings{PLDI20p1521, author = {Kangjing Huang and Xiaokang Qiu and Peiyuan Shen and Yanjun Wang}, title = {Reconciling Enumerative and Deductive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1521-1520}, doi = {10.1145/3385412.3386027}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Sherman, Benjamin	PLDI '20: "Reactive Probabilistic Programming ..." Reactive Probabilistic Programming Guillaume Baudart, Louis Mandel, Eric Atkinson, Benjamin Sherman, Marc Pouzet, and Michael Carbin (IBM Research, USA; Massachusetts Institute of Technology, USA; ENS, France; PSL University, France) @InProceedings{PLDI20p1181, author = {Guillaume Baudart and Louis Mandel and Eric Atkinson and Benjamin Sherman and Marc Pouzet and Michael Carbin}, title = {Reactive Probabilistic Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1181-1180}, doi = {10.1145/3385412.3386009}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Singer, Kyle	PLDI '20: "Responsive Parallelism with ..." Responsive Parallelism with Futures and State Stefan K. Muller, Kyle Singer, Noah Goldstein, Umut A. Acar, Kunal Agrawal, and I-Ting Angelina Lee (Carnegie Mellon University, USA; Washington University in St. Louis, USA) @InProceedings{PLDI20p761, author = {Stefan K. Muller and Kyle Singer and Noah Goldstein and Umut A. Acar and Kunal Agrawal and I-Ting Angelina Lee}, title = {Responsive Parallelism with Futures and State}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3385412.3386013}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Singh, Gagandeep	PLDI '20: "Learning Fast and Precise ..." Learning Fast and Precise Numerical Analysis Jingxuan He, Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1461, author = {Jingxuan He and Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Learning Fast and Precise Numerical Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1461-1460}, doi = {10.1145/3385412.3386016}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Smaragdakis, Yannis	PLDI '20: "Static Analysis of Java Enterprise ..." Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room Anastasios Antoniadis, Nikos Filippakis, Paddy Krishnan, Raghavendra Ramesh, Nicholas Allen, and Yannis Smaragdakis (University of Athens, Greece; CERN, Switzerland; Oracle Labs, Australia; ConsenSys, Australia) @InProceedings{PLDI20p1041, author = {Anastasios Antoniadis and Nikos Filippakis and Paddy Krishnan and Raghavendra Ramesh and Nicholas Allen and Yannis Smaragdakis}, title = {Static Analysis of Java Enterprise Applications: Frameworks and Caches, the Elephants in the Room}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1041-1040}, doi = {10.1145/3385412.3386026}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Ethainter: A Smart Contract ..." Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities Lexi Brent, Neville Grech, Sifis Lagouvardos, Bernhard Scholz, and Yannis Smaragdakis (International Computer Science Institute, USA; University of Sydney, Australia; University of Athens, Greece) @InProceedings{PLDI20p601, author = {Lexi Brent and Neville Grech and Sifis Lagouvardos and Bernhard Scholz and Yannis Smaragdakis}, title = {Ethainter: A Smart Contract Security Analyzer for Composite Vulnerabilities}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {601-600}, doi = {10.1145/3385412.3385990}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Solar-Lezama, Armando	PLDI '20: "Semantic Code Search via Equational ..." Semantic Code Search via Equational Reasoning Varot Premtoon, James Koppel, and Armando Solar-Lezama (Massachusetts Institute of Technology, USA) @InProceedings{PLDI20p1401, author = {Varot Premtoon and James Koppel and Armando Solar-Lezama}, title = {Semantic Code Search via Equational Reasoning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1401-1400}, doi = {10.1145/3385412.3386001}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Song, Linhai	PLDI '20: "Understanding Memory and Thread ..." Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang (Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA) @InProceedings{PLDI20p1001, author = {Boqin Qin and Yilun Chen and Zeming Yu and Linhai Song and Yiying Zhang}, title = {Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3385412.3386036}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Stefan, Deian	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Towards a Verified Range Analysis ..." Towards a Verified Range Analysis for JavaScript JITs Fraser Brown, John Renner, Andres Nötzli, Sorin Lerner, Hovav Shacham, and Deian Stefan (Stanford University, USA; University of California at San Diego, USA; University of Texas at Austin, USA) @InProceedings{PLDI20p181, author = {Fraser Brown and John Renner and Andres Nötzli and Sorin Lerner and Hovav Shacham and Deian Stefan}, title = {Towards a Verified Range Analysis for JavaScript JITs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {181-180}, doi = {10.1145/3385412.3385968}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Steffen, Samuel	PLDI '20: "λPSI: Exact Inference for ..." λPSI: Exact Inference for Higher-Order Probabilistic Programs Timon Gehr, Samuel Steffen, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1161, author = {Timon Gehr and Samuel Steffen and Martin Vechev}, title = {λPSI: Exact Inference for Higher-Order Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1161-1160}, doi = {10.1145/3385412.3386006}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Stolarek, Jan	PLDI '20: "FreezeML: Complete and Easy ..." FreezeML: Complete and Easy Type Inference for First-Class Polymorphism Frank Emrich, Sam Lindley, Jan Stolarek, James Cheney, and Jonathan Coates (University of Edinburgh, UK; Imperial College London, UK; Lodz University of Technology, Poland; Alan Turing Institute, UK) @InProceedings{PLDI20p561, author = {Frank Emrich and Sam Lindley and Jan Stolarek and James Cheney and Jonathan Coates}, title = {FreezeML: Complete and Easy Type Inference for First-Class Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {561-560}, doi = {10.1145/3385412.3386003}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Su, Zhendong	PLDI '20: "Blended, Precise Semantic ..." Blended, Precise Semantic Program Embeddings Ke Wang and Zhendong Su (Visa Research, USA; ETH Zurich, Switzerland) @InProceedings{PLDI20p161, author = {Ke Wang and Zhendong Su}, title = {Blended, Precise Semantic Program Embeddings}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3385412.3385999}, year = {2020}, } Publisher's Version PLDI '20: "Validating SMT Solvers via ..." Validating SMT Solvers via Semantic Fusion Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) @InProceedings{PLDI20p941, author = {Dominik Winterer and Chengyu Zhang and Zhendong Su}, title = {Validating SMT Solvers via Semantic Fusion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {941-940}, doi = {10.1145/3385412.3385985}, year = {2020}, } Publisher's Version
	Subramanian, Kausik	PLDI '20: "Detecting Network Load Violations ..." Detecting Network Load Violations for Distributed Control Planes Kausik Subramanian, Anubhavnidhi Abhashkumar, Loris D'Antoni, and Aditya Akella (University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1281, author = {Kausik Subramanian and Anubhavnidhi Abhashkumar and Loris D'Antoni and Aditya Akella}, title = {Detecting Network Load Violations for Distributed Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1281-1280}, doi = {10.1145/3385412.3385976}, year = {2020}, } Publisher's Version Artifacts Functional
	Suchy, Brian	PLDI '20: "CARAT: A Case for Virtual ..." CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation Brian Suchy, Simone Campanoni, Nikos Hardavellas, and Peter Dinda (Northwestern University, USA) @InProceedings{PLDI20p441, author = {Brian Suchy and Simone Campanoni and Nikos Hardavellas and Peter Dinda}, title = {CARAT: A Case for Virtual Memory through Compiler- and Runtime-Based Address Translation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {441-440}, doi = {10.1145/3385412.3385987}, year = {2020}, } Publisher's Version
	Tan, Zujun	PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Tatlock, Zachary	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Thomas, Samuel	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Tullsen, Dean	PLDI '20: "Constant-Time Foundations ..." Constant-Time Foundations for the New Spectre Era Sunjay Cauligi, Craig Disselkoen, Klaus v. Gleissenthall, Dean Tullsen, Deian Stefan, Tamara Rezk, and Gilles Barthe (University of California at San Diego, USA; Inria, France; MPI-SP, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI20p1201, author = {Sunjay Cauligi and Craig Disselkoen and Klaus v. Gleissenthall and Dean Tullsen and Deian Stefan and Tamara Rezk and Gilles Barthe}, title = {Constant-Time Foundations for the New Spectre Era}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1201-1200}, doi = {10.1145/3385412.3385970}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Usman, Muhammad	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Vafeiadis, Viktor	PLDI '20: "Promising 2.0: Global Optimizations ..." Promising 2.0: Global Optimizations in Relaxed Memory Concurrency Sung-Hwan Lee, Minki Cho, Anton Podkopaev, Soham Chakraborty, Chung-Kil Hur, Ori Lahav, and Viktor Vafeiadis (Seoul National University, South Korea; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; IIT Delhi, India; Tel Aviv University, Israel) @InProceedings{PLDI20p481, author = {Sung-Hwan Lee and Minki Cho and Anton Podkopaev and Soham Chakraborty and Chung-Kil Hur and Ori Lahav and Viktor Vafeiadis}, title = {Promising 2.0: Global Optimizations in Relaxed Memory Concurrency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {481-480}, doi = {10.1145/3385412.3386010}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Vasic, Marko	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Vechev, Martin	PLDI '20: "λPSI: Exact Inference for ..." λPSI: Exact Inference for Higher-Order Probabilistic Programs Timon Gehr, Samuel Steffen, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1161, author = {Timon Gehr and Samuel Steffen and Martin Vechev}, title = {λPSI: Exact Inference for Higher-Order Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1161-1160}, doi = {10.1145/3385412.3386006}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Learning Fast and Precise ..." Learning Fast and Precise Numerical Analysis Jingxuan He, Gagandeep Singh, Markus Püschel, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p1461, author = {Jingxuan He and Gagandeep Singh and Markus Püschel and Martin Vechev}, title = {Learning Fast and Precise Numerical Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1461-1460}, doi = {10.1145/3385412.3386016}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Silq: A High-Level Quantum ..." Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics Benjamin Bichsel, Maximilian Baader, Timon Gehr, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI20p381, author = {Benjamin Bichsel and Maximilian Baader and Timon Gehr and Martin Vechev}, title = {Silq: A High-Level Quantum Language with Safe Uncomputation and Intuitive Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3385412.3386007}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Venkatesh, Deepan	PLDI '20: "Scalable Validation of Binary ..." Scalable Validation of Binary Lifters Sandeep Dasgupta, Sushant Dinesh, Deepan Venkatesh, Vikram S. Adve, and Christopher W. Fletcher (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI20p861, author = {Sandeep Dasgupta and Sushant Dinesh and Deepan Venkatesh and Vikram S. Adve and Christopher W. Fletcher}, title = {Scalable Validation of Binary Lifters}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {861-860}, doi = {10.1145/3385412.3385964}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Vikalo, Haris	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Vila, Pepe	PLDI '20: "CacheQuery: Learning Replacement ..." CacheQuery: Learning Replacement Policies from Hardware Caches Pepe Vila, Pierre Ganty, Marco Guarnieri, and Boris Köpf (IMDEA Software Institute, Spain; Universidad Politécnica de Madrid, Spain; Microsoft Research, UK) @InProceedings{PLDI20p681, author = {Pepe Vila and Pierre Ganty and Marco Guarnieri and Boris Köpf}, title = {CacheQuery: Learning Replacement Policies from Hardware Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3385412.3386008}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Walker, David	PLDI '20: "NV: An Intermediate Language ..." NV: An Intermediate Language for Verification of Network Control Planes Nick Giannarakis, Devon Loehr, Ryan Beckett, and David Walker (Princeton University, USA; Microsoft Research, USA) @InProceedings{PLDI20p1261, author = {Nick Giannarakis and Devon Loehr and Ryan Beckett and David Walker}, title = {NV: An Intermediate Language for Verification of Network Control Planes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1261-1260}, doi = {10.1145/3385412.3386019}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional PLDI '20: "Data-Driven Inference of Representation ..." Data-Driven Inference of Representation Invariants Anders Miltner, Saswat Padhi, Todd Millstein, and David Walker (Princeton University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p1, author = {Anders Miltner and Saswat Padhi and Todd Millstein and David Walker}, title = {Data-Driven Inference of Representation Invariants}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3385412.3385967}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wang, Kaiyuan	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wang, Ke	PLDI '20: "Blended, Precise Semantic ..." Blended, Precise Semantic Program Embeddings Ke Wang and Zhendong Su (Visa Research, USA; ETH Zurich, Switzerland) @InProceedings{PLDI20p161, author = {Ke Wang and Zhendong Su}, title = {Blended, Precise Semantic Program Embeddings}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {161-160}, doi = {10.1145/3385412.3385999}, year = {2020}, } Publisher's Version
	Wang, Wenxi	PLDI '20: "A Study of the Learnability ..." A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML) Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, and Sarfraz Khurshid (University of Texas at Austin, USA; Google, USA) @InProceedings{PLDI20p1441, author = {Muhammad Usman and Wenxi Wang and Marko Vasic and Kaiyuan Wang and Haris Vikalo and Sarfraz Khurshid}, title = {A Study of the Learnability of Relational Properties: Model Counting Meets Machine Learning (MCML)}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1441-1440}, doi = {10.1145/3385412.3386015}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wang, Xinyu	PLDI '20: "Multi-modal Synthesis of Regular ..." Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig (University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA) @InProceedings{PLDI20p641, author = {Qiaochu Chen and Xinyu Wang and Xi Ye and Greg Durrett and Isil Dillig}, title = {Multi-modal Synthesis of Regular Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3385412.3385988}, year = {2020}, } Publisher's Version
	Wang, Yanjun	PLDI '20: "Reconciling Enumerative and ..." Reconciling Enumerative and Deductive Program Synthesis Kangjing Huang, Xiaokang Qiu, Peiyuan Shen, and Yanjun Wang (Purdue University, USA) @InProceedings{PLDI20p1521, author = {Kangjing Huang and Xiaokang Qiu and Peiyuan Shen and Yanjun Wang}, title = {Reconciling Enumerative and Deductive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1521-1520}, doi = {10.1145/3385412.3386027}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wang, Yanzhi	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Wang, Zheng	PLDI '20: "Effective Function Merging ..." Effective Function Merging in the SSA Form Rodrigo C. O. Rocha, Pavlos Petoumenos, Zheng Wang, Murray Cole, and Hugh Leather (University of Edinburgh, UK; University of Manchester, UK; University of Leeds, UK) @InProceedings{PLDI20p1121, author = {Rodrigo C. O. Rocha and Pavlos Petoumenos and Zheng Wang and Murray Cole and Hugh Leather}, title = {Effective Function Merging in the SSA Form}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1121-1120}, doi = {10.1145/3385412.3386030}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Watt, Conrad	PLDI '20: "Repairing and Mechanising ..." Repairing and Mechanising the JavaScript Relaxed Memory Model Conrad Watt, Christopher Pulte, Anton Podkopaev, Guillaume Barbier, Stephen Dolan, Shaked Flur, Jean Pichon-Pharabod, and Shu-yu Guo (University of Cambridge, UK; National Research University Higher School of Economics, Russia; MPI-SWS, Germany; ENS Rennes, France; Bloomberg, USA) @InProceedings{PLDI20p461, author = {Conrad Watt and Christopher Pulte and Anton Podkopaev and Guillaume Barbier and Stephen Dolan and Shaked Flur and Jean Pichon-Pharabod and Shu-yu Guo}, title = {Repairing and Mechanising the JavaScript Relaxed Memory Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {461-460}, doi = {10.1145/3385412.3385973}, year = {2020}, } Publisher's Version
	Wei, Yuanhao	PLDI '20: "NVTraverse: In NVRAM Data ..." NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey Michal Friedman, Naama Ben-David, Yuanhao Wei, Guy E. Blelloch, and Erez Petrank (Technion, Israel; Carnegie Mellon University, USA) @InProceedings{PLDI20p501, author = {Michal Friedman and Naama Ben-David and Yuanhao Wei and Guy E. Blelloch and Erez Petrank}, title = {NVTraverse: In NVRAM Data Structures, the Destination Is More Important Than the Journey}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {501-500}, doi = {10.1145/3385412.3386031}, year = {2020}, } Publisher's Version
	Weimer, Westley	PLDI '20: "Type Error Feedback via Analytic ..." Type Error Feedback via Analytic Program Repair Georgios Sakkas, Madeline Endres, Benjamin Cosman, Westley Weimer, and Ranjit Jhala (University of California at San Diego, USA; University of Michigan, USA) @InProceedings{PLDI20p21, author = {Georgios Sakkas and Madeline Endres and Benjamin Cosman and Westley Weimer and Ranjit Jhala}, title = {Type Error Feedback via Analytic Program Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {21-20}, doi = {10.1145/3385412.3386005}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Wies, Thomas	PLDI '20: "Verifying Concurrent Search ..." Verifying Concurrent Search Structure Templates Siddharth Krishna, Nisarg Patel, Dennis Shasha, and Thomas Wies (Microsoft Research, UK; New York University, USA) @InProceedings{PLDI20p241, author = {Siddharth Krishna and Nisarg Patel and Dennis Shasha and Thomas Wies}, title = {Verifying Concurrent Search Structure Templates}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {241-240}, doi = {10.1145/3385412.3386029}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wilcox, James R.	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Willsey, Max	PLDI '20: "Synthesizing Structured CAD ..." Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations Chandrakana Nandi, Max Willsey, Adam Anderson, James R. Wilcox, Eva Darulova, Dan Grossman, and Zachary Tatlock (University of Washington, USA; Certora, USA; MPI-SWS, Germany) @InProceedings{PLDI20p41, author = {Chandrakana Nandi and Max Willsey and Adam Anderson and James R. Wilcox and Eva Darulova and Dan Grossman and Zachary Tatlock}, title = {Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {41-40}, doi = {10.1145/3385412.3386012}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Winterer, Dominik	PLDI '20: "Validating SMT Solvers via ..." Validating SMT Solvers via Semantic Fusion Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) @InProceedings{PLDI20p941, author = {Dominik Winterer and Chengyu Zhang and Zhendong Su}, title = {Validating SMT Solvers via Semantic Fusion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {941-940}, doi = {10.1145/3385412.3385985}, year = {2020}, } Publisher's Version
	Wong, Justin	PLDI '20: "Learning Nonlinear Loop Invariants ..." Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu (Columbia University, USA) @InProceedings{PLDI20p141, author = {Jianan Yao and Gabriel Ryan and Justin Wong and Suman Jana and Ronghui Gu}, title = {Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3385412.3385986}, year = {2020}, } Publisher's Version Artifacts Functional
	Wrigstad, Tobias	PLDI '20: "Improving Program Locality ..." Improving Program Locality in the GC using Hotness Albert Mingkun Yang, Erik Österlund, and Tobias Wrigstad (Uppsala University, Sweden; Oracle, Sweden) @InProceedings{PLDI20p401, author = {Albert Mingkun Yang and Erik Österlund and Tobias Wrigstad}, title = {Improving Program Locality in the GC using Hotness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {401-400}, doi = {10.1145/3385412.3385977}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wu, Wei-Cheng	PLDI '20: "Efficient Handling of String-Number ..." Efficient Handling of String-Number Conversion Parosh Aziz Abdulla, Mohamed Faouzi Atig, Yu-Fang Chen, Bui Phi Diep, Julian Dolby, Petr Janků, Hsin-Hung Lin, Lukáš Holík, and Wei-Cheng Wu (Uppsala University, Sweden; Academia Sinica, Taiwan; IBM Research, USA; Brno University of Technology, Czechia; University of Southern California, USA) @InProceedings{PLDI20p1241, author = {Parosh Aziz Abdulla and Mohamed Faouzi Atig and Yu-Fang Chen and Bui Phi Diep and Julian Dolby and Petr Janků and Hsin-Hung Lin and Lukáš Holík and Wei-Cheng Wu}, title = {Efficient Handling of String-Number Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1241-1240}, doi = {10.1145/3385412.3386034}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Wu, Xiaodi	PLDI '20: "On the Principles of Differentiable ..." On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu (University of Maryland, USA) @InProceedings{PLDI20p361, author = {Shaopeng Zhu and Shih-Han Hung and Shouvanik Chakrabarti and Xiaodi Wu}, title = {On the Principles of Differentiable Quantum Programming Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3385412.3386011}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Wu, Zhenwei	PLDI '20: "PMThreads: Persistent Memory ..." PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján (National University of Defense Technology, China; University of Manchester, UK) @InProceedings{PLDI20p821, author = {Zhenwei Wu and Kai Lu and Andrew Nisbet and Wenzhe Zhang and Mikel Luján}, title = {PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3385412.3386000}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Xiong, Yingfei	PLDI '20: "Question Selection for Interactive ..." Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu (Peking University, China) @InProceedings{PLDI20p1501, author = {Ruyi Ji and Jingjing Liang and Yingfei Xiong and Lu Zhang and Zhenjiang Hu}, title = {Question Selection for Interactive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3385412.3386025}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Xu, Guoqing Harry	PLDI '20: "Crafty: Efficient, HTM-Compatible ..." Crafty: Efficient, HTM-Compatible Persistent Transactions Kaan Genç, Michael D. Bond, and Guoqing Harry Xu (Ohio State University, USA; University of California at Los Angeles, USA) @InProceedings{PLDI20p81, author = {Kaan Genç and Michael D. Bond and Guoqing Harry Xu}, title = {Crafty: Efficient, HTM-Compatible Persistent Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {81-80}, doi = {10.1145/3385412.3385991}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Xu, Ziyang	PLDI '20: "SCAF: A Speculation-Aware ..." SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework Sotiris Apostolakis, Ziyang Xu, Zujun Tan, Greg Chan, Simone Campanoni, and David I. August (Princeton University, USA; Northwestern University, USA) @InProceedings{PLDI20p841, author = {Sotiris Apostolakis and Ziyang Xu and Zujun Tan and Greg Chan and Simone Campanoni and David I. August}, title = {SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {841-840}, doi = {10.1145/3385412.3386028}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Yang, Albert Mingkun	PLDI '20: "Improving Program Locality ..." Improving Program Locality in the GC using Hotness Albert Mingkun Yang, Erik Österlund, and Tobias Wrigstad (Uppsala University, Sweden; Oracle, Sweden) @InProceedings{PLDI20p401, author = {Albert Mingkun Yang and Erik Österlund and Tobias Wrigstad}, title = {Improving Program Locality in the GC using Hotness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {401-400}, doi = {10.1145/3385412.3385977}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Yang, Hailong	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional
	Yao, Jianan	PLDI '20: "Learning Nonlinear Loop Invariants ..." Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks Jianan Yao, Gabriel Ryan, Justin Wong, Suman Jana, and Ronghui Gu (Columbia University, USA) @InProceedings{PLDI20p141, author = {Jianan Yao and Gabriel Ryan and Justin Wong and Suman Jana and Ronghui Gu}, title = {Learning Nonlinear Loop Invariants with Gated Continuous Logic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {141-140}, doi = {10.1145/3385412.3385986}, year = {2020}, } Publisher's Version Artifacts Functional
	Ye, Xi	PLDI '20: "Multi-modal Synthesis of Regular ..." Multi-modal Synthesis of Regular Expressions Qiaochu Chen, Xinyu Wang, Xi Ye, Greg Durrett, and Isil Dillig (University of Texas at Austin, USA; University of Michigan at Ann Arbor, USA) @InProceedings{PLDI20p641, author = {Qiaochu Chen and Xinyu Wang and Xi Ye and Greg Durrett and Isil Dillig}, title = {Multi-modal Synthesis of Regular Expressions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {641-640}, doi = {10.1145/3385412.3385988}, year = {2020}, } Publisher's Version
	Ye, Yuwei	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Yi, Kwangkeun	PLDI '20: "Optimizing Homomorphic Evaluation ..." Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting DongKwon Lee, Woosuk Lee, Hakjoo Oh, and Kwangkeun Yi (Seoul National University, South Korea; Hanyang University, South Korea; Korea University, South Korea) @InProceedings{PLDI20p661, author = {DongKwon Lee and Woosuk Lee and Hakjoo Oh and Kwangkeun Yi}, title = {Optimizing Homomorphic Evaluation Circuits by Program Synthesis and Term Rewriting}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {661-660}, doi = {10.1145/3385412.3385996}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Yu, Zeming	PLDI '20: "Understanding Memory and Thread ..." Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang (Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA) @InProceedings{PLDI20p1001, author = {Boqin Qin and Yilun Chen and Zeming Yu and Linhai Song and Yiying Zhang}, title = {Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3385412.3386036}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Zeng, Jianping	PLDI '20: "Compiler-Directed Soft Error ..." Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection Hongjune Kim, Jianping Zeng, Qingrui Liu, Mohammad Abdel-Majeed, Jaejin Lee, and Changhee Jung (Seoul National University, South Korea; Purdue University, USA; Annapurna Labs, USA; University of Jordan, Jordan) @InProceedings{PLDI20p1301, author = {Hongjune Kim and Jianping Zeng and Qingrui Liu and Mohammad Abdel-Majeed and Jaejin Lee and Changhee Jung}, title = {Compiler-Directed Soft Error Resilience for Lightweight GPU Register File Protection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1301-1300}, doi = {10.1145/3385412.3386033}, year = {2020}, } Publisher's Version
	Zhang, Chengyu	PLDI '20: "Validating SMT Solvers via ..." Validating SMT Solvers via Semantic Fusion Dominik Winterer, Chengyu Zhang, and Zhendong Su (ETH Zurich, Switzerland; East China Normal University, China) @InProceedings{PLDI20p941, author = {Dominik Winterer and Chengyu Zhang and Zhendong Su}, title = {Validating SMT Solvers via Semantic Fusion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {941-940}, doi = {10.1145/3385412.3385985}, year = {2020}, } Publisher's Version
	Zhang, Lu	PLDI '20: "Question Selection for Interactive ..." Question Selection for Interactive Program Synthesis Ruyi Ji, Jingjing Liang, Yingfei Xiong, Lu Zhang, and Zhenjiang Hu (Peking University, China) @InProceedings{PLDI20p1501, author = {Ruyi Ji and Jingjing Liang and Yingfei Xiong and Lu Zhang and Zhenjiang Hu}, title = {Question Selection for Interactive Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1501-1500}, doi = {10.1145/3385412.3386025}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Zhang, Qirun	PLDI '20: "Fast Graph Simplification ..." Fast Graph Simplification for Interleaved Dyck-Reachability Yuanbo Li, Qirun Zhang, and Thomas Reps (Georgia Institute of Technology, USA; University of Wisconsin-Madison, USA) @InProceedings{PLDI20p1021, author = {Yuanbo Li and Qirun Zhang and Thomas Reps}, title = {Fast Graph Simplification for Interleaved Dyck-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1021-1020}, doi = {10.1145/3385412.3386021}, year = {2020}, } Publisher's Version PLDI '20: "Debug Information Validation ..." Debug Information Validation for Optimized Code Yuanbo Li, Shuo Ding, Qirun Zhang, and Davide Italiano (Georgia Institute of Technology, USA; Apple, USA) @InProceedings{PLDI20p1381, author = {Yuanbo Li and Shuo Ding and Qirun Zhang and Davide Italiano}, title = {Debug Information Validation for Optimized Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1381-1380}, doi = {10.1145/3385412.3386020}, year = {2020}, } Publisher's Version
	Zhang, Wenzhe	PLDI '20: "PMThreads: Persistent Memory ..." PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies Zhenwei Wu, Kai Lu, Andrew Nisbet, Wenzhe Zhang, and Mikel Luján (National University of Defense Technology, China; University of Manchester, UK) @InProceedings{PLDI20p821, author = {Zhenwei Wu and Kai Lu and Andrew Nisbet and Wenzhe Zhang and Mikel Luján}, title = {PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {821-820}, doi = {10.1145/3385412.3386000}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional
	Zhang, Yiying	PLDI '20: "Understanding Memory and Thread ..." Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs Boqin Qin, Yilun Chen, Zeming Yu, Linhai Song, and Yiying Zhang (Pennsylvania State University, USA; Purdue University, USA; University of California at San Diego, USA) @InProceedings{PLDI20p1001, author = {Boqin Qin and Yilun Chen and Zeming Yu and Linhai Song and Yiying Zhang}, title = {Understanding Memory and Thread Safety Practices and Issues in Real-World Rust Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1001-1000}, doi = {10.1145/3385412.3386036}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Zhang, Zhiru	PLDI '20: "Predictable Accelerator Design ..." Predictable Accelerator Design with Time-Sensitive Affine Types Rachit Nigam, Sachille Atapattu, Samuel Thomas, Zhijing Li, Theodore Bauer, Yuwei Ye, Apurva Koti, Adrian Sampson, and Zhiru Zhang (Cornell University, USA) @InProceedings{PLDI20p521, author = {Rachit Nigam and Sachille Atapattu and Samuel Thomas and Zhijing Li and Theodore Bauer and Yuwei Ye and Apurva Koti and Adrian Sampson and Zhiru Zhang}, title = {Predictable Accelerator Design with Time-Sensitive Affine Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {521-520}, doi = {10.1145/3385412.3385974}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Zhao, Xueyuan	PLDI '20: "Armada: Low-Effort Verification ..." Armada: Low-Effort Verification of High-Performance Concurrent Programs Jacob R. Lorch, Yixuan Chen, Manos Kapritsos, Bryan Parno, Shaz Qadeer, Upamanyu Sharma, James R. Wilcox, and Xueyuan Zhao (Microsoft Research, USA; University of Michigan, USA; Yale University, USA; Carnegie Mellon University, USA; Calibra, USA; Certora, USA) @InProceedings{PLDI20p261, author = {Jacob R. Lorch and Yixuan Chen and Manos Kapritsos and Bryan Parno and Shaz Qadeer and Upamanyu Sharma and James R. Wilcox and Xueyuan Zhao}, title = {Armada: Low-Effort Verification of High-Performance Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {261-260}, doi = {10.1145/3385412.3385971}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Zhu, Shaopeng	PLDI '20: "On the Principles of Differentiable ..." On the Principles of Differentiable Quantum Programming Languages Shaopeng Zhu, Shih-Han Hung, Shouvanik Chakrabarti, and Xiaodi Wu (University of Maryland, USA) @InProceedings{PLDI20p361, author = {Shaopeng Zhu and Shih-Han Hung and Shouvanik Chakrabarti and Xiaodi Wu}, title = {On the Principles of Differentiable Quantum Programming Languages}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {361-360}, doi = {10.1145/3385412.3386011}, year = {2020}, } Publisher's Version Published Artifact Artifacts Available Artifacts Reusable Artifacts Functional
	Zhuo, Youwei	PLDI '20: "SympleGraph: Distributed Graph ..." SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee Youwei Zhuo, Jingji Chen, Qinyi Luo, Yanzhi Wang, Hailong Yang, Depei Qian, and Xuehai Qian (University of Southern California, USA; Northeastern University, USA; Beihang University, China) @InProceedings{PLDI20p781, author = {Youwei Zhuo and Jingji Chen and Qinyi Luo and Yanzhi Wang and Hailong Yang and Depei Qian and Xuehai Qian}, title = {SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {781-780}, doi = {10.1145/3385412.3385961}, year = {2020}, } Publisher's Version Artifacts Reusable Artifacts Functional