PLDI 2019 – Author Index

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

	Abdulla, Parosh Aziz	PLDI '19: "Verification of Programs under ..." Verification of Programs under the Release-Acquire Semantics Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankaranarayanan Krishna (Uppsala University, Sweden; IIT Bombay, India) @InProceedings{PLDI19p1388, author = {Parosh Aziz Abdulla and Jatin Arora and Mohamed Faouzi Atig and Shankaranarayanan Krishna}, title = {Verification of Programs under the Release-Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1388-1387}, doi = {10.1145/3314221.3314649}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p734-p doi:10.1145/3314221.3314649
	Abrahamsson, Oskar	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Adve, Vikram S.	PLDI '19: "A Complete Formal Semantics ..." A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{PLDI19p1407, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Roşu}, title = {A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1407-1406}, doi = {10.1145/3314221.3314601}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p195-p doi:10.1145/3314221.3314601
	Aiken, Alex	PLDI '19: "Semantic Program Alignment ..." Semantic Program Alignment for Equivalence Checking Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI19p1274, author = {Berkeley Churchill and Oded Padon and Rahul Sharma and Alex Aiken}, title = {Semantic Program Alignment for Equivalence Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1274-1273}, doi = {10.1145/3314221.3314596}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p117-p doi:10.1145/3314221.3314596
	Almahallawi, Deyaaeldeen	PLDI '19: "Toward Efficient Gradual Typing ..." Toward Efficient Gradual Typing for Structural Types via Coercions Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, and Jeremy G. Siek (Indiana University, USA) @InProceedings{PLDI19p628, author = {Andre Kuhlenschmidt and Deyaaeldeen Almahallawi and Jeremy G. Siek}, title = {Toward Efficient Gradual Typing for Structural Types via Coercions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {628-627}, doi = {10.1145/3314221.3314627}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p379-p doi:10.1145/3314221.3314627
	Alur, Rajeev	PLDI '19: "Data-Trace Types for Distributed ..." Data-Trace Types for Distributed Stream Processing Systems Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen (Rice University, USA; University of Pennsylvania, USA) @InProceedings{PLDI19p818, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, title = {Data-Trace Types for Distributed Stream Processing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {818-817}, doi = {10.1145/3314221.3314580}, year = {2019}, } Publisher's Version Article: pldi19main-p1-p doi:10.1145/3314221.3314580
	Amit, Nadav	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Anderson, Greg	PLDI '19: "Optimization and Abstraction: ..." Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; Rice University, USA) @InProceedings{PLDI19p894, author = {Greg Anderson and Shankara Pailoor and Isil Dillig and Swarat Chaudhuri}, title = {Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {894-893}, doi = {10.1145/3314221.3314614}, year = {2019}, } Publisher's Version Article: pldi19main-p332-p doi:10.1145/3314221.3314614
	Arora, Jatin	PLDI '19: "Verification of Programs under ..." Verification of Programs under the Release-Acquire Semantics Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankaranarayanan Krishna (Uppsala University, Sweden; IIT Bombay, India) @InProceedings{PLDI19p1388, author = {Parosh Aziz Abdulla and Jatin Arora and Mohamed Faouzi Atig and Shankaranarayanan Krishna}, title = {Verification of Programs under the Release-Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1388-1387}, doi = {10.1145/3314221.3314649}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p734-p doi:10.1145/3314221.3314649
	Arunachalam, Meenakshi	PLDI '19: "Co-optimizing Memory-Level ..." Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karakoy, and Meenakshi Arunachalam (Pennsylvania State University, USA; TOBB University of Economics and Technology, Turkey; Intel, USA) @InProceedings{PLDI19p1160, author = {Xulong Tang and Mahmut Taylan Kandemir and Mustafa Karakoy and Meenakshi Arunachalam}, title = {Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1160-1159}, doi = {10.1145/3314221.3314599}, year = {2019}, } Publisher's Version Article: pldi19main-p155-p doi:10.1145/3314221.3314599
	Astorga, Angello	PLDI '19: "Learning Stateful Preconditions ..." Learning Stateful Preconditions Modulo a Test Generator Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p951, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, title = {Learning Stateful Preconditions Modulo a Test Generator}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3314221.3314641}, year = {2019}, } Publisher's Version Article: pldi19main-p614-p doi:10.1145/3314221.3314641
	Atig, Mohamed Faouzi	PLDI '19: "Verification of Programs under ..." Verification of Programs under the Release-Acquire Semantics Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankaranarayanan Krishna (Uppsala University, Sweden; IIT Bombay, India) @InProceedings{PLDI19p1388, author = {Parosh Aziz Abdulla and Jatin Arora and Mohamed Faouzi Atig and Shankaranarayanan Krishna}, title = {Verification of Programs under the Release-Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1388-1387}, doi = {10.1145/3314221.3314649}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p734-p doi:10.1145/3314221.3314649
	Augustine, Travis	PLDI '19: "Generating Piecewise-Regular ..." Generating Piecewise-Regular Code from Irregular Structures Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, and Gabriel Rodríguez (Colorado State University, USA; Universidade da Coruña, Spain) @InProceedings{PLDI19p761, author = {Travis Augustine and Janarthanan Sarma and Louis-Noël Pouchet and Gabriel Rodríguez}, title = {Generating Piecewise-Regular Code from Irregular Structures}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3314221.3314615}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p334-p doi:10.1145/3314221.3314615
	Barthe, Gilles	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605 PLDI '19: "Bidirectional Type Checking ..." Bidirectional Type Checking for Relational Properties Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, and Deepak Garg (Facebook, USA; SUNY Buffalo, USA; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany) @InProceedings{PLDI19p647, author = {Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3314221.3314603}, year = {2019}, } Publisher's Version Article: pldi19main-p213-p doi:10.1145/3314221.3314603
	Benussi, Elias	PLDI '19: "Verifying Message-Passing ..." Verifying Message-Passing Programs with Dependent Behavioural Types Alceste Scalas, Nobuko Yoshida, and Elias Benussi (Imperial College London, UK; Aston University, UK; Faculty Science, UK) @InProceedings{PLDI19p609, author = {Alceste Scalas and Nobuko Yoshida and Elias Benussi}, title = {Verifying Message-Passing Programs with Dependent Behavioural Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3314221.3322484}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p105-p doi:10.1145/3314221.3322484
	Berger, Emery D.	PLDI '19: "Mesh: Compacting Memory Management ..." Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor (University of Massachusetts at Amherst, USA) @InProceedings{PLDI19p400, author = {Bobby Powers and David Tench and Emery D. Berger and Andrew McGregor}, title = {Mesh: Compacting Memory Management for C/C++ Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3314221.3314582}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p6-p doi:10.1145/3314221.3314582
	Bichsel, Benjamin	PLDI '19: "Scalable Taint Specification ..." Scalable Taint Specification Inference with Big Code Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p932, author = {Victor Chibotaru and Benjamin Bichsel and Veselin Raychev and Martin Vechev}, title = {Scalable Taint Specification Inference with Big Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {932-931}, doi = {10.1145/3314221.3314648}, year = {2019}, } Publisher's Version Article: pldi19main-p732-p doi:10.1145/3314221.3314648
	Binder, Walter	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Bland, Maxwell Troy	PLDI '19: "Lazy Counterfactual Symbolic ..." Lazy Counterfactual Symbolic Execution William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, and Ruzica Piskac (Yale University, USA; University of California at San Diego, USA) @InProceedings{PLDI19p495, author = {William T. Hallahan and Anton Xue and Maxwell Troy Bland and Ranjit Jhala and Ruzica Piskac}, title = {Lazy Counterfactual Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3314221.3314618}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p351-p doi:10.1145/3314221.3314618
	Blelloch, Guy E.	PLDI '19: "Low-Latency Graph Streaming ..." Low-Latency Graph Streaming using Compressed Purely-Functional Trees Laxman Dhulipala, Guy E. Blelloch, and Julian Shun (Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1141, author = {Laxman Dhulipala and Guy E. Blelloch and Julian Shun}, title = {Low-Latency Graph Streaming using Compressed Purely-Functional Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3314221.3314598}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p129-p doi:10.1145/3314221.3314598
	Brandner, Laurin	PLDI '19: "A Fast Analytical Model of ..." A Fast Analytical Model of Fully Associative Caches Tobias Gysi, Tobias Grosser, Laurin Brandner, and Torsten Hoefler (ETH Zurich, Switzerland) @InProceedings{PLDI19p1008, author = {Tobias Gysi and Tobias Grosser and Laurin Brandner and Torsten Hoefler}, title = {A Fast Analytical Model of Fully Associative Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1008-1007}, doi = {10.1145/3314221.3314606}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p228-p doi:10.1145/3314221.3314606
	Brown, Fraser	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Bulej, Lubomír	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Cadar, Cristian	PLDI '19: "Computing Summaries of String ..." Computing Summaries of String Loops in C for Better Testing and Refactoring Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Cristian Cadar (Imperial College London, UK; Tel Aviv University, Israel; Technion, Israel) @InProceedings{PLDI19p1084, author = {Timotej Kapus and Oren Ish-Shalom and Shachar Itzhaky and Noam Rinetzky and Cristian Cadar}, title = {Computing Summaries of String Loops in C for Better Testing and Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1084-1083}, doi = {10.1145/3314221.3314610}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p288-p doi:10.1145/3314221.3314610
	Campagna, Giovanni	PLDI '19: "Genie: A Generator of Natural ..." Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and Monica S. Lam (Stanford University, USA; Salesforce, USA) @InProceedings{PLDI19p476, author = {Giovanni Campagna and Silei Xu and Mehrad Moradshahi and Richard Socher and Monica S. Lam}, title = {Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3314221.3314594}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p111-p doi:10.1145/3314221.3314594
	Cao, Ting	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Cauligi, Sunjay	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Chajed, Tej	PLDI '19: "Argosy: Verifying Layered ..." Argosy: Verifying Layered Storage Systems with Recovery Refinement Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1312, author = {Tej Chajed and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Argosy: Verifying Layered Storage Systems with Recovery Refinement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1312-1311}, doi = {10.1145/3314221.3314585}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p30-p doi:10.1145/3314221.3314585
	Chatterjee, Krishnendu	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Chaudhuri, Swarat	PLDI '19: "Optimization and Abstraction: ..." Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; Rice University, USA) @InProceedings{PLDI19p894, author = {Greg Anderson and Shankara Pailoor and Isil Dillig and Swarat Chaudhuri}, title = {Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {894-893}, doi = {10.1145/3314221.3314614}, year = {2019}, } Publisher's Version Article: pldi19main-p332-p doi:10.1145/3314221.3314614
	Chen, Hao	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Chen, Xianglan	PLDI '19: "DFix: Automatically Fixing ..." DFix: Automatically Fixing Timing Bugs in Distributed Systems Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, and Shan Lu (University of Chicago, USA; University of Science and Technology of China, China) @InProceedings{PLDI19p1236, author = {Guangpu Li and Haopeng Liu and Xianglan Chen and Haryadi S. Gunawi and Shan Lu}, title = {DFix: Automatically Fixing Timing Bugs in Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3314221.3314620}, year = {2019}, } Publisher's Version Article: pldi19main-p359-p doi:10.1145/3314221.3314620
	Cheshmi, Kazem	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Chibotaru, Victor	PLDI '19: "Scalable Taint Specification ..." Scalable Taint Specification Inference with Big Code Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p932, author = {Victor Chibotaru and Benjamin Bichsel and Veselin Raychev and Martin Vechev}, title = {Scalable Taint Specification Inference with Big Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {932-931}, doi = {10.1145/3314221.3314648}, year = {2019}, } Publisher's Version Article: pldi19main-p732-p doi:10.1145/3314221.3314648
	Choi, Jiho	PLDI '19: "Reusable Inline Caching for ..." Reusable Inline Caching for JavaScript Performance Jiho Choi, Thomas Shull, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p1103, author = {Jiho Choi and Thomas Shull and Josep Torrellas}, title = {Reusable Inline Caching for JavaScript Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1103-1102}, doi = {10.1145/3314221.3314587}, year = {2019}, } Publisher's Version Article: pldi19main-p43-p doi:10.1145/3314221.3314587
	Churchill, Berkeley	PLDI '19: "Semantic Program Alignment ..." Semantic Program Alignment for Equivalence Checking Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI19p1274, author = {Berkeley Churchill and Oded Padon and Rahul Sharma and Alex Aiken}, title = {Semantic Program Alignment for Equivalence Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1274-1273}, doi = {10.1145/3314221.3314596}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p117-p doi:10.1145/3314221.3314596
	Çiçek, Ezgi	PLDI '19: "Bidirectional Type Checking ..." Bidirectional Type Checking for Relational Properties Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, and Deepak Garg (Facebook, USA; SUNY Buffalo, USA; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany) @InProceedings{PLDI19p647, author = {Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3314221.3314603}, year = {2019}, } Publisher's Version Article: pldi19main-p213-p doi:10.1145/3314221.3314603
	Cui, Huimin	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Cusumano-Towner, Marco F.	PLDI '19: "Gen: A General-Purpose Probabilistic ..." Gen: A General-Purpose Probabilistic Programming System with Programmable Inference Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p267, author = {Marco F. Cusumano-Towner and Feras A. Saad and Alexander K. Lew and Vikash K. Mansinghka}, title = {Gen: A General-Purpose Probabilistic Programming System with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {267-266}, doi = {10.1145/3314221.3314642}, year = {2019}, } Publisher's Version Article: pldi19main-p645-p doi:10.1145/3314221.3314642
	Dagand, Pierre-Évariste	PLDI '19: "Usuba: High-Throughput and ..." Usuba: High-Throughput and Constant-Time Ciphers, by Construction Darius Mercadier and Pierre-Évariste Dagand (Sorbonne University, France; CNRS, France; Inria, France; LIP6, France) @InProceedings{PLDI19p191, author = {Darius Mercadier and Pierre-Évariste Dagand}, title = {Usuba: High-Throughput and Constant-Time Ciphers, by Construction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {191-190}, doi = {10.1145/3314221.3314636}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p536-p doi:10.1145/3314221.3314636
	Dasgupta, Sandeep	PLDI '19: "A Complete Formal Semantics ..." A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{PLDI19p1407, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Roşu}, title = {A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1407-1406}, doi = {10.1145/3314221.3314601}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p195-p doi:10.1145/3314221.3314601
	Dathathri, Roshan	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Davis, Eddie C.	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Dehnavi, Maryam Mehri	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	DeHon, André	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Dhulipala, Laxman	PLDI '19: "Low-Latency Graph Streaming ..." Low-Latency Graph Streaming using Compressed Purely-Functional Trees Laxman Dhulipala, Guy E. Blelloch, and Julian Shun (Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1141, author = {Laxman Dhulipala and Guy E. Blelloch and Julian Shun}, title = {Low-Latency Graph Streaming using Compressed Purely-Functional Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3314221.3314598}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p129-p doi:10.1145/3314221.3314598
	Dillig, Isil	PLDI '19: "Synthesizing Database Programs ..." Synthesizing Database Programs for Schema Refactoring Yuepeng Wang, James Dong, Rushi Shah, and Isil Dillig (University of Texas at Austin, USA) @InProceedings{PLDI19p343, author = {Yuepeng Wang and James Dong and Rushi Shah and Isil Dillig}, title = {Synthesizing Database Programs for Schema Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {343-342}, doi = {10.1145/3314221.3314588}, year = {2019}, } Publisher's Version Article: pldi19main-p45-p doi:10.1145/3314221.3314588 PLDI '19: "Optimization and Abstraction: ..." Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; Rice University, USA) @InProceedings{PLDI19p894, author = {Greg Anderson and Shankara Pailoor and Isil Dillig and Swarat Chaudhuri}, title = {Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {894-893}, doi = {10.1145/3314221.3314614}, year = {2019}, } Publisher's Version Article: pldi19main-p332-p doi:10.1145/3314221.3314614
	Ding, Zeyu	PLDI '19: "Proving Differential Privacy ..." Proving Differential Privacy with Shadow Execution Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, and Danfeng Zhang (Pennsylvania State University, USA) @InProceedings{PLDI19p799, author = {Yuxin Wang and Zeyu Ding and Guanhong Wang and Daniel Kifer and Danfeng Zhang}, title = {Proving Differential Privacy with Shadow Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {799-798}, doi = {10.1145/3314221.3314619}, year = {2019}, } Publisher's Version Article: pldi19main-p357-p doi:10.1145/3314221.3314619
	Donaldson, Alastair F.	PLDI '19: "Sparse Record and Replay with ..." Sparse Record and Replay with Controlled Scheduling Christopher Lidbury and Alastair F. Donaldson (Imperial College London, UK) @InProceedings{PLDI19p704, author = {Christopher Lidbury and Alastair F. Donaldson}, title = {Sparse Record and Replay with Controlled Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {704-703}, doi = {10.1145/3314221.3314635}, year = {2019}, } Publisher's Version Article: pldi19main-p498-p doi:10.1145/3314221.3314635
	Dong, James	PLDI '19: "Synthesizing Database Programs ..." Synthesizing Database Programs for Schema Refactoring Yuepeng Wang, James Dong, Rushi Shah, and Isil Dillig (University of Texas at Austin, USA) @InProceedings{PLDI19p343, author = {Yuepeng Wang and James Dong and Rushi Shah and Isil Dillig}, title = {Synthesizing Database Programs for Schema Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {343-342}, doi = {10.1145/3314221.3314588}, year = {2019}, } Publisher's Version Article: pldi19main-p45-p doi:10.1145/3314221.3314588
	Dreossi, Tommaso	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Duboscq, Gilles	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Eberhardt, Jan	PLDI '19: "Unsupervised Learning of API ..." Unsupervised Learning of API Aliasing Specifications Jan Eberhardt, Samuel Steffen, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p913, author = {Jan Eberhardt and Samuel Steffen and Veselin Raychev and Martin Vechev}, title = {Unsupervised Learning of API Aliasing Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {913-912}, doi = {10.1145/3314221.3314640}, year = {2019}, } Publisher's Version Article: pldi19main-p607-p doi:10.1145/3314221.3314640
	Enea, Constantin	PLDI '19: "Replication-Aware Linearizability ..." Replication-Aware Linearizability Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri (IRIF, France; University Paris Diderot, France; CNRS, France; ARM, UK) @InProceedings{PLDI19p1217, author = {Chao Wang and Constantin Enea and Suha Orhun Mutluergil and Gustavo Petri}, title = {Replication-Aware Linearizability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1217-1216}, doi = {10.1145/3314221.3314617}, year = {2019}, } Publisher's Version Article: pldi19main-p344-p doi:10.1145/3314221.3314617
	Farzan, Azadeh	PLDI '19: "Modular Divide-and-Conquer ..." Modular Divide-and-Conquer Parallelization of Nested Loops Azadeh Farzan and Victor Nicolet (University of Toronto, Canada) @InProceedings{PLDI19p742, author = {Azadeh Farzan and Victor Nicolet}, title = {Modular Divide-and-Conquer Parallelization of Nested Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3314221.3314612}, year = {2019}, } Publisher's Version Article: pldi19main-p311-p doi:10.1145/3314221.3314612
	Feng, Xiaobing	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Feng, Xinyu	PLDI '19: "Towards Certified Separate ..." Towards Certified Separate Compilation for Concurrent Programs Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng (University of Science and Technology of China, China; Nanjing University, China) @InProceedings{PLDI19p134, author = {Hanru Jiang and Hongjin Liang and Siyang Xiao and Junpeng Zha and Xinyu Feng}, title = {Towards Certified Separate Compilation for Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3314221.3314595}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p115-p doi:10.1145/3314221.3314595
	Férée, Hugo	PLDI '19: "Characterising Renaming within ..." Characterising Renaming within OCaml’s Module System: Theory and Implementation Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, and Scott Owens (University of Kent, UK) @InProceedings{PLDI19p1179, author = {Reuben N. S. Rowe and Hugo Férée and Simon J. Thompson and Scott Owens}, title = {Characterising Renaming within OCaml’s Module System: Theory and Implementation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1179-1178}, doi = {10.1145/3314221.3314600}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p160-p doi:10.1145/3314221.3314600
	Foster, Jeffrey S.	PLDI '19: "Type-Level Computations for ..." Type-Level Computations for Ruby Libraries Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, and David Van Horn (University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Tufts University, USA) @InProceedings{PLDI19p1198, author = {Milod Kazerounian and Sankha Narayan Guria and Niki Vazou and Jeffrey S. Foster and David Van Horn}, title = {Type-Level Computations for Ruby Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1198-1197}, doi = {10.1145/3314221.3314630}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p432-p doi:10.1145/3314221.3314630
	Foster, Nate	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Fox, Anthony	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Fremont, Daniel J.	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Fu, Hongfei	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Fu, Zhoulai	PLDI '19: "Effective Floating-Point Analysis ..." Effective Floating-Point Analysis via Weak-Distance Minimization Zhoulai Fu and Zhendong Su (IT University of Copenhagen, Denmark; ETH Zurich, Switzerland) @InProceedings{PLDI19p533, author = {Zhoulai Fu and Zhendong Su}, title = {Effective Floating-Point Analysis via Weak-Distance Minimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {533-532}, doi = {10.1145/3314221.3314632}, year = {2019}, } Publisher's Version Article: pldi19main-p481-p doi:10.1145/3314221.3314632
	Gaboardi, Marco	PLDI '19: "Bidirectional Type Checking ..." Bidirectional Type Checking for Relational Properties Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, and Deepak Garg (Facebook, USA; SUNY Buffalo, USA; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany) @InProceedings{PLDI19p647, author = {Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3314221.3314603}, year = {2019}, } Publisher's Version Article: pldi19main-p213-p doi:10.1145/3314221.3314603
	Garg, Deepak	PLDI '19: "Bidirectional Type Checking ..." Bidirectional Type Checking for Relational Properties Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, and Deepak Garg (Facebook, USA; SUNY Buffalo, USA; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany) @InProceedings{PLDI19p647, author = {Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3314221.3314603}, year = {2019}, } Publisher's Version Article: pldi19main-p213-p doi:10.1145/3314221.3314603
	Gershuni, Elazar	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Ghanathe, Nikhil	PLDI '19: "Compiling KB-Sized Machine ..." Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) @InProceedings{PLDI19p96, author = {Sridhar Gopinath and Nikhil Ghanathe and Vivek Seshadri and Rahul Sharma}, title = {Compiling KB-Sized Machine Learning Models to Tiny IoT Devices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3314221.3314597}, year = {2019}, } Publisher's Version Article: pldi19main-p120-p doi:10.1145/3314221.3314597
	Ghosh, Shromona	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Gilray, Thomas	PLDI '19: "Size-Change Termination as ..." Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, and David Van Horn (University of Maryland at College Park, USA; University of Alabama at Birmingham, USA; Indiana University, USA) @InProceedings{PLDI19p1046, author = {Phúc C. Nguyễn and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn}, title = {Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1046-1045}, doi = {10.1145/3314221.3314643}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p654-p doi:10.1145/3314221.3314643
	Goharshady, Amir Kafshdar	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Gopinath, Rahul	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	Gopinath, Sridhar	PLDI '19: "Compiling KB-Sized Machine ..." Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) @InProceedings{PLDI19p96, author = {Sridhar Gopinath and Nikhil Ghanathe and Vivek Seshadri and Rahul Sharma}, title = {Compiling KB-Sized Machine Learning Models to Tiny IoT Devices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3314221.3314597}, year = {2019}, } Publisher's Version Article: pldi19main-p120-p doi:10.1145/3314221.3314597
	Grégoire, Benjamin	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Grosser, Tobias	PLDI '19: "A Fast Analytical Model of ..." A Fast Analytical Model of Fully Associative Caches Tobias Gysi, Tobias Grosser, Laurin Brandner, and Torsten Hoefler (ETH Zurich, Switzerland) @InProceedings{PLDI19p1008, author = {Tobias Gysi and Tobias Grosser and Laurin Brandner and Torsten Hoefler}, title = {A Fast Analytical Model of Fully Associative Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1008-1007}, doi = {10.1145/3314221.3314606}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p228-p doi:10.1145/3314221.3314606
	Guan, Hui	PLDI '19: "Wootz: A Compiler-Based Framework ..." Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability Hui Guan, Xipeng Shen, and Seung-Hwan Lim (North Carolina State University, USA; Oak Ridge National Laboratory, USA) @InProceedings{PLDI19p875, author = {Hui Guan and Xipeng Shen and Seung-Hwan Lim}, title = {Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {875-874}, doi = {10.1145/3314221.3314652}, year = {2019}, } Publisher's Version Article: pldi19main-p793-p doi:10.1145/3314221.3314652
	Gunawi, Haryadi S.	PLDI '19: "DFix: Automatically Fixing ..." DFix: Automatically Fixing Timing Bugs in Distributed Systems Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, and Shan Lu (University of Chicago, USA; University of Science and Technology of China, China) @InProceedings{PLDI19p1236, author = {Guangpu Li and Haopeng Liu and Xianglan Chen and Haryadi S. Gunawi and Shan Lu}, title = {DFix: Automatically Fixing Timing Bugs in Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3314221.3314620}, year = {2019}, } Publisher's Version Article: pldi19main-p359-p doi:10.1145/3314221.3314620
	Gurfinkel, Arie	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Guria, Sankha Narayan	PLDI '19: "Type-Level Computations for ..." Type-Level Computations for Ruby Libraries Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, and David Van Horn (University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Tufts University, USA) @InProceedings{PLDI19p1198, author = {Milod Kazerounian and Sankha Narayan Guria and Niki Vazou and Jeffrey S. Foster and David Van Horn}, title = {Type-Level Computations for Ruby Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1198-1197}, doi = {10.1145/3314221.3314630}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p432-p doi:10.1145/3314221.3314630
	Gysi, Tobias	PLDI '19: "A Fast Analytical Model of ..." A Fast Analytical Model of Fully Associative Caches Tobias Gysi, Tobias Grosser, Laurin Brandner, and Torsten Hoefler (ETH Zurich, Switzerland) @InProceedings{PLDI19p1008, author = {Tobias Gysi and Tobias Grosser and Laurin Brandner and Torsten Hoefler}, title = {A Fast Analytical Model of Fully Associative Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1008-1007}, doi = {10.1145/3314221.3314606}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p228-p doi:10.1145/3314221.3314606
	Hall, Mary	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Hallahan, William T.	PLDI '19: "Lazy Counterfactual Symbolic ..." Lazy Counterfactual Symbolic Execution William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, and Ruzica Piskac (Yale University, USA; University of California at San Diego, USA) @InProceedings{PLDI19p495, author = {William T. Hallahan and Anton Xue and Maxwell Troy Bland and Ranjit Jhala and Ruzica Piskac}, title = {Lazy Counterfactual Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3314221.3314618}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p351-p doi:10.1145/3314221.3314618
	Hammer, Matthew A.	PLDI '19: "ILC: A Calculus for Composable, ..." ILC: A Calculus for Composable, Computational Cryptography Kevin Liao, Matthew A. Hammer, and Andrew Miller (University of Illinois at Urbana-Champaign, USA; DFINITY, USA) @InProceedings{PLDI19p780, author = {Kevin Liao and Matthew A. Hammer and Andrew Miller}, title = {ILC: A Calculus for Composable, Computational Cryptography}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {780-779}, doi = {10.1145/3314221.3314607}, year = {2019}, } Publisher's Version Article: pldi19main-p235-p doi:10.1145/3314221.3314607
	Heo, Kihong	PLDI '19: "Continuously Reasoning about ..." Continuously Reasoning about Programs using Differential Bayesian Inference Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI19p685, author = {Kihong Heo and Mukund Raghothaman and Xujie Si and Mayur Naik}, title = {Continuously Reasoning about Programs using Differential Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {685-684}, doi = {10.1145/3314221.3314616}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p339-p doi:10.1145/3314221.3314616
	Hoefler, Torsten	PLDI '19: "A Fast Analytical Model of ..." A Fast Analytical Model of Fully Associative Caches Tobias Gysi, Tobias Grosser, Laurin Brandner, and Torsten Hoefler (ETH Zurich, Switzerland) @InProceedings{PLDI19p1008, author = {Tobias Gysi and Tobias Grosser and Laurin Brandner and Torsten Hoefler}, title = {A Fast Analytical Model of Fully Associative Caches}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1008-1007}, doi = {10.1145/3314221.3314606}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p228-p doi:10.1145/3314221.3314606
	Hoffmann, Jan	PLDI '19: "Resource-Guided Program Synthesis ..." Resource-Guided Program Synthesis Tristan Knoth, Di Wang, Nadia Polikarpova, and Jan Hoffmann (University of California at San Diego, USA; Carnegie Mellon University, USA) @InProceedings{PLDI19p305, author = {Tristan Knoth and Di Wang and Nadia Polikarpova and Jan Hoffmann}, title = {Resource-Guided Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {305-304}, doi = {10.1145/3314221.3314602}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p212-p doi:10.1145/3314221.3314602
	Höschele, Matthias	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	Hsu, Justin	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Huang, Jian	PLDI '19: "AutoPersist: An Easy-To-Use ..." AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability Thomas Shull, Jian Huang, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p381, author = {Thomas Shull and Jian Huang and Josep Torrellas}, title = {AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3314221.3314608}, year = {2019}, } Publisher's Version Article: pldi19main-p237-p doi:10.1145/3314221.3314608
	Hur, Chung-Kil	PLDI '19: "Promising-ARM/RISC-V: A Simpler ..." Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, and Chung-Kil Hur (Cambridge University, UK; KAIST, South Korea; Seoul National University, South Korea) @InProceedings{PLDI19p1, author = {Christopher Pulte and Jean Pichon-Pharabod and Jeehoon Kang and Sung-Hwan Lee and Chung-Kil Hur}, title = {Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3314221.3314624}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p368-p doi:10.1145/3314221.3314624
	Ish-Shalom, Oren	PLDI '19: "Computing Summaries of String ..." Computing Summaries of String Loops in C for Better Testing and Refactoring Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Cristian Cadar (Imperial College London, UK; Tel Aviv University, Israel; Technion, Israel) @InProceedings{PLDI19p1084, author = {Timotej Kapus and Oren Ish-Shalom and Shachar Itzhaky and Noam Rinetzky and Cristian Cadar}, title = {Computing Summaries of String Loops in C for Better Testing and Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1084-1083}, doi = {10.1145/3314221.3314610}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p288-p doi:10.1145/3314221.3314610
	Itzhaky, Shachar	PLDI '19: "Computing Summaries of String ..." Computing Summaries of String Loops in C for Better Testing and Refactoring Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Cristian Cadar (Imperial College London, UK; Tel Aviv University, Israel; Technion, Israel) @InProceedings{PLDI19p1084, author = {Timotej Kapus and Oren Ish-Shalom and Shachar Itzhaky and Noam Rinetzky and Cristian Cadar}, title = {Computing Summaries of String Loops in C for Better Testing and Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1084-1083}, doi = {10.1145/3314221.3314610}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p288-p doi:10.1145/3314221.3314610
	Ives, Zachary G.	PLDI '19: "Data-Trace Types for Distributed ..." Data-Trace Types for Distributed Stream Processing Systems Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen (Rice University, USA; University of Pennsylvania, USA) @InProceedings{PLDI19p818, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, title = {Data-Trace Types for Distributed Stream Processing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {818-817}, doi = {10.1145/3314221.3314580}, year = {2019}, } Publisher's Version Article: pldi19main-p1-p doi:10.1145/3314221.3314580
	Iyer, Arun	PLDI '19: "Synthesis and Machine Learning ..." Synthesis and Machine Learning for Heterogeneous Extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, and Sriram K. Rajamani (Microsoft Research, India; Inpher, Switzerland; Microsoft, USA) @InProceedings{PLDI19p362, author = {Arun Iyer and Manohar Jonnalagedda and Suresh Parthasarathy and Arjun Radhakrishna and Sriram K. Rajamani}, title = {Synthesis and Machine Learning for Heterogeneous Extraction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3314221.3322485}, year = {2019}, } Publisher's Version Article: pldi19main-p196-p doi:10.1145/3314221.3322485
	Jagannathan, Suresh	PLDI '19: "An Inductive Synthesis Framework ..." An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu, Zikang Xiong, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI19p837, author = {He Zhu and Zikang Xiong and Stephen Magill and Suresh Jagannathan}, title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3314221.3314638}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p591-p doi:10.1145/3314221.3314638
	Jhala, Ranjit	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605 PLDI '19: "Lazy Counterfactual Symbolic ..." Lazy Counterfactual Symbolic Execution William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, and Ruzica Piskac (Yale University, USA; University of California at San Diego, USA) @InProceedings{PLDI19p495, author = {William T. Hallahan and Anton Xue and Maxwell Troy Bland and Ranjit Jhala and Ruzica Piskac}, title = {Lazy Counterfactual Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3314221.3314618}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p351-p doi:10.1145/3314221.3314618
	Jiang, Hanru	PLDI '19: "Towards Certified Separate ..." Towards Certified Separate Compilation for Concurrent Programs Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng (University of Science and Technology of China, China; Nanjing University, China) @InProceedings{PLDI19p134, author = {Hanru Jiang and Hongjin Liang and Siyang Xiao and Junpeng Zha and Xinyu Feng}, title = {Towards Certified Separate Compilation for Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3314221.3314595}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p115-p doi:10.1145/3314221.3314595
	Johannesmeyer, Brian	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Jonnalagedda, Manohar	PLDI '19: "Synthesis and Machine Learning ..." Synthesis and Machine Learning for Heterogeneous Extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, and Sriram K. Rajamani (Microsoft Research, India; Inpher, Switzerland; Microsoft, USA) @InProceedings{PLDI19p362, author = {Arun Iyer and Manohar Jonnalagedda and Suresh Parthasarathy and Arjun Radhakrishna and Sriram K. Rajamani}, title = {Synthesis and Machine Learning for Heterogeneous Extraction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3314221.3322485}, year = {2019}, } Publisher's Version Article: pldi19main-p196-p doi:10.1145/3314221.3322485
	Kaashoek, M. Frans	PLDI '19: "Argosy: Verifying Layered ..." Argosy: Verifying Layered Storage Systems with Recovery Refinement Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1312, author = {Tej Chajed and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Argosy: Verifying Layered Storage Systems with Recovery Refinement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1312-1311}, doi = {10.1145/3314221.3314585}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p30-p doi:10.1145/3314221.3314585
	Kahn, David M.	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Kampmann, Alexander	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	Kandemir, Mahmut Taylan	PLDI '19: "Co-optimizing Memory-Level ..." Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karakoy, and Meenakshi Arunachalam (Pennsylvania State University, USA; TOBB University of Economics and Technology, Turkey; Intel, USA) @InProceedings{PLDI19p1160, author = {Xulong Tang and Mahmut Taylan Kandemir and Mustafa Karakoy and Meenakshi Arunachalam}, title = {Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1160-1159}, doi = {10.1145/3314221.3314599}, year = {2019}, } Publisher's Version Article: pldi19main-p155-p doi:10.1145/3314221.3314599
	Kang, Jeehoon	PLDI '19: "Promising-ARM/RISC-V: A Simpler ..." Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, and Chung-Kil Hur (Cambridge University, UK; KAIST, South Korea; Seoul National University, South Korea) @InProceedings{PLDI19p1, author = {Christopher Pulte and Jean Pichon-Pharabod and Jeehoon Kang and Sung-Hwan Lee and Chung-Kil Hur}, title = {Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3314221.3314624}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p368-p doi:10.1145/3314221.3314624
	Kapus, Timotej	PLDI '19: "Computing Summaries of String ..." Computing Summaries of String Loops in C for Better Testing and Refactoring Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Cristian Cadar (Imperial College London, UK; Tel Aviv University, Israel; Technion, Israel) @InProceedings{PLDI19p1084, author = {Timotej Kapus and Oren Ish-Shalom and Shachar Itzhaky and Noam Rinetzky and Cristian Cadar}, title = {Computing Summaries of String Loops in C for Better Testing and Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1084-1083}, doi = {10.1145/3314221.3314610}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p288-p doi:10.1145/3314221.3314610
	Karakoy, Mustafa	PLDI '19: "Co-optimizing Memory-Level ..." Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karakoy, and Meenakshi Arunachalam (Pennsylvania State University, USA; TOBB University of Economics and Technology, Turkey; Intel, USA) @InProceedings{PLDI19p1160, author = {Xulong Tang and Mahmut Taylan Kandemir and Mustafa Karakoy and Meenakshi Arunachalam}, title = {Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1160-1159}, doi = {10.1145/3314221.3314599}, year = {2019}, } Publisher's Version Article: pldi19main-p155-p doi:10.1145/3314221.3314599
	Karel, Ben	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Kasampalis, Theodoros	PLDI '19: "A Complete Formal Semantics ..." A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{PLDI19p1407, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Roşu}, title = {A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1407-1406}, doi = {10.1145/3314221.3314601}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p195-p doi:10.1145/3314221.3314601
	Kasikci, Baris	PLDI '19: "Huron: Hybrid False Sharing ..." Huron: Hybrid False Sharing Detection and Repair Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, and Baris Kasikci (University of Michigan, USA; Intel, USA) @InProceedings{PLDI19p552, author = {Tanvir Ahmed Khan and Yifan Zhao and Gilles Pokam and Barzan Mozafari and Baris Kasikci}, title = {Huron: Hybrid False Sharing Detection and Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {552-551}, doi = {10.1145/3314221.3314644}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p657-p doi:10.1145/3314221.3314644
	Kazerounian, Milod	PLDI '19: "Type-Level Computations for ..." Type-Level Computations for Ruby Libraries Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, and David Van Horn (University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Tufts University, USA) @InProceedings{PLDI19p1198, author = {Milod Kazerounian and Sankha Narayan Guria and Niki Vazou and Jeffrey S. Foster and David Van Horn}, title = {Type-Level Computations for Ruby Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1198-1197}, doi = {10.1145/3314221.3314630}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p432-p doi:10.1145/3314221.3314630
	Khan, Tanvir Ahmed	PLDI '19: "Huron: Hybrid False Sharing ..." Huron: Hybrid False Sharing Detection and Repair Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, and Baris Kasikci (University of Michigan, USA; Intel, USA) @InProceedings{PLDI19p552, author = {Tanvir Ahmed Khan and Yifan Zhao and Gilles Pokam and Barzan Mozafari and Baris Kasikci}, title = {Huron: Hybrid False Sharing Detection and Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {552-551}, doi = {10.1145/3314221.3314644}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p657-p doi:10.1145/3314221.3314644
	Kifer, Daniel	PLDI '19: "Proving Differential Privacy ..." Proving Differential Privacy with Shadow Execution Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, and Danfeng Zhang (Pennsylvania State University, USA) @InProceedings{PLDI19p799, author = {Yuxin Wang and Zeyu Ding and Guanhong Wang and Daniel Kifer and Danfeng Zhang}, title = {Proving Differential Privacy with Shadow Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {799-798}, doi = {10.1145/3314221.3314619}, year = {2019}, } Publisher's Version Article: pldi19main-p357-p doi:10.1145/3314221.3314619
	Kim, Dohyeong	PLDI '19: "SemCluster: Clustering of ..." SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features David M. Perry, Dohyeong Kim, Roopsha Samanta, and Xiangyu Zhang (Purdue University, USA) @InProceedings{PLDI19p1065, author = {David M. Perry and Dohyeong Kim and Roopsha Samanta and Xiangyu Zhang}, title = {SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1065-1064}, doi = {10.1145/3314221.3314629}, year = {2019}, } Publisher's Version Article: pldi19main-p421-p doi:10.1145/3314221.3314629
	Kinder, Johannes	PLDI '19: "Sound Regular Expression Semantics ..." Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK; Bundeswehr University Munich, Germany) @InProceedings{PLDI19p514, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {514-513}, doi = {10.1145/3314221.3314645}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p678-p doi:10.1145/3314221.3314645
	Knoth, Tristan	PLDI '19: "Resource-Guided Program Synthesis ..." Resource-Guided Program Synthesis Tristan Knoth, Di Wang, Nadia Polikarpova, and Jan Hoffmann (University of California at San Diego, USA; Carnegie Mellon University, USA) @InProceedings{PLDI19p305, author = {Tristan Knoth and Di Wang and Nadia Polikarpova and Jan Hoffmann}, title = {Resource-Guided Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {305-304}, doi = {10.1145/3314221.3314602}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p212-p doi:10.1145/3314221.3314602
	Kokologiannakis, Michalis	PLDI '19: "Model Checking for Weakly ..." Model Checking for Weakly Consistent Libraries Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{PLDI19p115, author = {Michalis Kokologiannakis and Azalea Raad and Viktor Vafeiadis}, title = {Model Checking for Weakly Consistent Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {115-114}, doi = {10.1145/3314221.3314609}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p246-p doi:10.1145/3314221.3314609
	Kong, Martin	PLDI '19: "Model-Driven Transformations ..." Model-Driven Transformations for Multi- and Many-Core CPUs Martin Kong and Louis-Noël Pouchet (Brookhaven National Laboratory, USA; Colorado State University, USA) @InProceedings{PLDI19p571, author = {Martin Kong and Louis-Noël Pouchet}, title = {Model-Driven Transformations for Multi- and Many-Core CPUs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {571-570}, doi = {10.1145/3314221.3314653}, year = {2019}, } Publisher's Version Article: pldi19main-p888-p doi:10.1145/3314221.3314653
	Koparkar, Chaitanya	PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Kozen, Dexter	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Krishna, Shankaranarayanan	PLDI '19: "Verification of Programs under ..." Verification of Programs under the Release-Acquire Semantics Parosh Aziz Abdulla, Jatin Arora, Mohamed Faouzi Atig, and Shankaranarayanan Krishna (Uppsala University, Sweden; IIT Bombay, India) @InProceedings{PLDI19p1388, author = {Parosh Aziz Abdulla and Jatin Arora and Mohamed Faouzi Atig and Shankaranarayanan Krishna}, title = {Verification of Programs under the Release-Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1388-1387}, doi = {10.1145/3314221.3314649}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p734-p doi:10.1145/3314221.3314649
	Krishnaswami, Neelakantan R.	PLDI '19: "A Typed, Algebraic Approach ..." A Typed, Algebraic Approach to Parsing Neelakantan R. Krishnaswami and Jeremy Yallop (University of Cambridge, UK) @InProceedings{PLDI19p457, author = {Neelakantan R. Krishnaswami and Jeremy Yallop}, title = {A Typed, Algebraic Approach to Parsing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {457-456}, doi = {10.1145/3314221.3314625}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p371-p doi:10.1145/3314221.3314625
	Kuhlenschmidt, Andre	PLDI '19: "Toward Efficient Gradual Typing ..." Toward Efficient Gradual Typing for Structural Types via Coercions Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, and Jeremy G. Siek (Indiana University, USA) @InProceedings{PLDI19p628, author = {Andre Kuhlenschmidt and Deyaaeldeen Almahallawi and Jeremy G. Siek}, title = {Toward Efficient Gradual Typing for Structural Types via Coercions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {628-627}, doi = {10.1145/3314221.3314627}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p379-p doi:10.1145/3314221.3314627
	Kulkarni, Milind	PLDI '19: "Sound, Fine-Grained Traversal ..." Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, and Milind Kulkarni (Purdue University, USA; Indiana University, USA) @InProceedings{PLDI19p1027, author = {Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni}, title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1027-1026}, doi = {10.1145/3314221.3314626}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p373-p doi:10.1145/3314221.3314626 PLDI '19: "Composable, Sound Transformations ..." Composable, Sound Transformations of Nested Recursion and Loops Kirshanthan Sundararajah and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI19p1122, author = {Kirshanthan Sundararajah and Milind Kulkarni}, title = {Composable, Sound Transformations of Nested Recursion and Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1122-1121}, doi = {10.1145/3314221.3314592}, year = {2019}, } Publisher's Version Article: pldi19main-p106-p doi:10.1145/3314221.3314592 PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Kumar, Praveen	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Kumar, Ramana	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Lahav, Ori	PLDI '19: "Robustness against Release/Acquire ..." Robustness against Release/Acquire Semantics Ori Lahav and Roy Margalit (Tel Aviv University, Israel) @InProceedings{PLDI19p153, author = {Ori Lahav and Roy Margalit}, title = {Robustness against Release/Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3314221.3314604}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p216-p doi:10.1145/3314221.3314604
	Laine, Kim	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Lam, Monica S.	PLDI '19: "Genie: A Generator of Natural ..." Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and Monica S. Lam (Stanford University, USA; Salesforce, USA) @InProceedings{PLDI19p476, author = {Giovanni Campagna and Silei Xu and Mehrad Moradshahi and Richard Socher and Monica S. Lam}, title = {Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3314221.3314594}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p111-p doi:10.1145/3314221.3314594
	Lauter, Kristin	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Le, Ton Chanh	PLDI '19: "SLING: Using Dynamic Analysis ..." SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic Ton Chanh Le, Guolong Zheng, and ThanhVu Nguyen (Stevens Institute of Technology, USA; University of Nebraska-Lincoln, USA) @InProceedings{PLDI19p970, author = {Ton Chanh Le and Guolong Zheng and ThanhVu Nguyen}, title = {SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {970-969}, doi = {10.1145/3314221.3314634}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p494-p doi:10.1145/3314221.3314634
	Lee, Sung-Hwan	PLDI '19: "Promising-ARM/RISC-V: A Simpler ..." Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, and Chung-Kil Hur (Cambridge University, UK; KAIST, South Korea; Seoul National University, South Korea) @InProceedings{PLDI19p1, author = {Christopher Pulte and Jean Pichon-Pharabod and Jeehoon Kang and Sung-Hwan Lee and Chung-Kil Hur}, title = {Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3314221.3314624}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p368-p doi:10.1145/3314221.3314624
	Lee, Wen-Chuan	PLDI '19: "Programming Support for Autonomizing ..." Programming Support for Autonomizing Software Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, and Xiangyu Zhang (Purdue University, USA; IBM, USA) @InProceedings{PLDI19p856, author = {Wen-Chuan Lee and Peng Liu and Yingqi Liu and Shiqing Ma and Xiangyu Zhang}, title = {Programming Support for Autonomizing Software}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {856-855}, doi = {10.1145/3314221.3314593}, year = {2019}, } Publisher's Version Article: pldi19main-p108-p doi:10.1145/3314221.3314593
	Le Goues, Claire	PLDI '19: "Lightweight Multi-Language ..." Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators Rijnard van Tonder and Claire Le Goues (Carnegie Mellon University, USA) @InProceedings{PLDI19p438, author = {Rijnard van Tonder and Claire Le Goues}, title = {Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {438-437}, doi = {10.1145/3314221.3314589}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p75-p doi:10.1145/3314221.3314589
	Leopoldseder, David	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Lew, Alexander K.	PLDI '19: "Gen: A General-Purpose Probabilistic ..." Gen: A General-Purpose Probabilistic Programming System with Programmable Inference Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p267, author = {Marco F. Cusumano-Towner and Feras A. Saad and Alexander K. Lew and Vikash K. Mansinghka}, title = {Gen: A General-Purpose Probabilistic Programming System with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {267-266}, doi = {10.1145/3314221.3314642}, year = {2019}, } Publisher's Version Article: pldi19main-p645-p doi:10.1145/3314221.3314642
	Li, Guangpu	PLDI '19: "DFix: Automatically Fixing ..." DFix: Automatically Fixing Timing Bugs in Distributed Systems Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, and Shan Lu (University of Chicago, USA; University of Science and Technology of China, China) @InProceedings{PLDI19p1236, author = {Guangpu Li and Haopeng Liu and Xianglan Chen and Haryadi S. Gunawi and Shan Lu}, title = {DFix: Automatically Fixing Timing Bugs in Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3314221.3314620}, year = {2019}, } Publisher's Version Article: pldi19main-p359-p doi:10.1145/3314221.3314620
	Liang, Hongjin	PLDI '19: "Towards Certified Separate ..." Towards Certified Separate Compilation for Concurrent Programs Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng (University of Science and Technology of China, China; Nanjing University, China) @InProceedings{PLDI19p134, author = {Hanru Jiang and Hongjin Liang and Siyang Xiao and Junpeng Zha and Xinyu Feng}, title = {Towards Certified Separate Compilation for Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3314221.3314595}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p115-p doi:10.1145/3314221.3314595
	Liao, Kevin	PLDI '19: "ILC: A Calculus for Composable, ..." ILC: A Calculus for Composable, Computational Cryptography Kevin Liao, Matthew A. Hammer, and Andrew Miller (University of Illinois at Urbana-Champaign, USA; DFINITY, USA) @InProceedings{PLDI19p780, author = {Kevin Liao and Matthew A. Hammer and Andrew Miller}, title = {ILC: A Calculus for Composable, Computational Cryptography}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {780-779}, doi = {10.1145/3314221.3314607}, year = {2019}, } Publisher's Version Article: pldi19main-p235-p doi:10.1145/3314221.3314607
	Lidbury, Christopher	PLDI '19: "Sparse Record and Replay with ..." Sparse Record and Replay with Controlled Scheduling Christopher Lidbury and Alastair F. Donaldson (Imperial College London, UK) @InProceedings{PLDI19p704, author = {Christopher Lidbury and Alastair F. Donaldson}, title = {Sparse Record and Replay with Controlled Scheduling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {704-703}, doi = {10.1145/3314221.3314635}, year = {2019}, } Publisher's Version Article: pldi19main-p498-p doi:10.1145/3314221.3314635
	Lim, Seung-Hwan	PLDI '19: "Wootz: A Compiler-Based Framework ..." Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability Hui Guan, Xipeng Shen, and Seung-Hwan Lim (North Carolina State University, USA; Oak Ridge National Laboratory, USA) @InProceedings{PLDI19p875, author = {Hui Guan and Xipeng Shen and Seung-Hwan Lim}, title = {Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {875-874}, doi = {10.1145/3314221.3314652}, year = {2019}, } Publisher's Version Article: pldi19main-p793-p doi:10.1145/3314221.3314652
	Liu, Haopeng	PLDI '19: "DFix: Automatically Fixing ..." DFix: Automatically Fixing Timing Bugs in Distributed Systems Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, and Shan Lu (University of Chicago, USA; University of Science and Technology of China, China) @InProceedings{PLDI19p1236, author = {Guangpu Li and Haopeng Liu and Xianglan Chen and Haryadi S. Gunawi and Shan Lu}, title = {DFix: Automatically Fixing Timing Bugs in Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3314221.3314620}, year = {2019}, } Publisher's Version Article: pldi19main-p359-p doi:10.1145/3314221.3314620
	Liu, Lun	PLDI '19: "Accelerating Sequential Consistency ..." Accelerating Sequential Consistency for Java with Speculative Compilation Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) @InProceedings{PLDI19p20, author = {Lun Liu and Todd Millstein and Madanlal Musuvathi}, title = {Accelerating Sequential Consistency for Java with Speculative Compilation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {20-19}, doi = {10.1145/3314221.3314611}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p309-p doi:10.1145/3314221.3314611
	Liu, Peng	PLDI '19: "Programming Support for Autonomizing ..." Programming Support for Autonomizing Software Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, and Xiangyu Zhang (Purdue University, USA; IBM, USA) @InProceedings{PLDI19p856, author = {Wen-Chuan Lee and Peng Liu and Yingqi Liu and Shiqing Ma and Xiangyu Zhang}, title = {Programming Support for Autonomizing Software}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {856-855}, doi = {10.1145/3314221.3314593}, year = {2019}, } Publisher's Version Article: pldi19main-p108-p doi:10.1145/3314221.3314593
	Liu, Yingqi	PLDI '19: "Programming Support for Autonomizing ..." Programming Support for Autonomizing Software Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, and Xiangyu Zhang (Purdue University, USA; IBM, USA) @InProceedings{PLDI19p856, author = {Wen-Chuan Lee and Peng Liu and Yingqi Liu and Shiqing Ma and Xiangyu Zhang}, title = {Programming Support for Autonomizing Software}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {856-855}, doi = {10.1145/3314221.3314593}, year = {2019}, } Publisher's Version Article: pldi19main-p108-p doi:10.1145/3314221.3314593
	Lööw, Andreas	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Loring, Blake	PLDI '19: "Sound Regular Expression Semantics ..." Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK; Bundeswehr University Munich, Germany) @InProceedings{PLDI19p514, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {514-513}, doi = {10.1145/3314221.3314645}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p678-p doi:10.1145/3314221.3314645
	Lu, Shan	PLDI '19: "DFix: Automatically Fixing ..." DFix: Automatically Fixing Timing Bugs in Distributed Systems Guangpu Li, Haopeng Liu, Xianglan Chen, Haryadi S. Gunawi, and Shan Lu (University of Chicago, USA; University of Science and Technology of China, China) @InProceedings{PLDI19p1236, author = {Guangpu Li and Haopeng Liu and Xianglan Chen and Haryadi S. Gunawi and Shan Lu}, title = {DFix: Automatically Fixing Timing Bugs in Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1236-1235}, doi = {10.1145/3314221.3314620}, year = {2019}, } Publisher's Version Article: pldi19main-p359-p doi:10.1145/3314221.3314620
	Lucia, Brandon	PLDI '19: "Transactional Concurrency ..." Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems Emily Ruppel and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI19p1350, author = {Emily Ruppel and Brandon Lucia}, title = {Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1350-1349}, doi = {10.1145/3314221.3314583}, year = {2019}, } Publisher's Version Article: pldi19main-p9-p doi:10.1145/3314221.3314583 PLDI '19: "Supporting Peripherals in ..." Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints Kiwan Maeng and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI19p1369, author = {Kiwan Maeng and Brandon Lucia}, title = {Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1369-1368}, doi = {10.1145/3314221.3314613}, year = {2019}, } Publisher's Version Article: pldi19main-p315-p doi:10.1145/3314221.3314613
	Lv, Fang	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Ma, Shiqing	PLDI '19: "Programming Support for Autonomizing ..." Programming Support for Autonomizing Software Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, and Xiangyu Zhang (Purdue University, USA; IBM, USA) @InProceedings{PLDI19p856, author = {Wen-Chuan Lee and Peng Liu and Yingqi Liu and Shiqing Ma and Xiangyu Zhang}, title = {Programming Support for Autonomizing Software}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {856-855}, doi = {10.1145/3314221.3314593}, year = {2019}, } Publisher's Version Article: pldi19main-p108-p doi:10.1145/3314221.3314593
	Madhusudan, P.	PLDI '19: "Learning Stateful Preconditions ..." Learning Stateful Preconditions Modulo a Test Generator Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p951, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, title = {Learning Stateful Preconditions Modulo a Test Generator}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3314221.3314641}, year = {2019}, } Publisher's Version Article: pldi19main-p614-p doi:10.1145/3314221.3314641
	Maeng, Kiwan	PLDI '19: "Supporting Peripherals in ..." Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints Kiwan Maeng and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI19p1369, author = {Kiwan Maeng and Brandon Lucia}, title = {Supporting Peripherals in Intermittent Systems with Just-In-Time Checkpoints}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1369-1368}, doi = {10.1145/3314221.3314613}, year = {2019}, } Publisher's Version Article: pldi19main-p315-p doi:10.1145/3314221.3314613
	Magill, Stephen	PLDI '19: "An Inductive Synthesis Framework ..." An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu, Zikang Xiong, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI19p837, author = {He Zhu and Zikang Xiong and Stephen Magill and Suresh Jagannathan}, title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3314221.3314638}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p591-p doi:10.1145/3314221.3314638
	Maleki, Saeed	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Mamouras, Konstantinos	PLDI '19: "Data-Trace Types for Distributed ..." Data-Trace Types for Distributed Stream Processing Systems Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen (Rice University, USA; University of Pennsylvania, USA) @InProceedings{PLDI19p818, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, title = {Data-Trace Types for Distributed Stream Processing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {818-817}, doi = {10.1145/3314221.3314580}, year = {2019}, } Publisher's Version Article: pldi19main-p1-p doi:10.1145/3314221.3314580
	Mansinghka, Vikash K.	PLDI '19: "Gen: A General-Purpose Probabilistic ..." Gen: A General-Purpose Probabilistic Programming System with Programmable Inference Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p267, author = {Marco F. Cusumano-Towner and Feras A. Saad and Alexander K. Lew and Vikash K. Mansinghka}, title = {Gen: A General-Purpose Probabilistic Programming System with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {267-266}, doi = {10.1145/3314221.3314642}, year = {2019}, } Publisher's Version Article: pldi19main-p645-p doi:10.1145/3314221.3314642
	Margalit, Roy	PLDI '19: "Robustness against Release/Acquire ..." Robustness against Release/Acquire Semantics Ori Lahav and Roy Margalit (Tel Aviv University, Israel) @InProceedings{PLDI19p153, author = {Ori Lahav and Roy Margalit}, title = {Robustness against Release/Acquire Semantics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {153-152}, doi = {10.1145/3314221.3314604}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p216-p doi:10.1145/3314221.3314604
	Mathis, Björn	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	McGregor, Andrew	PLDI '19: "Mesh: Compacting Memory Management ..." Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor (University of Massachusetts at Amherst, USA) @InProceedings{PLDI19p400, author = {Bobby Powers and David Tench and Emery D. Berger and Andrew McGregor}, title = {Mesh: Compacting Memory Management for C/C++ Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3314221.3314582}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p6-p doi:10.1145/3314221.3314582
	Mera, Michaël	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	Mercadier, Darius	PLDI '19: "Usuba: High-Throughput and ..." Usuba: High-Throughput and Constant-Time Ciphers, by Construction Darius Mercadier and Pierre-Évariste Dagand (Sorbonne University, France; CNRS, France; Inria, France; LIP6, France) @InProceedings{PLDI19p191, author = {Darius Mercadier and Pierre-Évariste Dagand}, title = {Usuba: High-Throughput and Constant-Time Ciphers, by Construction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {191-190}, doi = {10.1145/3314221.3314636}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p536-p doi:10.1145/3314221.3314636
	Miller, Andrew	PLDI '19: "ILC: A Calculus for Composable, ..." ILC: A Calculus for Composable, Computational Cryptography Kevin Liao, Matthew A. Hammer, and Andrew Miller (University of Illinois at Urbana-Champaign, USA; DFINITY, USA) @InProceedings{PLDI19p780, author = {Kevin Liao and Matthew A. Hammer and Andrew Miller}, title = {ILC: A Calculus for Composable, Computational Cryptography}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {780-779}, doi = {10.1145/3314221.3314607}, year = {2019}, } Publisher's Version Article: pldi19main-p235-p doi:10.1145/3314221.3314607
	Millstein, Todd	PLDI '19: "Accelerating Sequential Consistency ..." Accelerating Sequential Consistency for Java with Speculative Compilation Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) @InProceedings{PLDI19p20, author = {Lun Liu and Todd Millstein and Madanlal Musuvathi}, title = {Accelerating Sequential Consistency for Java with Speculative Compilation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {20-19}, doi = {10.1145/3314221.3314611}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p309-p doi:10.1145/3314221.3314611
	Mitchell, Duncan	PLDI '19: "Sound Regular Expression Semantics ..." Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript Blake Loring, Duncan Mitchell, and Johannes Kinder (Royal Holloway University of London, UK; Bundeswehr University Munich, Germany) @InProceedings{PLDI19p514, author = {Blake Loring and Duncan Mitchell and Johannes Kinder}, title = {Sound Regular Expression Semantics for Dynamic Symbolic Execution of JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {514-513}, doi = {10.1145/3314221.3314645}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p678-p doi:10.1145/3314221.3314645
	Mohammadi, Mahdi Soltan	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Moradshahi, Mehrad	PLDI '19: "Genie: A Generator of Natural ..." Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and Monica S. Lam (Stanford University, USA; Salesforce, USA) @InProceedings{PLDI19p476, author = {Giovanni Campagna and Silei Xu and Mehrad Moradshahi and Richard Socher and Monica S. Lam}, title = {Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3314221.3314594}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p111-p doi:10.1145/3314221.3314594
	Mozafari, Barzan	PLDI '19: "Huron: Hybrid False Sharing ..." Huron: Hybrid False Sharing Detection and Repair Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, and Baris Kasikci (University of Michigan, USA; Intel, USA) @InProceedings{PLDI19p552, author = {Tanvir Ahmed Khan and Yifan Zhao and Gilles Pokam and Barzan Mozafari and Baris Kasikci}, title = {Huron: Hybrid False Sharing Detection and Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {552-551}, doi = {10.1145/3314221.3314644}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p657-p doi:10.1145/3314221.3314644
	Musuvathi, Madanlal	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628 PLDI '19: "Accelerating Sequential Consistency ..." Accelerating Sequential Consistency for Java with Speculative Compilation Lun Liu, Todd Millstein, and Madanlal Musuvathi (University of California at Los Angeles, USA; Microsoft Research, USA) @InProceedings{PLDI19p20, author = {Lun Liu and Todd Millstein and Madanlal Musuvathi}, title = {Accelerating Sequential Consistency for Java with Speculative Compilation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {20-19}, doi = {10.1145/3314221.3314611}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p309-p doi:10.1145/3314221.3314611
	Mutlu, Onur	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Mutluergil, Suha Orhun	PLDI '19: "Replication-Aware Linearizability ..." Replication-Aware Linearizability Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri (IRIF, France; University Paris Diderot, France; CNRS, France; ARM, UK) @InProceedings{PLDI19p1217, author = {Chao Wang and Constantin Enea and Suha Orhun Mutluergil and Gustavo Petri}, title = {Replication-Aware Linearizability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1217-1216}, doi = {10.1145/3314221.3314617}, year = {2019}, } Publisher's Version Article: pldi19main-p344-p doi:10.1145/3314221.3314617
	Myreen, Magnus O.	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Mytkowicz, Todd	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Nagarakatte, Santosh	PLDI '19: "Parallelism-Centric What-If ..." Parallelism-Centric What-If and Differential Analyses Adarsh Yoga and Santosh Nagarakatte (Rutgers University, USA) @InProceedings{PLDI19p590, author = {Adarsh Yoga and Santosh Nagarakatte}, title = {Parallelism-Centric What-If and Differential Analyses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {590-589}, doi = {10.1145/3314221.3314621}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p363-p doi:10.1145/3314221.3314621
	Naik, Mayur	PLDI '19: "Continuously Reasoning about ..." Continuously Reasoning about Programs using Differential Bayesian Inference Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI19p685, author = {Kihong Heo and Mukund Raghothaman and Xujie Si and Mayur Naik}, title = {Continuously Reasoning about Programs using Differential Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {685-684}, doi = {10.1145/3314221.3314616}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p339-p doi:10.1145/3314221.3314616
	Nandy, Payal	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Narodytska, Nina	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Navas, Jorge A.	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Newton, Ryan R.	PLDI '19: "Sound, Fine-Grained Traversal ..." Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, and Milind Kulkarni (Purdue University, USA; Indiana University, USA) @InProceedings{PLDI19p1027, author = {Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni}, title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1027-1026}, doi = {10.1145/3314221.3314626}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p373-p doi:10.1145/3314221.3314626 PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Nguyen, ThanhVu	PLDI '19: "SLING: Using Dynamic Analysis ..." SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic Ton Chanh Le, Guolong Zheng, and ThanhVu Nguyen (Stevens Institute of Technology, USA; University of Nebraska-Lincoln, USA) @InProceedings{PLDI19p970, author = {Ton Chanh Le and Guolong Zheng and ThanhVu Nguyen}, title = {SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {970-969}, doi = {10.1145/3314221.3314634}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p494-p doi:10.1145/3314221.3314634
	Nguyễn, Phúc C.	PLDI '19: "Size-Change Termination as ..." Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, and David Van Horn (University of Maryland at College Park, USA; University of Alabama at Birmingham, USA; Indiana University, USA) @InProceedings{PLDI19p1046, author = {Phúc C. Nguyễn and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn}, title = {Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1046-1045}, doi = {10.1145/3314221.3314643}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p654-p doi:10.1145/3314221.3314643
	Nicolet, Victor	PLDI '19: "Modular Divide-and-Conquer ..." Modular Divide-and-Conquer Parallelization of Nested Loops Azadeh Farzan and Victor Nicolet (University of Toronto, Canada) @InProceedings{PLDI19p742, author = {Azadeh Farzan and Victor Nicolet}, title = {Modular Divide-and-Conquer Parallelization of Nested Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {742-741}, doi = {10.1145/3314221.3314612}, year = {2019}, } Publisher's Version Article: pldi19main-p311-p doi:10.1145/3314221.3314612
	Norrish, Michael	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Olschanowsky, Catherine	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Owens, Scott	PLDI '19: "Characterising Renaming within ..." Characterising Renaming within OCaml’s Module System: Theory and Implementation Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, and Scott Owens (University of Kent, UK) @InProceedings{PLDI19p1179, author = {Reuben N. S. Rowe and Hugo Férée and Simon J. Thompson and Scott Owens}, title = {Characterising Renaming within OCaml’s Module System: Theory and Implementation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1179-1178}, doi = {10.1145/3314221.3314600}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p160-p doi:10.1145/3314221.3314600
	Padon, Oded	PLDI '19: "Semantic Program Alignment ..." Semantic Program Alignment for Equivalence Checking Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI19p1274, author = {Berkeley Churchill and Oded Padon and Rahul Sharma and Alex Aiken}, title = {Semantic Program Alignment for Equivalence Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1274-1273}, doi = {10.1145/3314221.3314596}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p117-p doi:10.1145/3314221.3314596
	Pailoor, Shankara	PLDI '19: "Optimization and Abstraction: ..." Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness Greg Anderson, Shankara Pailoor, Isil Dillig, and Swarat Chaudhuri (University of Texas at Austin, USA; Rice University, USA) @InProceedings{PLDI19p894, author = {Greg Anderson and Shankara Pailoor and Isil Dillig and Swarat Chaudhuri}, title = {Optimization and Abstraction: A Synergistic Approach for Analyzing Neural Network Robustness}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {894-893}, doi = {10.1145/3314221.3314614}, year = {2019}, } Publisher's Version Article: pldi19main-p332-p doi:10.1145/3314221.3314614
	Palkhiwala, Yash	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Park, Daejun	PLDI '19: "A Complete Formal Semantics ..." A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{PLDI19p1407, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Roşu}, title = {A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1407-1406}, doi = {10.1145/3314221.3314601}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p195-p doi:10.1145/3314221.3314601
	Parthasarathy, Suresh	PLDI '19: "Synthesis and Machine Learning ..." Synthesis and Machine Learning for Heterogeneous Extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, and Sriram K. Rajamani (Microsoft Research, India; Inpher, Switzerland; Microsoft, USA) @InProceedings{PLDI19p362, author = {Arun Iyer and Manohar Jonnalagedda and Suresh Parthasarathy and Arjun Radhakrishna and Sriram K. Rajamani}, title = {Synthesis and Machine Learning for Heterogeneous Extraction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3314221.3322485}, year = {2019}, } Publisher's Version Article: pldi19main-p196-p doi:10.1145/3314221.3322485
	Perry, David M.	PLDI '19: "SemCluster: Clustering of ..." SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features David M. Perry, Dohyeong Kim, Roopsha Samanta, and Xiangyu Zhang (Purdue University, USA) @InProceedings{PLDI19p1065, author = {David M. Perry and Dohyeong Kim and Roopsha Samanta and Xiangyu Zhang}, title = {SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1065-1064}, doi = {10.1145/3314221.3314629}, year = {2019}, } Publisher's Version Article: pldi19main-p421-p doi:10.1145/3314221.3314629
	Petri, Gustavo	PLDI '19: "Replication-Aware Linearizability ..." Replication-Aware Linearizability Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri (IRIF, France; University Paris Diderot, France; CNRS, France; ARM, UK) @InProceedings{PLDI19p1217, author = {Chao Wang and Constantin Enea and Suha Orhun Mutluergil and Gustavo Petri}, title = {Replication-Aware Linearizability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1217-1216}, doi = {10.1145/3314221.3314617}, year = {2019}, } Publisher's Version Article: pldi19main-p344-p doi:10.1145/3314221.3314617
	Pichon-Pharabod, Jean	PLDI '19: "Promising-ARM/RISC-V: A Simpler ..." Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, and Chung-Kil Hur (Cambridge University, UK; KAIST, South Korea; Seoul National University, South Korea) @InProceedings{PLDI19p1, author = {Christopher Pulte and Jean Pichon-Pharabod and Jeehoon Kang and Sung-Hwan Lee and Chung-Kil Hur}, title = {Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3314221.3314624}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p368-p doi:10.1145/3314221.3314624
	Piskac, Ruzica	PLDI '19: "Lazy Counterfactual Symbolic ..." Lazy Counterfactual Symbolic Execution William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, and Ruzica Piskac (Yale University, USA; University of California at San Diego, USA) @InProceedings{PLDI19p495, author = {William T. Hallahan and Anton Xue and Maxwell Troy Bland and Ranjit Jhala and Ruzica Piskac}, title = {Lazy Counterfactual Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3314221.3314618}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p351-p doi:10.1145/3314221.3314618
	Pokam, Gilles	PLDI '19: "Huron: Hybrid False Sharing ..." Huron: Hybrid False Sharing Detection and Repair Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, and Baris Kasikci (University of Michigan, USA; Intel, USA) @InProceedings{PLDI19p552, author = {Tanvir Ahmed Khan and Yifan Zhao and Gilles Pokam and Barzan Mozafari and Baris Kasikci}, title = {Huron: Hybrid False Sharing Detection and Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {552-551}, doi = {10.1145/3314221.3314644}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p657-p doi:10.1145/3314221.3314644
	Polikarpova, Nadia	PLDI '19: "Resource-Guided Program Synthesis ..." Resource-Guided Program Synthesis Tristan Knoth, Di Wang, Nadia Polikarpova, and Jan Hoffmann (University of California at San Diego, USA; Carnegie Mellon University, USA) @InProceedings{PLDI19p305, author = {Tristan Knoth and Di Wang and Nadia Polikarpova and Jan Hoffmann}, title = {Resource-Guided Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {305-304}, doi = {10.1145/3314221.3314602}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p212-p doi:10.1145/3314221.3314602
	Pouchet, Louis-Noël	PLDI '19: "Model-Driven Transformations ..." Model-Driven Transformations for Multi- and Many-Core CPUs Martin Kong and Louis-Noël Pouchet (Brookhaven National Laboratory, USA; Colorado State University, USA) @InProceedings{PLDI19p571, author = {Martin Kong and Louis-Noël Pouchet}, title = {Model-Driven Transformations for Multi- and Many-Core CPUs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {571-570}, doi = {10.1145/3314221.3314653}, year = {2019}, } Publisher's Version Article: pldi19main-p888-p doi:10.1145/3314221.3314653 PLDI '19: "Generating Piecewise-Regular ..." Generating Piecewise-Regular Code from Irregular Structures Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, and Gabriel Rodríguez (Colorado State University, USA; Universidade da Coruña, Spain) @InProceedings{PLDI19p761, author = {Travis Augustine and Janarthanan Sarma and Louis-Noël Pouchet and Gabriel Rodríguez}, title = {Generating Piecewise-Regular Code from Irregular Structures}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3314221.3314615}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p334-p doi:10.1145/3314221.3314615
	Powers, Bobby	PLDI '19: "Mesh: Compacting Memory Management ..." Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor (University of Massachusetts at Amherst, USA) @InProceedings{PLDI19p400, author = {Bobby Powers and David Tench and Emery D. Berger and Andrew McGregor}, title = {Mesh: Compacting Memory Management for C/C++ Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3314221.3314582}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p6-p doi:10.1145/3314221.3314582
	Prokopec, Aleksandar	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Pulte, Christopher	PLDI '19: "Promising-ARM/RISC-V: A Simpler ..." Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model Christopher Pulte, Jean Pichon-Pharabod, Jeehoon Kang, Sung-Hwan Lee, and Chung-Kil Hur (Cambridge University, UK; KAIST, South Korea; Seoul National University, South Korea) @InProceedings{PLDI19p1, author = {Christopher Pulte and Jean Pichon-Pharabod and Jeehoon Kang and Sung-Hwan Lee and Chung-Kil Hur}, title = {Promising-ARM/RISC-V: A Simpler and Faster Operational Concurrency Model}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3314221.3314624}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p368-p doi:10.1145/3314221.3314624
	Qin, Xudong	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Qu, Weihao	PLDI '19: "Bidirectional Type Checking ..." Bidirectional Type Checking for Relational Properties Ezgi Çiçek, Weihao Qu, Gilles Barthe, Marco Gaboardi, and Deepak Garg (Facebook, USA; SUNY Buffalo, USA; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain; MPI-SWS, Germany) @InProceedings{PLDI19p647, author = {Ezgi Çiçek and Weihao Qu and Gilles Barthe and Marco Gaboardi and Deepak Garg}, title = {Bidirectional Type Checking for Relational Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3314221.3314603}, year = {2019}, } Publisher's Version Article: pldi19main-p213-p doi:10.1145/3314221.3314603
	Raad, Azalea	PLDI '19: "Model Checking for Weakly ..." Model Checking for Weakly Consistent Libraries Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{PLDI19p115, author = {Michalis Kokologiannakis and Azalea Raad and Viktor Vafeiadis}, title = {Model Checking for Weakly Consistent Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {115-114}, doi = {10.1145/3314221.3314609}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p246-p doi:10.1145/3314221.3314609
	Radhakrishna, Arjun	PLDI '19: "Synthesis and Machine Learning ..." Synthesis and Machine Learning for Heterogeneous Extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, and Sriram K. Rajamani (Microsoft Research, India; Inpher, Switzerland; Microsoft, USA) @InProceedings{PLDI19p362, author = {Arun Iyer and Manohar Jonnalagedda and Suresh Parthasarathy and Arjun Radhakrishna and Sriram K. Rajamani}, title = {Synthesis and Machine Learning for Heterogeneous Extraction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3314221.3322485}, year = {2019}, } Publisher's Version Article: pldi19main-p196-p doi:10.1145/3314221.3322485
	Raghothaman, Mukund	PLDI '19: "Continuously Reasoning about ..." Continuously Reasoning about Programs using Differential Bayesian Inference Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI19p685, author = {Kihong Heo and Mukund Raghothaman and Xujie Si and Mayur Naik}, title = {Continuously Reasoning about Programs using Differential Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {685-684}, doi = {10.1145/3314221.3314616}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p339-p doi:10.1145/3314221.3314616
	Rainey, Mike	PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Rajamani, Sriram K.	PLDI '19: "Synthesis and Machine Learning ..." Synthesis and Machine Learning for Heterogeneous Extraction Arun Iyer, Manohar Jonnalagedda, Suresh Parthasarathy, Arjun Radhakrishna, and Sriram K. Rajamani (Microsoft Research, India; Inpher, Switzerland; Microsoft, USA) @InProceedings{PLDI19p362, author = {Arun Iyer and Manohar Jonnalagedda and Suresh Parthasarathy and Arjun Radhakrishna and Sriram K. Rajamani}, title = {Synthesis and Machine Learning for Heterogeneous Extraction}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {362-361}, doi = {10.1145/3314221.3322485}, year = {2019}, } Publisher's Version Article: pldi19main-p196-p doi:10.1145/3314221.3322485
	Raychev, Veselin	PLDI '19: "Unsupervised Learning of API ..." Unsupervised Learning of API Aliasing Specifications Jan Eberhardt, Samuel Steffen, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p913, author = {Jan Eberhardt and Samuel Steffen and Veselin Raychev and Martin Vechev}, title = {Unsupervised Learning of API Aliasing Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {913-912}, doi = {10.1145/3314221.3314640}, year = {2019}, } Publisher's Version Article: pldi19main-p607-p doi:10.1145/3314221.3314640 PLDI '19: "Scalable Taint Specification ..." Scalable Taint Specification Inference with Big Code Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p932, author = {Victor Chibotaru and Benjamin Bichsel and Veselin Raychev and Martin Vechev}, title = {Scalable Taint Specification Inference with Big Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {932-931}, doi = {10.1145/3314221.3314648}, year = {2019}, } Publisher's Version Article: pldi19main-p732-p doi:10.1145/3314221.3314648
	Renner, John	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Rinard, Martin C.	PLDI '19: "Using Active Learning to Synthesize ..." Using Active Learning to Synthesize Models of Applications That Access Databases Jiasi Shen and Martin C. Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p324, author = {Jiasi Shen and Martin C. Rinard}, title = {Using Active Learning to Synthesize Models of Applications That Access Databases}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {10.1145/3314221.3314591}, year = {2019}, } Publisher's Version Article: pldi19main-p84-p doi:10.1145/3314221.3314591
	Rinetzky, Noam	PLDI '19: "Computing Summaries of String ..." Computing Summaries of String Loops in C for Better Testing and Refactoring Timotej Kapus, Oren Ish-Shalom, Shachar Itzhaky, Noam Rinetzky, and Cristian Cadar (Imperial College London, UK; Tel Aviv University, Israel; Technion, Israel) @InProceedings{PLDI19p1084, author = {Timotej Kapus and Oren Ish-Shalom and Shachar Itzhaky and Noam Rinetzky and Cristian Cadar}, title = {Computing Summaries of String Loops in C for Better Testing and Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1084-1083}, doi = {10.1145/3314221.3314610}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p288-p doi:10.1145/3314221.3314610 PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Rodríguez, Gabriel	PLDI '19: "Generating Piecewise-Regular ..." Generating Piecewise-Regular Code from Irregular Structures Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, and Gabriel Rodríguez (Colorado State University, USA; Universidade da Coruña, Spain) @InProceedings{PLDI19p761, author = {Travis Augustine and Janarthanan Sarma and Louis-Noël Pouchet and Gabriel Rodríguez}, title = {Generating Piecewise-Regular Code from Irregular Structures}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3314221.3314615}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p334-p doi:10.1145/3314221.3314615
	Rosà, Andrea	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Roşu, Grigore	PLDI '19: "A Complete Formal Semantics ..." A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture Sandeep Dasgupta, Daejun Park, Theodoros Kasampalis, Vikram S. Adve, and Grigore Roşu (University of Illinois at Urbana-Champaign, USA; Runtime Verification, USA) @InProceedings{PLDI19p1407, author = {Sandeep Dasgupta and Daejun Park and Theodoros Kasampalis and Vikram S. Adve and Grigore Roşu}, title = {A Complete Formal Semantics of x86-64 User-Level Instruction Set Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1407-1406}, doi = {10.1145/3314221.3314601}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p195-p doi:10.1145/3314221.3314601
	Rowe, Reuben N. S.	PLDI '19: "Characterising Renaming within ..." Characterising Renaming within OCaml’s Module System: Theory and Implementation Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, and Scott Owens (University of Kent, UK) @InProceedings{PLDI19p1179, author = {Reuben N. S. Rowe and Hugo Férée and Simon J. Thompson and Scott Owens}, title = {Characterising Renaming within OCaml’s Module System: Theory and Implementation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1179-1178}, doi = {10.1145/3314221.3314600}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p160-p doi:10.1145/3314221.3314600
	Ruppel, Emily	PLDI '19: "Transactional Concurrency ..." Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems Emily Ruppel and Brandon Lucia (Carnegie Mellon University, USA) @InProceedings{PLDI19p1350, author = {Emily Ruppel and Brandon Lucia}, title = {Transactional Concurrency Control for Intermittent, Energy-Harvesting Computing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1350-1349}, doi = {10.1145/3314221.3314583}, year = {2019}, } Publisher's Version Article: pldi19main-p9-p doi:10.1145/3314221.3314583
	Ryzhyk, Leonid	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Saad, Feras A.	PLDI '19: "Gen: A General-Purpose Probabilistic ..." Gen: A General-Purpose Probabilistic Programming System with Programmable Inference Marco F. Cusumano-Towner, Feras A. Saad, Alexander K. Lew, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p267, author = {Marco F. Cusumano-Towner and Feras A. Saad and Alexander K. Lew and Vikash K. Mansinghka}, title = {Gen: A General-Purpose Probabilistic Programming System with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {267-266}, doi = {10.1145/3314221.3314642}, year = {2019}, } Publisher's Version Article: pldi19main-p645-p doi:10.1145/3314221.3314642
	Saarikivi, Olli	PLDI '19: "CHET: An Optimizing Compiler ..." CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing Roshan Dathathri, Olli Saarikivi, Hao Chen, Kim Laine, Kristin Lauter, Saeed Maleki, Madanlal Musuvathi, and Todd Mytkowicz (University of Texas at Austin, USA; Microsoft Research, USA) @InProceedings{PLDI19p172, author = {Roshan Dathathri and Olli Saarikivi and Hao Chen and Kim Laine and Kristin Lauter and Saeed Maleki and Madanlal Musuvathi and Todd Mytkowicz}, title = {CHET: An Optimizing Compiler for Fully-Homomorphic Neural-Network Inferencing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {172-171}, doi = {10.1145/3314221.3314628}, year = {2019}, } Publisher's Version Article: pldi19main-p411-p doi:10.1145/3314221.3314628
	Sagiv, Mooly	PLDI '19: "Simple and Precise Static ..." Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions Elazar Gershuni, Nadav Amit, Arie Gurfinkel, Nina Narodytska, Jorge A. Navas, Noam Rinetzky, Leonid Ryzhyk, and Mooly Sagiv (VMware, USA; Tel Aviv University, Israel; University of Waterloo, Canada; SRI International, USA) @InProceedings{PLDI19p1331, author = {Elazar Gershuni and Nadav Amit and Arie Gurfinkel and Nina Narodytska and Jorge A. Navas and Noam Rinetzky and Leonid Ryzhyk and Mooly Sagiv}, title = {Simple and Precise Static Analysis of Untrusted Linux Kernel Extensions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1331-1330}, doi = {10.1145/3314221.3314590}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p80-p doi:10.1145/3314221.3314590
	Saha, Shambwaditya	PLDI '19: "Learning Stateful Preconditions ..." Learning Stateful Preconditions Modulo a Test Generator Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p951, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, title = {Learning Stateful Preconditions Modulo a Test Generator}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3314221.3314641}, year = {2019}, } Publisher's Version Article: pldi19main-p614-p doi:10.1145/3314221.3314641
	Sakka, Laith	PLDI '19: "Sound, Fine-Grained Traversal ..." Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, and Milind Kulkarni (Purdue University, USA; Indiana University, USA) @InProceedings{PLDI19p1027, author = {Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni}, title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1027-1026}, doi = {10.1145/3314221.3314626}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p373-p doi:10.1145/3314221.3314626 PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Samanta, Roopsha	PLDI '19: "SemCluster: Clustering of ..." SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features David M. Perry, Dohyeong Kim, Roopsha Samanta, and Xiangyu Zhang (Purdue University, USA) @InProceedings{PLDI19p1065, author = {David M. Perry and Dohyeong Kim and Roopsha Samanta and Xiangyu Zhang}, title = {SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1065-1064}, doi = {10.1145/3314221.3314629}, year = {2019}, } Publisher's Version Article: pldi19main-p421-p doi:10.1145/3314221.3314629
	Sangiovanni-Vincentelli, Alberto L.	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Sarma, Janarthanan	PLDI '19: "Generating Piecewise-Regular ..." Generating Piecewise-Regular Code from Irregular Structures Travis Augustine, Janarthanan Sarma, Louis-Noël Pouchet, and Gabriel Rodríguez (Colorado State University, USA; Universidade da Coruña, Spain) @InProceedings{PLDI19p761, author = {Travis Augustine and Janarthanan Sarma and Louis-Noël Pouchet and Gabriel Rodríguez}, title = {Generating Piecewise-Regular Code from Irregular Structures}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {761-760}, doi = {10.1145/3314221.3314615}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p334-p doi:10.1145/3314221.3314615
	Scalas, Alceste	PLDI '19: "Verifying Message-Passing ..." Verifying Message-Passing Programs with Dependent Behavioural Types Alceste Scalas, Nobuko Yoshida, and Elias Benussi (Imperial College London, UK; Aston University, UK; Faculty Science, UK) @InProceedings{PLDI19p609, author = {Alceste Scalas and Nobuko Yoshida and Elias Benussi}, title = {Verifying Message-Passing Programs with Dependent Behavioural Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3314221.3322484}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p105-p doi:10.1145/3314221.3322484
	Seshadri, Vivek	PLDI '19: "Compiling KB-Sized Machine ..." Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) @InProceedings{PLDI19p96, author = {Sridhar Gopinath and Nikhil Ghanathe and Vivek Seshadri and Rahul Sharma}, title = {Compiling KB-Sized Machine Learning Models to Tiny IoT Devices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3314221.3314597}, year = {2019}, } Publisher's Version Article: pldi19main-p120-p doi:10.1145/3314221.3314597
	Seshia, Sanjit A.	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Shah, Rushi	PLDI '19: "Synthesizing Database Programs ..." Synthesizing Database Programs for Schema Refactoring Yuepeng Wang, James Dong, Rushi Shah, and Isil Dillig (University of Texas at Austin, USA) @InProceedings{PLDI19p343, author = {Yuepeng Wang and James Dong and Rushi Shah and Isil Dillig}, title = {Synthesizing Database Programs for Schema Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {343-342}, doi = {10.1145/3314221.3314588}, year = {2019}, } Publisher's Version Article: pldi19main-p45-p doi:10.1145/3314221.3314588
	Sharma, Rahul	PLDI '19: "Semantic Program Alignment ..." Semantic Program Alignment for Equivalence Checking Berkeley Churchill, Oded Padon, Rahul Sharma, and Alex Aiken (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI19p1274, author = {Berkeley Churchill and Oded Padon and Rahul Sharma and Alex Aiken}, title = {Semantic Program Alignment for Equivalence Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1274-1273}, doi = {10.1145/3314221.3314596}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p117-p doi:10.1145/3314221.3314596 PLDI '19: "Compiling KB-Sized Machine ..." Compiling KB-Sized Machine Learning Models to Tiny IoT Devices Sridhar Gopinath, Nikhil Ghanathe, Vivek Seshadri, and Rahul Sharma (Microsoft Research, India) @InProceedings{PLDI19p96, author = {Sridhar Gopinath and Nikhil Ghanathe and Vivek Seshadri and Rahul Sharma}, title = {Compiling KB-Sized Machine Learning Models to Tiny IoT Devices}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {96-95}, doi = {10.1145/3314221.3314597}, year = {2019}, } Publisher's Version Article: pldi19main-p120-p doi:10.1145/3314221.3314597
	Shen, Jiasi	PLDI '19: "Using Active Learning to Synthesize ..." Using Active Learning to Synthesize Models of Applications That Access Databases Jiasi Shen and Martin C. Rinard (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p324, author = {Jiasi Shen and Martin C. Rinard}, title = {Using Active Learning to Synthesize Models of Applications That Access Databases}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {10.1145/3314221.3314591}, year = {2019}, } Publisher's Version Article: pldi19main-p84-p doi:10.1145/3314221.3314591
	Shen, Xipeng	PLDI '19: "Wootz: A Compiler-Based Framework ..." Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability Hui Guan, Xipeng Shen, and Seung-Hwan Lim (North Carolina State University, USA; Oak Ridge National Laboratory, USA) @InProceedings{PLDI19p875, author = {Hui Guan and Xipeng Shen and Seung-Hwan Lim}, title = {Wootz: A Compiler-Based Framework for Fast CNN Pruning via Composability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {875-874}, doi = {10.1145/3314221.3314652}, year = {2019}, } Publisher's Version Article: pldi19main-p793-p doi:10.1145/3314221.3314652
	Shi, Wenjun	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Shull, Thomas	PLDI '19: "Reusable Inline Caching for ..." Reusable Inline Caching for JavaScript Performance Jiho Choi, Thomas Shull, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p1103, author = {Jiho Choi and Thomas Shull and Josep Torrellas}, title = {Reusable Inline Caching for JavaScript Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1103-1102}, doi = {10.1145/3314221.3314587}, year = {2019}, } Publisher's Version Article: pldi19main-p43-p doi:10.1145/3314221.3314587 PLDI '19: "AutoPersist: An Easy-To-Use ..." AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability Thomas Shull, Jian Huang, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p381, author = {Thomas Shull and Jian Huang and Josep Torrellas}, title = {AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3314221.3314608}, year = {2019}, } Publisher's Version Article: pldi19main-p237-p doi:10.1145/3314221.3314608
	Shun, Julian	PLDI '19: "Low-Latency Graph Streaming ..." Low-Latency Graph Streaming using Compressed Purely-Functional Trees Laxman Dhulipala, Guy E. Blelloch, and Julian Shun (Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1141, author = {Laxman Dhulipala and Guy E. Blelloch and Julian Shun}, title = {Low-Latency Graph Streaming using Compressed Purely-Functional Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1141-1140}, doi = {10.1145/3314221.3314598}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p129-p doi:10.1145/3314221.3314598
	Si, Xujie	PLDI '19: "Continuously Reasoning about ..." Continuously Reasoning about Programs using Differential Bayesian Inference Kihong Heo, Mukund Raghothaman, Xujie Si, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI19p685, author = {Kihong Heo and Mukund Raghothaman and Xujie Si and Mayur Naik}, title = {Continuously Reasoning about Programs using Differential Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {685-684}, doi = {10.1145/3314221.3314616}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p339-p doi:10.1145/3314221.3314616
	Siek, Jeremy G.	PLDI '19: "Toward Efficient Gradual Typing ..." Toward Efficient Gradual Typing for Structural Types via Coercions Andre Kuhlenschmidt, Deyaaeldeen Almahallawi, and Jeremy G. Siek (Indiana University, USA) @InProceedings{PLDI19p628, author = {Andre Kuhlenschmidt and Deyaaeldeen Almahallawi and Jeremy G. Siek}, title = {Toward Efficient Gradual Typing for Structural Types via Coercions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {628-627}, doi = {10.1145/3314221.3314627}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p379-p doi:10.1145/3314221.3314627
	Silva, Alexandra	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Simon, Doug	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Smith, Jonathan M.	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Smolka, Steffen	PLDI '19: "Scalable Verification of Probabilistic ..." Scalable Verification of Probabilistic Networks Steffen Smolka, Praveen Kumar, David M. Kahn, Nate Foster, Justin Hsu, Dexter Kozen, and Alexandra Silva (Cornell University, USA; Carnegie Mellon University, USA; University of Wisconsin-Madison, USA; University College London, UK) @InProceedings{PLDI19p229, author = {Steffen Smolka and Praveen Kumar and David M. Kahn and Nate Foster and Justin Hsu and Dexter Kozen and Alexandra Silva}, title = {Scalable Verification of Probabilistic Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {229-228}, doi = {10.1145/3314221.3314639}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p597-p doi:10.1145/3314221.3314639
	Socher, Richard	PLDI '19: "Genie: A Generator of Natural ..." Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and Monica S. Lam (Stanford University, USA; Salesforce, USA) @InProceedings{PLDI19p476, author = {Giovanni Campagna and Silei Xu and Mehrad Moradshahi and Richard Socher and Monica S. Lam}, title = {Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3314221.3314594}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p111-p doi:10.1145/3314221.3314594
	Soeller, Gary	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Sonchack, John	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Stanford, Caleb	PLDI '19: "Data-Trace Types for Distributed ..." Data-Trace Types for Distributed Stream Processing Systems Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen (Rice University, USA; University of Pennsylvania, USA) @InProceedings{PLDI19p818, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, title = {Data-Trace Types for Distributed Stream Processing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {818-817}, doi = {10.1145/3314221.3314580}, year = {2019}, } Publisher's Version Article: pldi19main-p1-p doi:10.1145/3314221.3314580
	Stefan, Deian	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Steffen, Samuel	PLDI '19: "Unsupervised Learning of API ..." Unsupervised Learning of API Aliasing Specifications Jan Eberhardt, Samuel Steffen, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p913, author = {Jan Eberhardt and Samuel Steffen and Veselin Raychev and Martin Vechev}, title = {Unsupervised Learning of API Aliasing Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {913-912}, doi = {10.1145/3314221.3314640}, year = {2019}, } Publisher's Version Article: pldi19main-p607-p doi:10.1145/3314221.3314640
	Strout, Michelle Mills	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Studener, Martin	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Su, Zhendong	PLDI '19: "Effective Floating-Point Analysis ..." Effective Floating-Point Analysis via Weak-Distance Minimization Zhoulai Fu and Zhendong Su (IT University of Copenhagen, Denmark; ETH Zurich, Switzerland) @InProceedings{PLDI19p533, author = {Zhoulai Fu and Zhendong Su}, title = {Effective Floating-Point Analysis via Weak-Distance Minimization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {533-532}, doi = {10.1145/3314221.3314632}, year = {2019}, } Publisher's Version Article: pldi19main-p481-p doi:10.1145/3314221.3314632
	Sundararajah, Kirshanthan	PLDI '19: "Sound, Fine-Grained Traversal ..." Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees Laith Sakka, Kirshanthan Sundararajah, Ryan R. Newton, and Milind Kulkarni (Purdue University, USA; Indiana University, USA) @InProceedings{PLDI19p1027, author = {Laith Sakka and Kirshanthan Sundararajah and Ryan R. Newton and Milind Kulkarni}, title = {Sound, Fine-Grained Traversal Fusion for Heterogeneous Trees}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1027-1026}, doi = {10.1145/3314221.3314626}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p373-p doi:10.1145/3314221.3314626 PLDI '19: "Composable, Sound Transformations ..." Composable, Sound Transformations of Nested Recursion and Loops Kirshanthan Sundararajah and Milind Kulkarni (Purdue University, USA) @InProceedings{PLDI19p1122, author = {Kirshanthan Sundararajah and Milind Kulkarni}, title = {Composable, Sound Transformations of Nested Recursion and Loops}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1122-1121}, doi = {10.1145/3314221.3314592}, year = {2019}, } Publisher's Version Article: pldi19main-p106-p doi:10.1145/3314221.3314592
	Tan, Yong Kiam	PLDI '19: "Verified Compilation on a ..." Verified Compilation on a Verified Processor Andreas Lööw, Ramana Kumar, Yong Kiam Tan, Magnus O. Myreen, Michael Norrish, Oskar Abrahamsson, and Anthony Fox (Chalmers University of Technology, Sweden; DeepMind, UK; Carnegie Mellon University, USA; Data61 at CSIRO, Australia; Australian National University, Australia; ARM, UK) @InProceedings{PLDI19p1293, author = {Andreas Lööw and Ramana Kumar and Yong Kiam Tan and Magnus O. Myreen and Michael Norrish and Oskar Abrahamsson and Anthony Fox}, title = {Verified Compilation on a Verified Processor}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1293-1292}, doi = {10.1145/3314221.3314622}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p366-p doi:10.1145/3314221.3314622
	Tang, Xulong	PLDI '19: "Co-optimizing Memory-Level ..." Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism Xulong Tang, Mahmut Taylan Kandemir, Mustafa Karakoy, and Meenakshi Arunachalam (Pennsylvania State University, USA; TOBB University of Economics and Technology, Turkey; Intel, USA) @InProceedings{PLDI19p1160, author = {Xulong Tang and Mahmut Taylan Kandemir and Mustafa Karakoy and Meenakshi Arunachalam}, title = {Co-optimizing Memory-Level Parallelism and Cache-Level Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1160-1159}, doi = {10.1145/3314221.3314599}, year = {2019}, } Publisher's Version Article: pldi19main-p155-p doi:10.1145/3314221.3314599
	Tannen, Val	PLDI '19: "Data-Trace Types for Distributed ..." Data-Trace Types for Distributed Stream Processing Systems Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, and Val Tannen (Rice University, USA; University of Pennsylvania, USA) @InProceedings{PLDI19p818, author = {Konstantinos Mamouras and Caleb Stanford and Rajeev Alur and Zachary G. Ives and Val Tannen}, title = {Data-Trace Types for Distributed Stream Processing Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {818-817}, doi = {10.1145/3314221.3314580}, year = {2019}, } Publisher's Version Article: pldi19main-p1-p doi:10.1145/3314221.3314580
	Tassarotti, Joseph	PLDI '19: "Argosy: Verifying Layered ..." Argosy: Verifying Layered Storage Systems with Recovery Refinement Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1312, author = {Tej Chajed and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Argosy: Verifying Layered Storage Systems with Recovery Refinement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1312-1311}, doi = {10.1145/3314221.3314585}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p30-p doi:10.1145/3314221.3314585
	Tench, David	PLDI '19: "Mesh: Compacting Memory Management ..." Mesh: Compacting Memory Management for C/C++ Applications Bobby Powers, David Tench, Emery D. Berger, and Andrew McGregor (University of Massachusetts at Amherst, USA) @InProceedings{PLDI19p400, author = {Bobby Powers and David Tench and Emery D. Berger and Andrew McGregor}, title = {Mesh: Compacting Memory Management for C/C++ Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {400-399}, doi = {10.1145/3314221.3314582}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p6-p doi:10.1145/3314221.3314582
	Thompson, Simon J.	PLDI '19: "Characterising Renaming within ..." Characterising Renaming within OCaml’s Module System: Theory and Implementation Reuben N. S. Rowe, Hugo Férée, Simon J. Thompson, and Scott Owens (University of Kent, UK) @InProceedings{PLDI19p1179, author = {Reuben N. S. Rowe and Hugo Férée and Simon J. Thompson and Scott Owens}, title = {Characterising Renaming within OCaml’s Module System: Theory and Implementation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1179-1178}, doi = {10.1145/3314221.3314600}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p160-p doi:10.1145/3314221.3314600
	Tobin-Hochstadt, Sam	PLDI '19: "Size-Change Termination as ..." Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, and David Van Horn (University of Maryland at College Park, USA; University of Alabama at Birmingham, USA; Indiana University, USA) @InProceedings{PLDI19p1046, author = {Phúc C. Nguyễn and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn}, title = {Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1046-1045}, doi = {10.1145/3314221.3314643}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p654-p doi:10.1145/3314221.3314643
	Torrellas, Josep	PLDI '19: "Reusable Inline Caching for ..." Reusable Inline Caching for JavaScript Performance Jiho Choi, Thomas Shull, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p1103, author = {Jiho Choi and Thomas Shull and Josep Torrellas}, title = {Reusable Inline Caching for JavaScript Performance}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1103-1102}, doi = {10.1145/3314221.3314587}, year = {2019}, } Publisher's Version Article: pldi19main-p43-p doi:10.1145/3314221.3314587 PLDI '19: "AutoPersist: An Easy-To-Use ..." AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability Thomas Shull, Jian Huang, and Josep Torrellas (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p381, author = {Thomas Shull and Jian Huang and Josep Torrellas}, title = {AutoPersist: An Easy-To-Use Java NVM Framework Based on Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {381-380}, doi = {10.1145/3314221.3314608}, year = {2019}, } Publisher's Version Article: pldi19main-p237-p doi:10.1145/3314221.3314608
	Tůma, Petr	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Vafeiadis, Viktor	PLDI '19: "Model Checking for Weakly ..." Model Checking for Weakly Consistent Libraries Michalis Kokologiannakis, Azalea Raad, and Viktor Vafeiadis (MPI-SWS, Germany) @InProceedings{PLDI19p115, author = {Michalis Kokologiannakis and Azalea Raad and Viktor Vafeiadis}, title = {Model Checking for Weakly Consistent Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {115-114}, doi = {10.1145/3314221.3314609}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p246-p doi:10.1145/3314221.3314609
	Van Horn, David	PLDI '19: "Size-Change Termination as ..." Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs Phúc C. Nguyễn, Thomas Gilray, Sam Tobin-Hochstadt, and David Van Horn (University of Maryland at College Park, USA; University of Alabama at Birmingham, USA; Indiana University, USA) @InProceedings{PLDI19p1046, author = {Phúc C. Nguyễn and Thomas Gilray and Sam Tobin-Hochstadt and David Van Horn}, title = {Size-Change Termination as a Contract: Dynamically and Statically Enforcing Termination for Higher-Order Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1046-1045}, doi = {10.1145/3314221.3314643}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p654-p doi:10.1145/3314221.3314643 PLDI '19: "Type-Level Computations for ..." Type-Level Computations for Ruby Libraries Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, and David Van Horn (University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Tufts University, USA) @InProceedings{PLDI19p1198, author = {Milod Kazerounian and Sankha Narayan Guria and Niki Vazou and Jeffrey S. Foster and David Van Horn}, title = {Type-Level Computations for Ruby Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1198-1197}, doi = {10.1145/3314221.3314630}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p432-p doi:10.1145/3314221.3314630
	Van Tonder, Rijnard	PLDI '19: "Lightweight Multi-Language ..." Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators Rijnard van Tonder and Claire Le Goues (Carnegie Mellon University, USA) @InProceedings{PLDI19p438, author = {Rijnard van Tonder and Claire Le Goues}, title = {Lightweight Multi-Language Syntax Transformation with Parser Parser Combinators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {438-437}, doi = {10.1145/3314221.3314589}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p75-p doi:10.1145/3314221.3314589
	Vasilakis, Nikos	PLDI '19: "Ignis: Scaling Distribution-Oblivious ..." Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution Nikos Vasilakis, Ben Karel, Yash Palkhiwala, John Sonchack, André DeHon, and Jonathan M. Smith (University of Pennsylvania, USA) @InProceedings{PLDI19p1255, author = {Nikos Vasilakis and Ben Karel and Yash Palkhiwala and John Sonchack and André DeHon and Jonathan M. Smith}, title = {Ignis: Scaling Distribution-Oblivious Systems with Light-Touch Distribution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1255-1254}, doi = {10.1145/3314221.3314586}, year = {2019}, } Publisher's Version Article: pldi19main-p40-p doi:10.1145/3314221.3314586
	Vazou, Niki	PLDI '19: "Type-Level Computations for ..." Type-Level Computations for Ruby Libraries Milod Kazerounian, Sankha Narayan Guria, Niki Vazou, Jeffrey S. Foster, and David Van Horn (University of Maryland at College Park, USA; IMDEA Software Institute, Spain; Tufts University, USA) @InProceedings{PLDI19p1198, author = {Milod Kazerounian and Sankha Narayan Guria and Niki Vazou and Jeffrey S. Foster and David Van Horn}, title = {Type-Level Computations for Ruby Libraries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1198-1197}, doi = {10.1145/3314221.3314630}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p432-p doi:10.1145/3314221.3314630
	Vechev, Martin	PLDI '19: "Unsupervised Learning of API ..." Unsupervised Learning of API Aliasing Specifications Jan Eberhardt, Samuel Steffen, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p913, author = {Jan Eberhardt and Samuel Steffen and Veselin Raychev and Martin Vechev}, title = {Unsupervised Learning of API Aliasing Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {913-912}, doi = {10.1145/3314221.3314640}, year = {2019}, } Publisher's Version Article: pldi19main-p607-p doi:10.1145/3314221.3314640 PLDI '19: "Scalable Taint Specification ..." Scalable Taint Specification Inference with Big Code Victor Chibotaru, Benjamin Bichsel, Veselin Raychev, and Martin Vechev (DeepCode, Switzerland; ETH Zurich, Switzerland) @InProceedings{PLDI19p932, author = {Victor Chibotaru and Benjamin Bichsel and Veselin Raychev and Martin Vechev}, title = {Scalable Taint Specification Inference with Big Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {932-931}, doi = {10.1145/3314221.3314648}, year = {2019}, } Publisher's Version Article: pldi19main-p732-p doi:10.1145/3314221.3314648
	Venkat, Anand	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Villazón, Alex	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Vollmer, Michael	PLDI '19: "LoCal: A Language for Programs ..." LoCal: A Language for Programs Operating on Serialized Data Michael Vollmer, Chaitanya Koparkar, Mike Rainey, Laith Sakka, Milind Kulkarni, and Ryan R. Newton (Indiana University, USA; Purdue University, USA) @InProceedings{PLDI19p58, author = {Michael Vollmer and Chaitanya Koparkar and Mike Rainey and Laith Sakka and Milind Kulkarni and Ryan R. Newton}, title = {LoCal: A Language for Programs Operating on Serialized Data}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {58-57}, doi = {10.1145/3314221.3314631}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p454-p doi:10.1145/3314221.3314631
	Volos, Haris	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Wahby, Riad S.	PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." FaCT: A DSL for Timing-Sensitive Computation Sunjay Cauligi, Gary Soeller, Brian Johannesmeyer, Fraser Brown, Riad S. Wahby, John Renner, Benjamin Grégoire, Gilles Barthe, Ranjit Jhala, and Deian Stefan (University of California at San Diego, USA; Stanford University, USA; Inria, France; MPI for Security and Privacy, Germany; IMDEA Software Institute, Spain) @InProceedings{PLDI19p210, author = {Sunjay Cauligi and Gary Soeller and Brian Johannesmeyer and Fraser Brown and Riad S. Wahby and John Renner and Benjamin Grégoire and Gilles Barthe and Ranjit Jhala and Deian Stefan}, title = {FaCT: A DSL for Timing-Sensitive Computation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {210-209}, doi = {10.1145/3314221.3314605}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p221-p doi:10.1145/3314221.3314605
	Wang, Chao	PLDI '19: "Replication-Aware Linearizability ..." Replication-Aware Linearizability Chao Wang, Constantin Enea, Suha Orhun Mutluergil, and Gustavo Petri (IRIF, France; University Paris Diderot, France; CNRS, France; ARM, UK) @InProceedings{PLDI19p1217, author = {Chao Wang and Constantin Enea and Suha Orhun Mutluergil and Gustavo Petri}, title = {Replication-Aware Linearizability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1217-1216}, doi = {10.1145/3314221.3314617}, year = {2019}, } Publisher's Version Article: pldi19main-p344-p doi:10.1145/3314221.3314617 PLDI '19: "Abstract Interpretation under ..." Abstract Interpretation under Speculative Execution Meng Wu and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{PLDI19p989, author = {Meng Wu and Chao Wang}, title = {Abstract Interpretation under Speculative Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {989-988}, doi = {10.1145/3314221.3314647}, year = {2019}, } Publisher's Version Article: pldi19main-p708-p doi:10.1145/3314221.3314647
	Wang, Chenxi	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Wang, Di	PLDI '19: "Resource-Guided Program Synthesis ..." Resource-Guided Program Synthesis Tristan Knoth, Di Wang, Nadia Polikarpova, and Jan Hoffmann (University of California at San Diego, USA; Carnegie Mellon University, USA) @InProceedings{PLDI19p305, author = {Tristan Knoth and Di Wang and Nadia Polikarpova and Jan Hoffmann}, title = {Resource-Guided Program Synthesis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {305-304}, doi = {10.1145/3314221.3314602}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p212-p doi:10.1145/3314221.3314602
	Wang, Guanhong	PLDI '19: "Proving Differential Privacy ..." Proving Differential Privacy with Shadow Execution Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, and Danfeng Zhang (Pennsylvania State University, USA) @InProceedings{PLDI19p799, author = {Yuxin Wang and Zeyu Ding and Guanhong Wang and Daniel Kifer and Danfeng Zhang}, title = {Proving Differential Privacy with Shadow Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {799-798}, doi = {10.1145/3314221.3314619}, year = {2019}, } Publisher's Version Article: pldi19main-p357-p doi:10.1145/3314221.3314619
	Wang, Peixin	PLDI '19: "Cost Analysis of Nondeterministic ..." Cost Analysis of Nondeterministic Probabilistic Programs Peixin Wang, Hongfei Fu, Amir Kafshdar Goharshady, Krishnendu Chatterjee, Xudong Qin, and Wenjun Shi (Shanghai Jiao Tong University, China; East China Normal University, China; IST Austria, Austria) @InProceedings{PLDI19p248, author = {Peixin Wang and Hongfei Fu and Amir Kafshdar Goharshady and Krishnendu Chatterjee and Xudong Qin and Wenjun Shi}, title = {Cost Analysis of Nondeterministic Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {248-247}, doi = {10.1145/3314221.3314581}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p4-p doi:10.1145/3314221.3314581
	Wang, Shiyu	PLDI '19: "Learning Stateful Preconditions ..." Learning Stateful Preconditions Modulo a Test Generator Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p951, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, title = {Learning Stateful Preconditions Modulo a Test Generator}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3314221.3314641}, year = {2019}, } Publisher's Version Article: pldi19main-p614-p doi:10.1145/3314221.3314641
	Wang, Yuepeng	PLDI '19: "Synthesizing Database Programs ..." Synthesizing Database Programs for Schema Refactoring Yuepeng Wang, James Dong, Rushi Shah, and Isil Dillig (University of Texas at Austin, USA) @InProceedings{PLDI19p343, author = {Yuepeng Wang and James Dong and Rushi Shah and Isil Dillig}, title = {Synthesizing Database Programs for Schema Refactoring}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {343-342}, doi = {10.1145/3314221.3314588}, year = {2019}, } Publisher's Version Article: pldi19main-p45-p doi:10.1145/3314221.3314588
	Wang, Yuxin	PLDI '19: "Proving Differential Privacy ..." Proving Differential Privacy with Shadow Execution Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, and Danfeng Zhang (Pennsylvania State University, USA) @InProceedings{PLDI19p799, author = {Yuxin Wang and Zeyu Ding and Guanhong Wang and Daniel Kifer and Danfeng Zhang}, title = {Proving Differential Privacy with Shadow Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {799-798}, doi = {10.1145/3314221.3314619}, year = {2019}, } Publisher's Version Article: pldi19main-p357-p doi:10.1145/3314221.3314619
	Wu, Meng	PLDI '19: "Abstract Interpretation under ..." Abstract Interpretation under Speculative Execution Meng Wu and Chao Wang (Virginia Tech, USA; University of Southern California, USA) @InProceedings{PLDI19p989, author = {Meng Wu and Chao Wang}, title = {Abstract Interpretation under Speculative Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {989-988}, doi = {10.1145/3314221.3314647}, year = {2019}, } Publisher's Version Article: pldi19main-p708-p doi:10.1145/3314221.3314647
	Würthinger, Thomas	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Xiao, Siyang	PLDI '19: "Towards Certified Separate ..." Towards Certified Separate Compilation for Concurrent Programs Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng (University of Science and Technology of China, China; Nanjing University, China) @InProceedings{PLDI19p134, author = {Hanru Jiang and Hongjin Liang and Siyang Xiao and Junpeng Zha and Xinyu Feng}, title = {Towards Certified Separate Compilation for Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3314221.3314595}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p115-p doi:10.1145/3314221.3314595
	Xie, Tao	PLDI '19: "Learning Stateful Preconditions ..." Learning Stateful Preconditions Modulo a Test Generator Angello Astorga, P. Madhusudan, Shambwaditya Saha, Shiyu Wang, and Tao Xie (University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI19p951, author = {Angello Astorga and P. Madhusudan and Shambwaditya Saha and Shiyu Wang and Tao Xie}, title = {Learning Stateful Preconditions Modulo a Test Generator}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {951-950}, doi = {10.1145/3314221.3314641}, year = {2019}, } Publisher's Version Article: pldi19main-p614-p doi:10.1145/3314221.3314641
	Xiong, Zikang	PLDI '19: "An Inductive Synthesis Framework ..." An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu, Zikang Xiong, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI19p837, author = {He Zhu and Zikang Xiong and Stephen Magill and Suresh Jagannathan}, title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3314221.3314638}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p591-p doi:10.1145/3314221.3314638
	Xu, Guoqing Harry	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650
	Xu, Silei	PLDI '19: "Genie: A Generator of Natural ..." Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands Giovanni Campagna, Silei Xu, Mehrad Moradshahi, Richard Socher, and Monica S. Lam (Stanford University, USA; Salesforce, USA) @InProceedings{PLDI19p476, author = {Giovanni Campagna and Silei Xu and Mehrad Moradshahi and Richard Socher and Monica S. Lam}, title = {Genie: A Generator of Natural Language Semantic Parsers for Virtual Assistant Commands}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {476-475}, doi = {10.1145/3314221.3314594}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p111-p doi:10.1145/3314221.3314594
	Xue, Anton	PLDI '19: "Lazy Counterfactual Symbolic ..." Lazy Counterfactual Symbolic Execution William T. Hallahan, Anton Xue, Maxwell Troy Bland, Ranjit Jhala, and Ruzica Piskac (Yale University, USA; University of California at San Diego, USA) @InProceedings{PLDI19p495, author = {William T. Hallahan and Anton Xue and Maxwell Troy Bland and Ranjit Jhala and Ruzica Piskac}, title = {Lazy Counterfactual Symbolic Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {495-494}, doi = {10.1145/3314221.3314618}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p351-p doi:10.1145/3314221.3314618
	Xue, Jingling	PLDI '19: "Incremental Precision-Preserving ..." Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs Jieyuan Zhang and Jingling Xue (UNSW, Australia) @InProceedings{PLDI19p286, author = {Jieyuan Zhang and Jingling Xue}, title = {Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {286-285}, doi = {10.1145/3314221.3314623}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p367-p doi:10.1145/3314221.3314623
	Yallop, Jeremy	PLDI '19: "A Typed, Algebraic Approach ..." A Typed, Algebraic Approach to Parsing Neelakantan R. Krishnaswami and Jeremy Yallop (University of Cambridge, UK) @InProceedings{PLDI19p457, author = {Neelakantan R. Krishnaswami and Jeremy Yallop}, title = {A Typed, Algebraic Approach to Parsing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {457-456}, doi = {10.1145/3314221.3314625}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p371-p doi:10.1145/3314221.3314625
	Ying, Mingsheng	PLDI '19: "An Applied Quantum Hoare Logic ..." An Applied Quantum Hoare Logic Li Zhou, Nengkun Yu, and Mingsheng Ying (Tsinghua University, China; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI19p1426, author = {Li Zhou and Nengkun Yu and Mingsheng Ying}, title = {An Applied Quantum Hoare Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1426-1425}, doi = {10.1145/3314221.3314584}, year = {2019}, } Publisher's Version Article: pldi19main-p22-p doi:10.1145/3314221.3314584
	Yoga, Adarsh	PLDI '19: "Parallelism-Centric What-If ..." Parallelism-Centric What-If and Differential Analyses Adarsh Yoga and Santosh Nagarakatte (Rutgers University, USA) @InProceedings{PLDI19p590, author = {Adarsh Yoga and Santosh Nagarakatte}, title = {Parallelism-Centric What-If and Differential Analyses}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {590-589}, doi = {10.1145/3314221.3314621}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p363-p doi:10.1145/3314221.3314621
	Yoshida, Nobuko	PLDI '19: "Verifying Message-Passing ..." Verifying Message-Passing Programs with Dependent Behavioural Types Alceste Scalas, Nobuko Yoshida, and Elias Benussi (Imperial College London, UK; Aston University, UK; Faculty Science, UK) @InProceedings{PLDI19p609, author = {Alceste Scalas and Nobuko Yoshida and Elias Benussi}, title = {Verifying Message-Passing Programs with Dependent Behavioural Types}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {609-608}, doi = {10.1145/3314221.3322484}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p105-p doi:10.1145/3314221.3322484
	Yu, Nengkun	PLDI '19: "An Applied Quantum Hoare Logic ..." An Applied Quantum Hoare Logic Li Zhou, Nengkun Yu, and Mingsheng Ying (Tsinghua University, China; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI19p1426, author = {Li Zhou and Nengkun Yu and Mingsheng Ying}, title = {An Applied Quantum Hoare Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1426-1425}, doi = {10.1145/3314221.3314584}, year = {2019}, } Publisher's Version Article: pldi19main-p22-p doi:10.1145/3314221.3314584
	Yue, Xiangyu	PLDI '19: "Scenic: A Language for Scenario ..." Scenic: A Language for Scenario Specification and Scene Generation Daniel J. Fremont, Tommaso Dreossi, Shromona Ghosh, Xiangyu Yue, Alberto L. Sangiovanni-Vincentelli, and Sanjit A. Seshia (University of California at Berkeley, USA) @InProceedings{PLDI19p77, author = {Daniel J. Fremont and Tommaso Dreossi and Shromona Ghosh and Xiangyu Yue and Alberto L. Sangiovanni-Vincentelli and Sanjit A. Seshia}, title = {Scenic: A Language for Scenario Specification and Scene Generation}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {77-76}, doi = {10.1145/3314221.3314633}, year = {2019}, } Publisher's Version Article: pldi19main-p484-p doi:10.1145/3314221.3314633
	Yuki, Tomofumi	PLDI '19: "Sparse Computation Data Dependence ..." Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors Mahdi Soltan Mohammadi, Tomofumi Yuki, Kazem Cheshmi, Eddie C. Davis, Mary Hall, Maryam Mehri Dehnavi, Payal Nandy, Catherine Olschanowsky, Anand Venkat, and Michelle Mills Strout (University of Arizona, USA; Inria, France; University of Rennes, France; CNRS, France; IRISA, France; University of Toronto, Canada; Boise State University, USA; University of Utah, USA; Intel, USA) @InProceedings{PLDI19p723, author = {Mahdi Soltan Mohammadi and Tomofumi Yuki and Kazem Cheshmi and Eddie C. Davis and Mary Hall and Maryam Mehri Dehnavi and Payal Nandy and Catherine Olschanowsky and Anand Venkat and Michelle Mills Strout}, title = {Sparse Computation Data Dependence Simplification for Efficient Compiler-Generated Inspectors}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {723-722}, doi = {10.1145/3314221.3314646}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p704-p doi:10.1145/3314221.3314646
	Zeldovich, Nickolai	PLDI '19: "Argosy: Verifying Layered ..." Argosy: Verifying Layered Storage Systems with Recovery Refinement Tej Chajed, Joseph Tassarotti, M. Frans Kaashoek, and Nickolai Zeldovich (Massachusetts Institute of Technology, USA) @InProceedings{PLDI19p1312, author = {Tej Chajed and Joseph Tassarotti and M. Frans Kaashoek and Nickolai Zeldovich}, title = {Argosy: Verifying Layered Storage Systems with Recovery Refinement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1312-1311}, doi = {10.1145/3314221.3314585}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p30-p doi:10.1145/3314221.3314585
	Zeller, Andreas	PLDI '19: "Parser-Directed Fuzzing ..." Parser-Directed Fuzzing Björn Mathis, Rahul Gopinath, Michaël Mera, Alexander Kampmann, Matthias Höschele, and Andreas Zeller (CISPA, Germany) @InProceedings{PLDI19p666, author = {Björn Mathis and Rahul Gopinath and Michaël Mera and Alexander Kampmann and Matthias Höschele and Andreas Zeller}, title = {Parser-Directed Fuzzing}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {666-665}, doi = {10.1145/3314221.3314651}, year = {2019}, } Publisher's Version Article: pldi19main-p767-p doi:10.1145/3314221.3314651
	Zha, Junpeng	PLDI '19: "Towards Certified Separate ..." Towards Certified Separate Compilation for Concurrent Programs Hanru Jiang, Hongjin Liang, Siyang Xiao, Junpeng Zha, and Xinyu Feng (University of Science and Technology of China, China; Nanjing University, China) @InProceedings{PLDI19p134, author = {Hanru Jiang and Hongjin Liang and Siyang Xiao and Junpeng Zha and Xinyu Feng}, title = {Towards Certified Separate Compilation for Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {134-133}, doi = {10.1145/3314221.3314595}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p115-p doi:10.1145/3314221.3314595
	Zhang, Danfeng	PLDI '19: "Proving Differential Privacy ..." Proving Differential Privacy with Shadow Execution Yuxin Wang, Zeyu Ding, Guanhong Wang, Daniel Kifer, and Danfeng Zhang (Pennsylvania State University, USA) @InProceedings{PLDI19p799, author = {Yuxin Wang and Zeyu Ding and Guanhong Wang and Daniel Kifer and Danfeng Zhang}, title = {Proving Differential Privacy with Shadow Execution}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {799-798}, doi = {10.1145/3314221.3314619}, year = {2019}, } Publisher's Version Article: pldi19main-p357-p doi:10.1145/3314221.3314619
	Zhang, Jieyuan	PLDI '19: "Incremental Precision-Preserving ..." Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs Jieyuan Zhang and Jingling Xue (UNSW, Australia) @InProceedings{PLDI19p286, author = {Jieyuan Zhang and Jingling Xue}, title = {Incremental Precision-Preserving Symbolic Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {286-285}, doi = {10.1145/3314221.3314623}, year = {2019}, } Publisher's Version Artifacts Functional Article: pldi19main-p367-p doi:10.1145/3314221.3314623
	Zhang, Xiangyu	PLDI '19: "SemCluster: Clustering of ..." SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features David M. Perry, Dohyeong Kim, Roopsha Samanta, and Xiangyu Zhang (Purdue University, USA) @InProceedings{PLDI19p1065, author = {David M. Perry and Dohyeong Kim and Roopsha Samanta and Xiangyu Zhang}, title = {SemCluster: Clustering of Imperative Programming Assignments Based on Quantitative Semantic Features}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1065-1064}, doi = {10.1145/3314221.3314629}, year = {2019}, } Publisher's Version Article: pldi19main-p421-p doi:10.1145/3314221.3314629 PLDI '19: "Programming Support for Autonomizing ..." Programming Support for Autonomizing Software Wen-Chuan Lee, Peng Liu, Yingqi Liu, Shiqing Ma, and Xiangyu Zhang (Purdue University, USA; IBM, USA) @InProceedings{PLDI19p856, author = {Wen-Chuan Lee and Peng Liu and Yingqi Liu and Shiqing Ma and Xiangyu Zhang}, title = {Programming Support for Autonomizing Software}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {856-855}, doi = {10.1145/3314221.3314593}, year = {2019}, } Publisher's Version Article: pldi19main-p108-p doi:10.1145/3314221.3314593
	Zhao, Yifan	PLDI '19: "Huron: Hybrid False Sharing ..." Huron: Hybrid False Sharing Detection and Repair Tanvir Ahmed Khan, Yifan Zhao, Gilles Pokam, Barzan Mozafari, and Baris Kasikci (University of Michigan, USA; Intel, USA) @InProceedings{PLDI19p552, author = {Tanvir Ahmed Khan and Yifan Zhao and Gilles Pokam and Barzan Mozafari and Baris Kasikci}, title = {Huron: Hybrid False Sharing Detection and Repair}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {552-551}, doi = {10.1145/3314221.3314644}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p657-p doi:10.1145/3314221.3314644
	Zheng, Guolong	PLDI '19: "SLING: Using Dynamic Analysis ..." SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic Ton Chanh Le, Guolong Zheng, and ThanhVu Nguyen (Stevens Institute of Technology, USA; University of Nebraska-Lincoln, USA) @InProceedings{PLDI19p970, author = {Ton Chanh Le and Guolong Zheng and ThanhVu Nguyen}, title = {SLING: Using Dynamic Analysis to Infer Program Invariants in Separation Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {970-969}, doi = {10.1145/3314221.3314634}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p494-p doi:10.1145/3314221.3314634
	Zheng, Yudi	PLDI '19: "Renaissance: Benchmarking ..." Renaissance: Benchmarking Suite for Parallel Applications on the JVM Aleksandar Prokopec, Andrea Rosà, David Leopoldseder, Gilles Duboscq, Petr Tůma, Martin Studener, Lubomír Bulej, Yudi Zheng, Alex Villazón, Doug Simon, Thomas Würthinger, and Walter Binder (Oracle Labs, Switzerland; USI Lugano, Switzerland; JKU Linz, Austria; Charles University in Prague, Czechia; Universidad Privada Boliviana, Bolivia) @InProceedings{PLDI19p39, author = {Aleksandar Prokopec and Andrea Rosà and David Leopoldseder and Gilles Duboscq and Petr Tůma and Martin Studener and Lubomír Bulej and Yudi Zheng and Alex Villazón and Doug Simon and Thomas Würthinger and Walter Binder}, title = {Renaissance: Benchmarking Suite for Parallel Applications on the JVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {39-38}, doi = {10.1145/3314221.3314637}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p544-p doi:10.1145/3314221.3314637
	Zhou, Li	PLDI '19: "An Applied Quantum Hoare Logic ..." An Applied Quantum Hoare Logic Li Zhou, Nengkun Yu, and Mingsheng Ying (Tsinghua University, China; University of Technology Sydney, Australia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI19p1426, author = {Li Zhou and Nengkun Yu and Mingsheng Ying}, title = {An Applied Quantum Hoare Logic}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1426-1425}, doi = {10.1145/3314221.3314584}, year = {2019}, } Publisher's Version Article: pldi19main-p22-p doi:10.1145/3314221.3314584
	Zhu, He	PLDI '19: "An Inductive Synthesis Framework ..." An Inductive Synthesis Framework for Verifiable Reinforcement Learning He Zhu, Zikang Xiong, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI19p837, author = {He Zhu and Zikang Xiong and Stephen Magill and Suresh Jagannathan}, title = {An Inductive Synthesis Framework for Verifiable Reinforcement Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {837-836}, doi = {10.1145/3314221.3314638}, year = {2019}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi19main-p591-p doi:10.1145/3314221.3314638
	Zigman, John	PLDI '19: "Panthera: Holistic Memory ..." Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories Chenxi Wang, Huimin Cui, Ting Cao, John Zigman, Haris Volos, Onur Mutlu, Fang Lv, Xiaobing Feng, and Guoqing Harry Xu (University of California at Los Angeles, USA; Institute of Computing Technology at Chinese Academy of Sciences, China; University of Chinese Academy of Sciences, China; Microsoft Research, USA; University of Sydney, Australia; Google, USA; ETH Zurich, Switzerland) @InProceedings{PLDI19p419, author = {Chenxi Wang and Huimin Cui and Ting Cao and John Zigman and Haris Volos and Onur Mutlu and Fang Lv and Xiaobing Feng and Guoqing Harry Xu}, title = {Panthera: Holistic Memory Management for Big Data Processing over Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {419-418}, doi = {10.1145/3314221.3314650}, year = {2019}, } Publisher's Version Article: pldi19main-p760-p doi:10.1145/3314221.3314650