PLDI 2018 – Author Index

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

	Acar, Umut A.	PLDI '18: "Heartbeat Scheduling: Provable ..." Heartbeat Scheduling: Provable Efficiency for Nested Parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski (Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA) @InProceedings{PLDI18p868, author = {Umut A. Acar and Arthur Charguéraud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, title = {Heartbeat Scheduling: Provable Efficiency for Nested Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {868-867}, doi = {10.1145/3192366.3192391}, year = {2018}, } Publisher's Version Article: pldi18main-p122-p doi:10.1145/3192366.3192391
	Acharya, Aravind	PLDI '18: "Polyhedral Auto-transformation ..." Polyhedral Auto-transformation with No Integer Linear Programming Aravind Acharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; Inria, France; ENS, France) @InProceedings{PLDI18p596, author = {Aravind Acharya and Uday Bondhugula and Albert Cohen}, title = {Polyhedral Auto-transformation with No Integer Linear Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {10.1145/3192366.3192401}, year = {2018}, } Publisher's Version Article: pldi18main-p175-p doi:10.1145/3192366.3192401
	Adams, Ulf	PLDI '18: "Ryū: Fast Float-to-String ..." Ryū: Fast Float-to-String Conversion Ulf Adams (Google, Germany) @InProceedings{PLDI18p307, author = {Ulf Adams}, title = {Ryū: Fast Float-to-String Conversion}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {307-306}, doi = {10.1145/3192366.3192369}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p10-p doi:10.1145/3192366.3192369
	Ahmed, Amal	PLDI '18: "Typed Closure Conversion for ..." Typed Closure Conversion for the Calculus of Constructions William J. Bowman and Amal Ahmed (Northeastern University, USA) @InProceedings{PLDI18p902, author = {William J. Bowman and Amal Ahmed}, title = {Typed Closure Conversion for the Calculus of Constructions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {902-901}, doi = {10.1145/3192366.3192372}, year = {2018}, } Publisher's Version Article: pldi18main-p22-p doi:10.1145/3192366.3192372
	Aiken, Alex	PLDI '18: "Active Learning of Points-To ..." Active Learning of Points-To Specifications Osbert Bastani, Rahul Sharma, Alex Aiken, and Percy Liang (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI18p766, author = {Osbert Bastani and Rahul Sharma and Alex Aiken and Percy Liang}, title = {Active Learning of Points-To Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {10.1145/3192366.3192383}, year = {2018}, } Publisher's Version Article: pldi18main-p91-p doi:10.1145/3192366.3192383
	Akram, Shoaib	PLDI '18: "Write-Rationing Garbage Collection ..." Write-Rationing Garbage Collection for Hybrid Memories Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, and Lieven Eeckhout (Ghent University, Belgium; Vrije Universiteit Brussel, Belgium; Google, USA) @InProceedings{PLDI18p69, author = {Shoaib Akram and Jennifer B. Sartor and Kathryn S. McKinley and Lieven Eeckhout}, title = {Write-Rationing Garbage Collection for Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3192366.3192392}, year = {2018}, } Publisher's Version Article: pldi18main-p124-p doi:10.1145/3192366.3192392
	Alon, Uri	PLDI '18: "A General Path-Based Representation ..." A General Path-Based Representation for Predicting Program Properties Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav (Technion, Israel; University of Washington, USA) @InProceedings{PLDI18p460, author = {Uri Alon and Meital Zilberstein and Omer Levy and Eran Yahav}, title = {A General Path-Based Representation for Predicting Program Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3192366.3192412}, year = {2018}, } Publisher's Version Article: pldi18main-p224-p doi:10.1145/3192366.3192412
	Alur, Rajeev	PLDI '18: "Accelerating Search-Based ..." Accelerating Search-Based Program Synthesis using Learned Probabilistic Models Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p494, author = {Woosuk Lee and Kihong Heo and Rajeev Alur and Mayur Naik}, title = {Accelerating Search-Based Program Synthesis using Learned Probabilistic Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {10.1145/3192366.3192410}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p211-p doi:10.1145/3192366.3192410
	Bastani, Osbert	PLDI '18: "Program Synthesis using Conflict-Driven ..." Program Synthesis using Conflict-Driven Learning Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p477, author = {Yu Feng and Ruben Martins and Osbert Bastani and Isil Dillig}, title = {Program Synthesis using Conflict-Driven Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3192366.3192382}, year = {2018}, } Publisher's Version Article: pldi18main-p85-p doi:10.1145/3192366.3192382 PLDI '18: "Active Learning of Points-To ..." Active Learning of Points-To Specifications Osbert Bastani, Rahul Sharma, Alex Aiken, and Percy Liang (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI18p766, author = {Osbert Bastani and Rahul Sharma and Alex Aiken and Percy Liang}, title = {Active Learning of Points-To Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {10.1145/3192366.3192383}, year = {2018}, } Publisher's Version Article: pldi18main-p91-p doi:10.1145/3192366.3192383
	Baxter, Samuel	PLDI '18: "Putting in All the Stops: ..." Putting in All the Stops: Execution Control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha (University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA) @InProceedings{PLDI18p35, author = {Samuel Baxter and Rachit Nigam and Joe Gibbs Politz and Shriram Krishnamurthi and Arjun Guha}, title = {Putting in All the Stops: Execution Control for JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3192366.3192370}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p17-p doi:10.1145/3192366.3192370
	Berger, Emery D.	PLDI '18: "BLeak: Automatically Debugging ..." BLeak: Automatically Debugging Memory Leaks in Web Applications John Vilk and Emery D. Berger (University of Massachusetts at Amherst, USA) @InProceedings{PLDI18p18, author = {John Vilk and Emery D. Berger}, title = {BLeak: Automatically Debugging Memory Leaks in Web Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3192366.3192376}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p39-p doi:10.1145/3192366.3192376
	Bichsel, Benjamin	PLDI '18: "Incremental Inference for ..." Incremental Inference for Probabilistic Programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland) @InProceedings{PLDI18p647, author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin Vechev and Vikash K. Mansinghka}, title = {Incremental Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3192366.3192399}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p160-p doi:10.1145/3192366.3192399
	Bohrer, Brandon	PLDI '18: "VeriPhy: Verified Controller ..." VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer (Carnegie Mellon University, USA; Chalmers University of Technology, Sweden) @InProceedings{PLDI18p698, author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer}, title = {VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {10.1145/3192366.3192406}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p199-p doi:10.1145/3192366.3192406
	Bond, Michael D.	PLDI '18: "High-Coverage, Unbounded Sound ..." High-Coverage, Unbounded Sound Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI18p426, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {High-Coverage, Unbounded Sound Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {10.1145/3192366.3192385}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p95-p doi:10.1145/3192366.3192385
	Bondhugula, Uday	PLDI '18: "Polyhedral Auto-transformation ..." Polyhedral Auto-transformation with No Integer Linear Programming Aravind Acharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; Inria, France; ENS, France) @InProceedings{PLDI18p596, author = {Aravind Acharya and Uday Bondhugula and Albert Cohen}, title = {Polyhedral Auto-transformation with No Integer Linear Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {10.1145/3192366.3192401}, year = {2018}, } Publisher's Version Article: pldi18main-p175-p doi:10.1145/3192366.3192401
	Bowman, William J.	PLDI '18: "Typed Closure Conversion for ..." Typed Closure Conversion for the Calculus of Constructions William J. Bowman and Amal Ahmed (Northeastern University, USA) @InProceedings{PLDI18p902, author = {William J. Bowman and Amal Ahmed}, title = {Typed Closure Conversion for the Calculus of Constructions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {902-901}, doi = {10.1145/3192366.3192372}, year = {2018}, } Publisher's Version Article: pldi18main-p22-p doi:10.1145/3192366.3192372
	Brooks, Alex	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Brutschy, Lucas	PLDI '18: "Static Serializability Analysis ..." Static Serializability Analysis for Causal Consistency Lucas Brutschy, Dimitar Dimitrov, Peter Müller, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI18p103, author = {Lucas Brutschy and Dimitar Dimitrov and Peter Müller and Martin Vechev}, title = {Static Serializability Analysis for Causal Consistency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3192366.3192415}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p243-p doi:10.1145/3192366.3192415
	Cai, Cheng	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378
	Carbonneaux, Quentin	PLDI '18: "Bounded Expectations: Resource ..." Bounded Expectations: Resource Analysis for Probabilistic Programs Van Chan Ngo, Quentin Carbonneaux, and Jan Hoffmann (Carnegie Mellon University, USA; Yale University, USA) @InProceedings{PLDI18p562, author = {Van Chan Ngo and Quentin Carbonneaux and Jan Hoffmann}, title = {Bounded Expectations: Resource Analysis for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {10.1145/3192366.3192394}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p140-p doi:10.1145/3192366.3192394
	Carlson, Trevor E.	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Charguéraud, Arthur	PLDI '18: "Heartbeat Scheduling: Provable ..." Heartbeat Scheduling: Provable Efficiency for Nested Parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski (Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA) @InProceedings{PLDI18p868, author = {Umut A. Acar and Arthur Charguéraud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, title = {Heartbeat Scheduling: Provable Efficiency for Nested Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {868-867}, doi = {10.1145/3192366.3192391}, year = {2018}, } Publisher's Version Article: pldi18main-p122-p doi:10.1145/3192366.3192391
	Chen, Dong	PLDI '18: "Locality Analysis through ..." Locality Analysis through Static Parallel Sampling Dong Chen, Fangzhou Liu, Chen Ding, and Sreepathi Pai (University of Rochester, USA) @InProceedings{PLDI18p630, author = {Dong Chen and Fangzhou Liu and Chen Ding and Sreepathi Pai}, title = {Locality Analysis through Static Parallel Sampling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {10.1145/3192366.3192402}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p176-p doi:10.1145/3192366.3192402
	Chen, Hao	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Chen, Peter M.	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Chen, Yu-Fang	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Chen, Yutian	PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Chinya, Gautham N.	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	Cho, Sungkeun	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Choi, Joonwon	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Chong, Nathan	PLDI '18: "The Semantics of Transactions ..." The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ Nathan Chong, Tyler Sorensen, and John Wickerson (ARM, UK; Imperial College London, UK) @InProceedings{PLDI18p239, author = {Nathan Chong and Tyler Sorensen and John Wickerson}, title = {The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3192366.3192373}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p23-p doi:10.1145/3192366.3192373
	Cohen, Albert	PLDI '18: "Polyhedral Auto-transformation ..." Polyhedral Auto-transformation with No Integer Linear Programming Aravind Acharya, Uday Bondhugula, and Albert Cohen (Indian Institute of Science, India; Inria, France; ENS, France) @InProceedings{PLDI18p596, author = {Aravind Acharya and Uday Bondhugula and Albert Cohen}, title = {Polyhedral Auto-transformation with No Integer Linear Programming}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {596-595}, doi = {10.1145/3192366.3192401}, year = {2018}, } Publisher's Version Article: pldi18main-p175-p doi:10.1145/3192366.3192401
	Costanzo, David	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Cusumano-Towner, Marco	PLDI '18: "Incremental Inference for ..." Incremental Inference for Probabilistic Programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland) @InProceedings{PLDI18p647, author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin Vechev and Vikash K. Mansinghka}, title = {Incremental Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3192366.3192399}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p160-p doi:10.1145/3192366.3192399
	Dang, Hoang-Vu	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Dathathri, Roshan	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Davies, Mike	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	D'Elia, Daniele Cono	PLDI '18: "On-Stack Replacement, Distilled ..." On-Stack Replacement, Distilled Daniele Cono D'Elia and Camil Demetrescu (Sapienza University of Rome, Italy) @InProceedings{PLDI18p188, author = {Daniele Cono D'Elia and Camil Demetrescu}, title = {On-Stack Replacement, Distilled}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {10.1145/3192366.3192396}, year = {2018}, } Publisher's Version Article: pldi18main-p152-p doi:10.1145/3192366.3192396
	Demetrescu, Camil	PLDI '18: "On-Stack Replacement, Distilled ..." On-Stack Replacement, Distilled Daniele Cono D'Elia and Camil Demetrescu (Sapienza University of Rome, Italy) @InProceedings{PLDI18p188, author = {Daniele Cono D'Elia and Camil Demetrescu}, title = {On-Stack Replacement, Distilled}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {188-187}, doi = {10.1145/3192366.3192396}, year = {2018}, } Publisher's Version Article: pldi18main-p152-p doi:10.1145/3192366.3192396
	Devietti, Joseph	PLDI '18: "CURD: A Dynamic CUDA Race ..." CURD: A Dynamic CUDA Race Detector Yuanfeng Peng, Vinod Grover, and Joseph Devietti (University of Pennsylvania, USA; NVIDIA, USA) @InProceedings{PLDI18p443, author = {Yuanfeng Peng and Vinod Grover and Joseph Devietti}, title = {CURD: A Dynamic CUDA Race Detector}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3192366.3192368}, year = {2018}, } Publisher's Version Article: pldi18main-p7-p doi:10.1145/3192366.3192368
	Diestelhorst, Stephan	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Dillig, Isil	PLDI '18: "Symbolic Reasoning for Automatic ..." Symbolic Reasoning for Automatic Signal Placement Kostas Ferles, Jacob Van Geffen, Isil Dillig, and Yannis Smaragdakis (University of Texas at Austin, USA; University of Athens, Greece) @InProceedings{PLDI18p137, author = {Kostas Ferles and Jacob Van Geffen and Isil Dillig and Yannis Smaragdakis}, title = {Symbolic Reasoning for Automatic Signal Placement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3192366.3192395}, year = {2018}, } Publisher's Version Article: pldi18main-p146-p doi:10.1145/3192366.3192395 PLDI '18: "Program Synthesis using Conflict-Driven ..." Program Synthesis using Conflict-Driven Learning Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p477, author = {Yu Feng and Ruben Martins and Osbert Bastani and Isil Dillig}, title = {Program Synthesis using Conflict-Driven Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3192366.3192382}, year = {2018}, } Publisher's Version Article: pldi18main-p85-p doi:10.1145/3192366.3192382
	Dimitrov, Dimitar	PLDI '18: "Static Serializability Analysis ..." Static Serializability Analysis for Causal Consistency Lucas Brutschy, Dimitar Dimitrov, Peter Müller, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI18p103, author = {Lucas Brutschy and Dimitar Dimitrov and Peter Müller and Martin Vechev}, title = {Static Serializability Analysis for Causal Consistency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3192366.3192415}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p243-p doi:10.1145/3192366.3192415
	Ding, Chen	PLDI '18: "Locality Analysis through ..." Locality Analysis through Static Parallel Sampling Dong Chen, Fangzhou Liu, Chen Ding, and Sreepathi Pai (University of Rochester, USA) @InProceedings{PLDI18p630, author = {Dong Chen and Fangzhou Liu and Chen Ding and Sreepathi Pai}, title = {Locality Analysis through Static Parallel Sampling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {10.1145/3192366.3192402}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p176-p doi:10.1145/3192366.3192402
	Dolan, Stephen	PLDI '18: "Bounding Data Races in Space ..." Bounding Data Races in Space and Time Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy (University of Cambridge, UK) @InProceedings{PLDI18p273, author = {Stephen Dolan and KC Sivaramakrishnan and Anil Madhavapeddy}, title = {Bounding Data Races in Space and Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3192366.3192421}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p262-p doi:10.1145/3192366.3192421
	Dryden, Nikoli	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Duck, Gregory J.	PLDI '18: "EffectiveSan: Type and Memory ..." EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ Gregory J. Duck and Roland H. C. Yap (National University of Singapore, Singapore) @InProceedings{PLDI18p205, author = {Gregory J. Duck and Roland H. C. Yap}, title = {EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {205-204}, doi = {10.1145/3192366.3192388}, year = {2018}, } Publisher's Version Article: pldi18main-p104-p doi:10.1145/3192366.3192388
	Eeckhout, Lieven	PLDI '18: "Write-Rationing Garbage Collection ..." Write-Rationing Garbage Collection for Hybrid Memories Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, and Lieven Eeckhout (Ghent University, Belgium; Vrije Universiteit Brussel, Belgium; Google, USA) @InProceedings{PLDI18p69, author = {Shoaib Akram and Jennifer B. Sartor and Kathryn S. McKinley and Lieven Eeckhout}, title = {Write-Rationing Garbage Collection for Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3192366.3192392}, year = {2018}, } Publisher's Version Article: pldi18main-p124-p doi:10.1145/3192366.3192392
	Ernst, Michael D.	PLDI '18: "Verifying That Web Pages Have ..." Verifying That Web Pages Have Accessible Layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA) @InProceedings{PLDI18p1, author = {Pavel Panchekha and Adam T. Geller and Michael D. Ernst and Zachary Tatlock and Shoaib Kamil}, title = {Verifying That Web Pages Have Accessible Layout}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3192366.3192407}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p202-p doi:10.1145/3192366.3192407
	Fan, Gang	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Feldman, Matthew	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Feng, Yu	PLDI '18: "Program Synthesis using Conflict-Driven ..." Program Synthesis using Conflict-Driven Learning Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p477, author = {Yu Feng and Ruben Martins and Osbert Bastani and Isil Dillig}, title = {Program Synthesis using Conflict-Driven Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3192366.3192382}, year = {2018}, } Publisher's Version Article: pldi18main-p85-p doi:10.1145/3192366.3192382
	Ferles, Kostas	PLDI '18: "Symbolic Reasoning for Automatic ..." Symbolic Reasoning for Automatic Signal Placement Kostas Ferles, Jacob Van Geffen, Isil Dillig, and Yannis Smaragdakis (University of Texas at Austin, USA; University of Athens, Greece) @InProceedings{PLDI18p137, author = {Kostas Ferles and Jacob Van Geffen and Isil Dillig and Yannis Smaragdakis}, title = {Symbolic Reasoning for Automatic Signal Placement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3192366.3192395}, year = {2018}, } Publisher's Version Article: pldi18main-p146-p doi:10.1145/3192366.3192395
	Fiszel, Ruben	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Gehr, Timon	PLDI '18: "Incremental Inference for ..." Incremental Inference for Probabilistic Programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland) @InProceedings{PLDI18p647, author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin Vechev and Vikash K. Mansinghka}, title = {Incremental Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3192366.3192399}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p160-p doi:10.1145/3192366.3192399 PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Geller, Adam T.	PLDI '18: "Verifying That Web Pages Have ..." Verifying That Web Pages Have Accessible Layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA) @InProceedings{PLDI18p1, author = {Pavel Panchekha and Adam T. Geller and Michael D. Ernst and Zachary Tatlock and Shoaib Kamil}, title = {Verifying That Web Pages Have Accessible Layout}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3192366.3192407}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p202-p doi:10.1145/3192366.3192407
	Genç, Kaan	PLDI '18: "High-Coverage, Unbounded Sound ..." High-Coverage, Unbounded Sound Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI18p426, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {High-Coverage, Unbounded Sound Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {10.1145/3192366.3192385}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p95-p doi:10.1145/3192366.3192385
	Gill, Gurbinder	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Gogte, Vaibhav	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Grover, Vinod	PLDI '18: "CURD: A Dynamic CUDA Race ..." CURD: A Dynamic CUDA Race Detector Yuanfeng Peng, Vinod Grover, and Joseph Devietti (University of Pennsylvania, USA; NVIDIA, USA) @InProceedings{PLDI18p443, author = {Yuanfeng Peng and Vinod Grover and Joseph Devietti}, title = {CURD: A Dynamic CUDA Race Detector}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3192366.3192368}, year = {2018}, } Publisher's Version Article: pldi18main-p7-p doi:10.1145/3192366.3192368
	Gu, Ronghui	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Guatto, Adrien	PLDI '18: "Heartbeat Scheduling: Provable ..." Heartbeat Scheduling: Provable Efficiency for Nested Parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski (Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA) @InProceedings{PLDI18p868, author = {Umut A. Acar and Arthur Charguéraud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, title = {Heartbeat Scheduling: Provable Efficiency for Nested Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {868-867}, doi = {10.1145/3192366.3192391}, year = {2018}, } Publisher's Version Article: pldi18main-p122-p doi:10.1145/3192366.3192391
	Guha, Arjun	PLDI '18: "Putting in All the Stops: ..." Putting in All the Stops: Execution Control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha (University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA) @InProceedings{PLDI18p35, author = {Samuel Baxter and Rachit Nigam and Joe Gibbs Politz and Shriram Krishnamurthi and Arjun Guha}, title = {Putting in All the Stops: Execution Control for JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3192366.3192370}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p17-p doi:10.1145/3192366.3192370
	Gulwani, Sumit	PLDI '18: "Automated Clustering and Program ..." Automated Clustering and Program Repair for Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft, USA; Vienna University of Technology, Austria) @InProceedings{PLDI18p528, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Automated Clustering and Program Repair for Introductory Programming Assignments}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {528-527}, doi = {10.1145/3192366.3192387}, year = {2018}, } Publisher's Version Article: pldi18main-p102-p doi:10.1145/3192366.3192387
	Hack, Sebastian	PLDI '18: "Partial Control-Flow Linearization ..." Partial Control-Flow Linearization Simon Moll and Sebastian Hack (Saarland University, Germany) @InProceedings{PLDI18p613, author = {Simon Moll and Sebastian Hack}, title = {Partial Control-Flow Linearization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {613-612}, doi = {10.1145/3192366.3192413}, year = {2018}, } Publisher's Version Article: pldi18main-p234-p doi:10.1145/3192366.3192413
	Hadjis, Stefan	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Hage, Jurriaan	PLDI '18: "Guarded Impredicative Polymorphism ..." Guarded Impredicative Polymorphism Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, and Simon Peyton Jones (Utrecht University, Netherlands; Microsoft Research, UK) @InProceedings{PLDI18p885, author = {Alejandro Serrano and Jurriaan Hage and Dimitrios Vytiniotis and Simon Peyton Jones}, title = {Guarded Impredicative Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3192366.3192389}, year = {2018}, } Publisher's Version Article: pldi18main-p105-p doi:10.1145/3192366.3192389
	Handa, Shivam	PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Heizmann, Matthias	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Heo, Kihong	PLDI '18: "Accelerating Search-Based ..." Accelerating Search-Based Program Synthesis using Learned Probabilistic Models Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p494, author = {Woosuk Lee and Kihong Heo and Rajeev Alur and Mayur Naik}, title = {Accelerating Search-Based Program Synthesis using Learned Probabilistic Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {10.1145/3192366.3192410}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p211-p doi:10.1145/3192366.3192410 PLDI '18: "User-Guided Program Reasoning ..." User-Guided Program Reasoning using Bayesian Inference Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p817, author = {Mukund Raghothaman and Sulekha Kulkarni and Kihong Heo and Mayur Naik}, title = {User-Guided Program Reasoning using Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {817-816}, doi = {10.1145/3192366.3192417}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p249-p doi:10.1145/3192366.3192417
	Hoang, Loc	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Hoffmann, Jan	PLDI '18: "Bounded Expectations: Resource ..." Bounded Expectations: Resource Analysis for Probabilistic Programs Van Chan Ngo, Quentin Carbonneaux, and Jan Hoffmann (Carnegie Mellon University, USA; Yale University, USA) @InProceedings{PLDI18p562, author = {Van Chan Ngo and Quentin Carbonneaux and Jan Hoffmann}, title = {Bounded Expectations: Resource Analysis for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {10.1145/3192366.3192394}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p140-p doi:10.1145/3192366.3192394 PLDI '18: "PMAF: An Algebraic Framework ..." PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs Di Wang, Jan Hoffmann, and Thomas Reps (Carnegie Mellon University, USA; University of Wisconsin, USA; GrammaTech, USA) @InProceedings{PLDI18p579, author = {Di Wang and Jan Hoffmann and Thomas Reps}, title = {PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {10.1145/3192366.3192408}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p203-p doi:10.1145/3192366.3192408
	Hong, Changwan	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Huang, Jeff	PLDI '18: "D4: Fast Concurrency Debugging ..." D4: Fast Concurrency Debugging with Parallel Differential Analysis Bozhen Liu and Jeff Huang (Texas A&M University, USA) @InProceedings{PLDI18p409, author = {Bozhen Liu and Jeff Huang}, title = {D4: Fast Concurrency Debugging with Parallel Differential Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {409-408}, doi = {10.1145/3192366.3192390}, year = {2018}, } Publisher's Version Article: pldi18main-p120-p doi:10.1145/3192366.3192390
	Hur, Chung-Kil	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Jagannathan, Suresh	PLDI '18: "A Data-Driven CHC Solver ..." A Data-Driven CHC Solver He Zhu, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI18p800, author = {He Zhu and Stephen Magill and Suresh Jagannathan}, title = {A Data-Driven CHC Solver}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {10.1145/3192366.3192416}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p245-p doi:10.1145/3192366.3192416
	Jimborean, Alexandra	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Jung, Myoungsoo	PLDI '18: "Enhancing Computation-to-Core ..." Enhancing Computation-to-Core Assignment with Physical Location Information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung (Pennsylvania State University, USA; Yonsei University, South Korea) @InProceedings{PLDI18p358, author = {Orhan Kislal and Jagadish Kotra and Xulong Tang and Mahmut Taylan Kandemir and Myoungsoo Jung}, title = {Enhancing Computation-to-Core Assignment with Physical Location Information}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3192366.3192386}, year = {2018}, } Publisher's Version Article: pldi18main-p96-p doi:10.1145/3192366.3192386
	Kamil, Shoaib	PLDI '18: "Verifying That Web Pages Have ..." Verifying That Web Pages Have Accessible Layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA) @InProceedings{PLDI18p1, author = {Pavel Panchekha and Adam T. Geller and Michael D. Ernst and Zachary Tatlock and Shoaib Kamil}, title = {Verifying That Web Pages Have Accessible Layout}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3192366.3192407}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p202-p doi:10.1145/3192366.3192407
	Kandemir, Mahmut Taylan	PLDI '18: "Enhancing Computation-to-Core ..." Enhancing Computation-to-Core Assignment with Physical Location Information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung (Pennsylvania State University, USA; Yonsei University, South Korea) @InProceedings{PLDI18p358, author = {Orhan Kislal and Jagadish Kotra and Xulong Tang and Mahmut Taylan Kandemir and Myoungsoo Jung}, title = {Enhancing Computation-to-Core Assignment with Physical Location Information}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3192366.3192386}, year = {2018}, } Publisher's Version Article: pldi18main-p96-p doi:10.1145/3192366.3192386
	Kang, Jeehoon	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Kaxiras, Stefanos	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Kim, Jieung	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Kim, Jinsung	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Kim, Yonghyun	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Kim, Yoonseung	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Kislal, Orhan	PLDI '18: "Enhancing Computation-to-Core ..." Enhancing Computation-to-Core Assignment with Physical Location Information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung (Pennsylvania State University, USA; Yonsei University, South Korea) @InProceedings{PLDI18p358, author = {Orhan Kislal and Jagadish Kotra and Xulong Tang and Mahmut Taylan Kandemir and Myoungsoo Jung}, title = {Enhancing Computation-to-Core Assignment with Physical Location Information}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3192366.3192386}, year = {2018}, } Publisher's Version Article: pldi18main-p96-p doi:10.1145/3192366.3192386
	Koenig, Jérémie	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Koeplinger, David	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Kotra, Jagadish	PLDI '18: "Enhancing Computation-to-Core ..." Enhancing Computation-to-Core Assignment with Physical Location Information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung (Pennsylvania State University, USA; Yonsei University, South Korea) @InProceedings{PLDI18p358, author = {Orhan Kislal and Jagadish Kotra and Xulong Tang and Mahmut Taylan Kandemir and Myoungsoo Jung}, title = {Enhancing Computation-to-Core Assignment with Physical Location Information}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3192366.3192386}, year = {2018}, } Publisher's Version Article: pldi18main-p96-p doi:10.1145/3192366.3192386
	Koukos, Konstantinos	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Kozyrakis, Christos	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Krishnamoorthy, Sriram	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Krishnamurthi, Shriram	PLDI '18: "Putting in All the Stops: ..." Putting in All the Stops: Execution Control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha (University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA) @InProceedings{PLDI18p35, author = {Samuel Baxter and Rachit Nigam and Joe Gibbs Politz and Shriram Krishnamurthi and Arjun Guha}, title = {Putting in All the Stops: Execution Control for JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3192366.3192370}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p17-p doi:10.1145/3192366.3192370 PLDI '18: "Inferring Type Rules for Syntactic ..." Inferring Type Rules for Syntactic Sugar Justin Pombrio and Shriram Krishnamurthi (Brown University, USA) @InProceedings{PLDI18p919, author = {Justin Pombrio and Shriram Krishnamurthi}, title = {Inferring Type Rules for Syntactic Sugar}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3192366.3192398}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p159-p doi:10.1145/3192366.3192398
	Kulkarni, Sulekha	PLDI '18: "User-Guided Program Reasoning ..." User-Guided Program Reasoning using Bayesian Inference Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p817, author = {Mukund Raghothaman and Sulekha Kulkarni and Kihong Heo and Mayur Naik}, title = {User-Guided Program Reasoning using Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {817-816}, doi = {10.1145/3192366.3192417}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p249-p doi:10.1145/3192366.3192417
	Lee, Juneyoung	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Lee, Woosuk	PLDI '18: "Accelerating Search-Based ..." Accelerating Search-Based Program Synthesis using Learned Probabilistic Models Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p494, author = {Woosuk Lee and Kihong Heo and Rajeev Alur and Mayur Naik}, title = {Accelerating Search-Based Program Synthesis using Learned Probabilistic Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {10.1145/3192366.3192410}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p211-p doi:10.1145/3192366.3192410
	Lengál, Ondřej	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Lerner, Sorin	PLDI '18: "Finding Root Causes of Floating ..." Finding Root Causes of Floating Point Error Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, and Zachary Tatlock (University of California at San Diego, USA; University of Washington, USA) @InProceedings{PLDI18p290, author = {Alex Sanchez-Stern and Pavel Panchekha and Sorin Lerner and Zachary Tatlock}, title = {Finding Root Causes of Floating Point Error}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {10.1145/3192366.3192411}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p213-p doi:10.1145/3192366.3192411
	Levy, Omer	PLDI '18: "A General Path-Based Representation ..." A General Path-Based Representation for Predicting Program Properties Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav (Technion, Israel; University of Washington, USA) @InProceedings{PLDI18p460, author = {Uri Alon and Meital Zilberstein and Omer Levy and Eran Yahav}, title = {A General Path-Based Representation for Predicting Program Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3192366.3192412}, year = {2018}, } Publisher's Version Article: pldi18main-p224-p doi:10.1145/3192366.3192412
	Li, Yong	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Liang, Percy	PLDI '18: "Active Learning of Points-To ..." Active Learning of Points-To Specifications Osbert Bastani, Rahul Sharma, Alex Aiken, and Percy Liang (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI18p766, author = {Osbert Bastani and Rahul Sharma and Alex Aiken and Percy Liang}, title = {Active Learning of Points-To Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {10.1145/3192366.3192383}, year = {2018}, } Publisher's Version Article: pldi18main-p91-p doi:10.1145/3192366.3192383
	Lin, Chit-Kwan	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	Lin, Tsung-Han	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	Liu, Bozhen	PLDI '18: "D4: Fast Concurrency Debugging ..." D4: Fast Concurrency Debugging with Parallel Differential Analysis Bozhen Liu and Jeff Huang (Texas A&M University, USA) @InProceedings{PLDI18p409, author = {Bozhen Liu and Jeff Huang}, title = {D4: Fast Concurrency Debugging with Parallel Differential Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {409-408}, doi = {10.1145/3192366.3192390}, year = {2018}, } Publisher's Version Article: pldi18main-p120-p doi:10.1145/3192366.3192390
	Liu, Fangzhou	PLDI '18: "Locality Analysis through ..." Locality Analysis through Static Parallel Sampling Dong Chen, Fangzhou Liu, Chen Ding, and Sreepathi Pai (University of Rochester, USA) @InProceedings{PLDI18p630, author = {Dong Chen and Fangzhou Liu and Chen Ding and Sreepathi Pai}, title = {Locality Analysis through Static Parallel Sampling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {10.1145/3192366.3192402}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p176-p doi:10.1145/3192366.3192402
	Liu, Hongyu	PLDI '18: "iReplayer: In-situ and Identical ..." iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, and Tongping Liu (University of Texas at San Antonio, USA; Huawei Lab, USA) @InProceedings{PLDI18p392, author = {Hongyu Liu and Sam Silvestro and Wei Wang and Chen Tian and Tongping Liu}, title = {iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {10.1145/3192366.3192380}, year = {2018}, } Publisher's Version Article: pldi18main-p59-p doi:10.1145/3192366.3192380
	Liu, Peizun	PLDI '18: "CUBA: Interprocedural Context-UnBounded ..." CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs Peizun Liu and Thomas Wahl (Northeastern University, USA) @InProceedings{PLDI18p120, author = {Peizun Liu and Thomas Wahl}, title = {CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {120-119}, doi = {10.1145/3192366.3192419}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p254-p doi:10.1145/3192366.3192419
	Liu, Tongping	PLDI '18: "iReplayer: In-situ and Identical ..." iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, and Tongping Liu (University of Texas at San Antonio, USA; Huawei Lab, USA) @InProceedings{PLDI18p392, author = {Hongyu Liu and Sam Silvestro and Wei Wang and Chen Tian and Tongping Liu}, title = {iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {10.1145/3192366.3192380}, year = {2018}, } Publisher's Version Article: pldi18main-p59-p doi:10.1145/3192366.3192380
	Losa, Giuliano	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Madhavapeddy, Anil	PLDI '18: "Bounding Data Races in Space ..." Bounding Data Races in Space and Time Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy (University of Cambridge, UK) @InProceedings{PLDI18p273, author = {Stephen Dolan and KC Sivaramakrishnan and Anil Madhavapeddy}, title = {Bounding Data Races in Space and Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3192366.3192421}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p262-p doi:10.1145/3192366.3192421
	Magill, Stephen	PLDI '18: "A Data-Driven CHC Solver ..." A Data-Driven CHC Solver He Zhu, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI18p800, author = {He Zhu and Stephen Magill and Suresh Jagannathan}, title = {A Data-Driven CHC Solver}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {10.1145/3192366.3192416}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p245-p doi:10.1145/3192366.3192416
	Mansinghka, Vikash K.	PLDI '18: "Incremental Inference for ..." Incremental Inference for Probabilistic Programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland) @InProceedings{PLDI18p647, author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin Vechev and Vikash K. Mansinghka}, title = {Incremental Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3192366.3192399}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p160-p doi:10.1145/3192366.3192399 PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Martins, Ruben	PLDI '18: "Program Synthesis using Conflict-Driven ..." Program Synthesis using Conflict-Driven Learning Yu Feng, Ruben Martins, Osbert Bastani, and Isil Dillig (University of Texas at Austin, USA; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p477, author = {Yu Feng and Ruben Martins and Osbert Bastani and Isil Dillig}, title = {Program Synthesis using Conflict-Driven Learning}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {477-476}, doi = {10.1145/3192366.3192382}, year = {2018}, } Publisher's Version Article: pldi18main-p85-p doi:10.1145/3192366.3192382
	McKinley, Kathryn S.	PLDI '18: "Write-Rationing Garbage Collection ..." Write-Rationing Garbage Collection for Hybrid Memories Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, and Lieven Eeckhout (Ghent University, Belgium; Vrije Universiteit Brussel, Belgium; Google, USA) @InProceedings{PLDI18p69, author = {Shoaib Akram and Jennifer B. Sartor and Kathryn S. McKinley and Lieven Eeckhout}, title = {Write-Rationing Garbage Collection for Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3192366.3192392}, year = {2018}, } Publisher's Version Article: pldi18main-p124-p doi:10.1145/3192366.3192392
	McMillan, Kenneth L.	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Milano, Matthew	PLDI '18: "MixT: A Language for Mixing ..." MixT: A Language for Mixing Consistency in Geodistributed Transactions Matthew Milano and Andrew C. Myers (Cornell University, USA) @InProceedings{PLDI18p256, author = {Matthew Milano and Andrew C. Myers}, title = {MixT: A Language for Mixing Consistency in Geodistributed Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3192366.3192375}, year = {2018}, } Publisher's Version Article: pldi18main-p26-p doi:10.1145/3192366.3192375
	Misailovic, Sasa	PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Mitsch, Stefan	PLDI '18: "VeriPhy: Verified Controller ..." VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer (Carnegie Mellon University, USA; Chalmers University of Technology, Sweden) @InProceedings{PLDI18p698, author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer}, title = {VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {10.1145/3192366.3192406}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p199-p doi:10.1145/3192366.3192406
	Moll, Simon	PLDI '18: "Partial Control-Flow Linearization ..." Partial Control-Flow Linearization Simon Moll and Sebastian Hack (Saarland University, Germany) @InProceedings{PLDI18p613, author = {Simon Moll and Sebastian Hack}, title = {Partial Control-Flow Linearization}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {613-612}, doi = {10.1145/3192366.3192413}, year = {2018}, } Publisher's Version Article: pldi18main-p234-p doi:10.1145/3192366.3192413
	Müller, Peter	PLDI '18: "Static Serializability Analysis ..." Static Serializability Analysis for Causal Consistency Lucas Brutschy, Dimitar Dimitrov, Peter Müller, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI18p103, author = {Lucas Brutschy and Dimitar Dimitrov and Peter Müller and Martin Vechev}, title = {Static Serializability Analysis for Causal Consistency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3192366.3192415}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p243-p doi:10.1145/3192366.3192415
	Myers, Andrew C.	PLDI '18: "MixT: A Language for Mixing ..." MixT: A Language for Mixing Consistency in Geodistributed Transactions Matthew Milano and Andrew C. Myers (Cornell University, USA) @InProceedings{PLDI18p256, author = {Matthew Milano and Andrew C. Myers}, title = {MixT: A Language for Mixing Consistency in Geodistributed Transactions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {256-255}, doi = {10.1145/3192366.3192375}, year = {2018}, } Publisher's Version Article: pldi18main-p26-p doi:10.1145/3192366.3192375
	Myreen, Magnus O.	PLDI '18: "VeriPhy: Verified Controller ..." VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer (Carnegie Mellon University, USA; Chalmers University of Technology, Sweden) @InProceedings{PLDI18p698, author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer}, title = {VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {10.1145/3192366.3192406}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p199-p doi:10.1145/3192366.3192406
	Naik, Mayur	PLDI '18: "Accelerating Search-Based ..." Accelerating Search-Based Program Synthesis using Learned Probabilistic Models Woosuk Lee, Kihong Heo, Rajeev Alur, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p494, author = {Woosuk Lee and Kihong Heo and Rajeev Alur and Mayur Naik}, title = {Accelerating Search-Based Program Synthesis using Learned Probabilistic Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {494-493}, doi = {10.1145/3192366.3192410}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p211-p doi:10.1145/3192366.3192410 PLDI '18: "User-Guided Program Reasoning ..." User-Guided Program Reasoning using Bayesian Inference Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p817, author = {Mukund Raghothaman and Sulekha Kulkarni and Kihong Heo and Mayur Naik}, title = {User-Guided Program Reasoning using Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {817-816}, doi = {10.1145/3192366.3192417}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p249-p doi:10.1145/3192366.3192417
	Narayanasamy, Satish	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Nardi, Luigi	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Ngo, Van Chan	PLDI '18: "Bounded Expectations: Resource ..." Bounded Expectations: Resource Analysis for Probabilistic Programs Van Chan Ngo, Quentin Carbonneaux, and Jan Hoffmann (Carnegie Mellon University, USA; Yale University, USA) @InProceedings{PLDI18p562, author = {Van Chan Ngo and Quentin Carbonneaux and Jan Hoffmann}, title = {Bounded Expectations: Resource Analysis for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {562-561}, doi = {10.1145/3192366.3192394}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p140-p doi:10.1145/3192366.3192394
	Nguyen, Khanh	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378
	Nigam, Rachit	PLDI '18: "Putting in All the Stops: ..." Putting in All the Stops: Execution Control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha (University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA) @InProceedings{PLDI18p35, author = {Samuel Baxter and Rachit Nigam and Joe Gibbs Politz and Shriram Krishnamurthi and Arjun Guha}, title = {Putting in All the Stops: Execution Control for JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3192366.3192370}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p17-p doi:10.1145/3192366.3192370
	Olukotun, Kunle	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Ottoni, Guilherme	PLDI '18: "HHVM JIT: A Profile-Guided, ..." HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack Guilherme Ottoni (Facebook, USA) @InProceedings{PLDI18p171, author = {Guilherme Ottoni}, title = {HHVM JIT: A Profile-Guided, Region-Based Compiler for PHP and Hack}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {171-170}, doi = {10.1145/3192366.3192374}, year = {2018}, } Publisher's Version Article: pldi18main-p24-p doi:10.1145/3192366.3192374
	Padon, Oded	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Pai, Sreepathi	PLDI '18: "Locality Analysis through ..." Locality Analysis through Static Parallel Sampling Dong Chen, Fangzhou Liu, Chen Ding, and Sreepathi Pai (University of Rochester, USA) @InProceedings{PLDI18p630, author = {Dong Chen and Fangzhou Liu and Chen Ding and Sreepathi Pai}, title = {Locality Analysis through Static Parallel Sampling}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {630-629}, doi = {10.1145/3192366.3192402}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p176-p doi:10.1145/3192366.3192402
	Paletov, Rumen	PLDI '18: "Inferring Crypto API Rules ..." Inferring Crypto API Rules from Code Changes Rumen Paletov, Petar Tsankov, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland; DeepCode, Switzerland) @InProceedings{PLDI18p511, author = {Rumen Paletov and Petar Tsankov and Veselin Raychev and Martin Vechev}, title = {Inferring Crypto API Rules from Code Changes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {10.1145/3192366.3192403}, year = {2018}, } Publisher's Version Article: pldi18main-p177-p doi:10.1145/3192366.3192403
	Panchekha, Pavel	PLDI '18: "Verifying That Web Pages Have ..." Verifying That Web Pages Have Accessible Layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA) @InProceedings{PLDI18p1, author = {Pavel Panchekha and Adam T. Geller and Michael D. Ernst and Zachary Tatlock and Shoaib Kamil}, title = {Verifying That Web Pages Have Accessible Layout}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3192366.3192407}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p202-p doi:10.1145/3192366.3192407 PLDI '18: "Finding Root Causes of Floating ..." Finding Root Causes of Floating Point Error Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, and Zachary Tatlock (University of California at San Diego, USA; University of Washington, USA) @InProceedings{PLDI18p290, author = {Alex Sanchez-Stern and Pavel Panchekha and Sorin Lerner and Zachary Tatlock}, title = {Finding Root Causes of Floating Point Error}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {10.1145/3192366.3192411}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p213-p doi:10.1145/3192366.3192411
	Park, Sanghoon	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Pedram, Ardavan	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Peng, Yuanfeng	PLDI '18: "CURD: A Dynamic CUDA Race ..." CURD: A Dynamic CUDA Race Detector Yuanfeng Peng, Vinod Grover, and Joseph Devietti (University of Pennsylvania, USA; NVIDIA, USA) @InProceedings{PLDI18p443, author = {Yuanfeng Peng and Vinod Grover and Joseph Devietti}, title = {CURD: A Dynamic CUDA Race Detector}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {443-442}, doi = {10.1145/3192366.3192368}, year = {2018}, } Publisher's Version Article: pldi18main-p7-p doi:10.1145/3192366.3192368
	Peyton Jones, Simon	PLDI '18: "Guarded Impredicative Polymorphism ..." Guarded Impredicative Polymorphism Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, and Simon Peyton Jones (Utrecht University, Netherlands; Microsoft Research, UK) @InProceedings{PLDI18p885, author = {Alejandro Serrano and Jurriaan Hage and Dimitrios Vytiniotis and Simon Peyton Jones}, title = {Guarded Impredicative Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3192366.3192389}, year = {2018}, } Publisher's Version Article: pldi18main-p105-p doi:10.1145/3192366.3192389
	Pingali, Keshav	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Platzer, André	PLDI '18: "VeriPhy: Verified Controller ..." VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer (Carnegie Mellon University, USA; Chalmers University of Technology, Sweden) @InProceedings{PLDI18p698, author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer}, title = {VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {10.1145/3192366.3192406}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p199-p doi:10.1145/3192366.3192406
	Politz, Joe Gibbs	PLDI '18: "Putting in All the Stops: ..." Putting in All the Stops: Execution Control for JavaScript Samuel Baxter, Rachit Nigam, Joe Gibbs Politz, Shriram Krishnamurthi, and Arjun Guha (University of Massachusetts at Amherst, USA; University of California at San Diego, USA; Brown University, USA) @InProceedings{PLDI18p35, author = {Samuel Baxter and Rachit Nigam and Joe Gibbs Politz and Shriram Krishnamurthi and Arjun Guha}, title = {Putting in All the Stops: Execution Control for JavaScript}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {35-34}, doi = {10.1145/3192366.3192370}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p17-p doi:10.1145/3192366.3192370
	Pombrio, Justin	PLDI '18: "Inferring Type Rules for Syntactic ..." Inferring Type Rules for Syntactic Sugar Justin Pombrio and Shriram Krishnamurthi (Brown University, USA) @InProceedings{PLDI18p919, author = {Justin Pombrio and Shriram Krishnamurthi}, title = {Inferring Type Rules for Syntactic Sugar}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {919-918}, doi = {10.1145/3192366.3192398}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p159-p doi:10.1145/3192366.3192398
	Pouchet, Louis-Noël	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Prabhakar, Raghu	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Radiček, Ivan	PLDI '18: "Automated Clustering and Program ..." Automated Clustering and Program Repair for Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft, USA; Vienna University of Technology, Austria) @InProceedings{PLDI18p528, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Automated Clustering and Program Repair for Introductory Programming Assignments}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {528-527}, doi = {10.1145/3192366.3192387}, year = {2018}, } Publisher's Version Article: pldi18main-p102-p doi:10.1145/3192366.3192387
	Radul, Alexey	PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Raghothaman, Mukund	PLDI '18: "User-Guided Program Reasoning ..." User-Guided Program Reasoning using Bayesian Inference Mukund Raghothaman, Sulekha Kulkarni, Kihong Heo, and Mayur Naik (University of Pennsylvania, USA) @InProceedings{PLDI18p817, author = {Mukund Raghothaman and Sulekha Kulkarni and Kihong Heo and Mayur Naik}, title = {User-Guided Program Reasoning using Bayesian Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {817-816}, doi = {10.1145/3192366.3192417}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p249-p doi:10.1145/3192366.3192417
	Rainey, Mike	PLDI '18: "Heartbeat Scheduling: Provable ..." Heartbeat Scheduling: Provable Efficiency for Nested Parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski (Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA) @InProceedings{PLDI18p868, author = {Umut A. Acar and Arthur Charguéraud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, title = {Heartbeat Scheduling: Provable Efficiency for Nested Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {868-867}, doi = {10.1145/3192366.3192391}, year = {2018}, } Publisher's Version Article: pldi18main-p122-p doi:10.1145/3192366.3192391
	Ramananandro, Tahina	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Rastello, Fabrice	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Rawat, Prashant Singh	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Raychev, Veselin	PLDI '18: "Inferring Crypto API Rules ..." Inferring Crypto API Rules from Code Changes Rumen Paletov, Petar Tsankov, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland; DeepCode, Switzerland) @InProceedings{PLDI18p511, author = {Rumen Paletov and Petar Tsankov and Veselin Raychev and Martin Vechev}, title = {Inferring Crypto API Rules from Code Changes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {10.1145/3192366.3192403}, year = {2018}, } Publisher's Version Article: pldi18main-p177-p doi:10.1145/3192366.3192403
	Reps, Thomas	PLDI '18: "PMAF: An Algebraic Framework ..." PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs Di Wang, Jan Hoffmann, and Thomas Reps (Carnegie Mellon University, USA; University of Wisconsin, USA; GrammaTech, USA) @InProceedings{PLDI18p579, author = {Di Wang and Jan Hoffmann and Thomas Reps}, title = {PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {10.1145/3192366.3192408}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p203-p doi:10.1145/3192366.3192408
	Rinard, Martin	PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Roemer, Jake	PLDI '18: "High-Coverage, Unbounded Sound ..." High-Coverage, Unbounded Sound Predictive Race Detection Jake Roemer, Kaan Genç, and Michael D. Bond (Ohio State University, USA) @InProceedings{PLDI18p426, author = {Jake Roemer and Kaan Genç and Michael D. Bond}, title = {High-Coverage, Unbounded Sound Predictive Race Detection}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {426-425}, doi = {10.1145/3192366.3192385}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p95-p doi:10.1145/3192366.3192385
	Sadayappan, P.	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Sagiv, Mooly	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Sanchez-Stern, Alex	PLDI '18: "Finding Root Causes of Floating ..." Finding Root Causes of Floating Point Error Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, and Zachary Tatlock (University of California at San Diego, USA; University of Washington, USA) @InProceedings{PLDI18p290, author = {Alex Sanchez-Stern and Pavel Panchekha and Sorin Lerner and Zachary Tatlock}, title = {Finding Root Causes of Floating Point Error}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {10.1145/3192366.3192411}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p213-p doi:10.1145/3192366.3192411
	Sartor, Jennifer B.	PLDI '18: "Write-Rationing Garbage Collection ..." Write-Rationing Garbage Collection for Hybrid Memories Shoaib Akram, Jennifer B. Sartor, Kathryn S. McKinley, and Lieven Eeckhout (Ghent University, Belgium; Vrije Universiteit Brussel, Belgium; Google, USA) @InProceedings{PLDI18p69, author = {Shoaib Akram and Jennifer B. Sartor and Kathryn S. McKinley and Lieven Eeckhout}, title = {Write-Rationing Garbage Collection for Hybrid Memories}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {69-68}, doi = {10.1145/3192366.3192392}, year = {2018}, } Publisher's Version Article: pldi18main-p124-p doi:10.1145/3192366.3192392
	Schaechtle, Ulrich	PLDI '18: "Probabilistic Programming ..." Probabilistic Programming with Programmable Inference Vikash K. Mansinghka, Ulrich Schaechtle, Shivam Handa, Alexey Radul, Yutian Chen, and Martin Rinard (Massachusetts Institute of Technology, USA; Google Deepmind, UK) @InProceedings{PLDI18p681, author = {Vikash K. Mansinghka and Ulrich Schaechtle and Shivam Handa and Alexey Radul and Yutian Chen and Martin Rinard}, title = {Probabilistic Programming with Programmable Inference}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {681-680}, doi = {10.1145/3192366.3192409}, year = {2018}, } Publisher's Version Article: pldi18main-p206-p doi:10.1145/3192366.3192409
	Serrano, Alejandro	PLDI '18: "Guarded Impredicative Polymorphism ..." Guarded Impredicative Polymorphism Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, and Simon Peyton Jones (Utrecht University, Netherlands; Microsoft Research, UK) @InProceedings{PLDI18p885, author = {Alejandro Serrano and Jurriaan Hage and Dimitrios Vytiniotis and Simon Peyton Jones}, title = {Guarded Impredicative Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3192366.3192389}, year = {2018}, } Publisher's Version Article: pldi18main-p105-p doi:10.1145/3192366.3192389
	Shao, Zhong	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Sharma, Rahul	PLDI '18: "Active Learning of Points-To ..." Active Learning of Points-To Specifications Osbert Bastani, Rahul Sharma, Alex Aiken, and Percy Liang (Stanford University, USA; Microsoft Research, India) @InProceedings{PLDI18p766, author = {Osbert Bastani and Rahul Sharma and Alex Aiken and Percy Liang}, title = {Active Learning of Points-To Specifications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {766-765}, doi = {10.1145/3192366.3192383}, year = {2018}, } Publisher's Version Article: pldi18main-p91-p doi:10.1145/3192366.3192383
	Shi, Qingkai	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Shin, Mark Dongyeon	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Shoham, Sharon	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Sieczkowski, Filip	PLDI '18: "Heartbeat Scheduling: Provable ..." Heartbeat Scheduling: Provable Efficiency for Nested Parallelism Umut A. Acar, Arthur Charguéraud, Adrien Guatto, Mike Rainey, and Filip Sieczkowski (Carnegie Mellon University, USA; University of Strasbourg, France; Inria, France; CREST, USA) @InProceedings{PLDI18p868, author = {Umut A. Acar and Arthur Charguéraud and Adrien Guatto and Mike Rainey and Filip Sieczkowski}, title = {Heartbeat Scheduling: Provable Efficiency for Nested Parallelism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {868-867}, doi = {10.1145/3192366.3192391}, year = {2018}, } Publisher's Version Article: pldi18main-p122-p doi:10.1145/3192366.3192391
	Silvestro, Sam	PLDI '18: "iReplayer: In-situ and Identical ..." iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, and Tongping Liu (University of Texas at San Antonio, USA; Huawei Lab, USA) @InProceedings{PLDI18p392, author = {Hongyu Liu and Sam Silvestro and Wei Wang and Chen Tian and Tongping Liu}, title = {iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {10.1145/3192366.3192380}, year = {2018}, } Publisher's Version Article: pldi18main-p59-p doi:10.1145/3192366.3192380
	Singh, Rishabh	PLDI '18: "Search, Align, and Repair: ..." Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises Ke Wang, Rishabh Singh, and Zhendong Su (University of California at Davis, USA; Microsoft Research, USA) @InProceedings{PLDI18p545, author = {Ke Wang and Rishabh Singh and Zhendong Su}, title = {Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {10.1145/3192366.3192384}, year = {2018}, } Publisher's Version Article: pldi18main-p93-p doi:10.1145/3192366.3192384
	Sivaramakrishnan, KC	PLDI '18: "Bounding Data Races in Space ..." Bounding Data Races in Space and Time Stephen Dolan, KC Sivaramakrishnan, and Anil Madhavapeddy (University of Cambridge, UK) @InProceedings{PLDI18p273, author = {Stephen Dolan and KC Sivaramakrishnan and Anil Madhavapeddy}, title = {Bounding Data Races in Space and Time}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {273-272}, doi = {10.1145/3192366.3192421}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p262-p doi:10.1145/3192366.3192421
	Själander, Magnus	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Sjöberg, Vilhelm	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Smaragdakis, Yannis	PLDI '18: "Symbolic Reasoning for Automatic ..." Symbolic Reasoning for Automatic Signal Placement Kostas Ferles, Jacob Van Geffen, Isil Dillig, and Yannis Smaragdakis (University of Texas at Austin, USA; University of Athens, Greece) @InProceedings{PLDI18p137, author = {Kostas Ferles and Jacob Van Geffen and Isil Dillig and Yannis Smaragdakis}, title = {Symbolic Reasoning for Automatic Signal Placement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3192366.3192395}, year = {2018}, } Publisher's Version Article: pldi18main-p146-p doi:10.1145/3192366.3192395
	Snir, Marc	PLDI '18: "Gluon: A Communication-Optimizing ..." Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics Roshan Dathathri, Gurbinder Gill, Loc Hoang, Hoang-Vu Dang, Alex Brooks, Nikoli Dryden, Marc Snir, and Keshav Pingali (University of Texas at Austin, USA; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p851, author = {Roshan Dathathri and Gurbinder Gill and Loc Hoang and Hoang-Vu Dang and Alex Brooks and Nikoli Dryden and Marc Snir and Keshav Pingali}, title = {Gluon: A Communication-Optimizing Substrate for Distributed Heterogeneous Graph Analytics}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {851-850}, doi = {10.1145/3192366.3192404}, year = {2018}, } Publisher's Version Article: pldi18main-p188-p doi:10.1145/3192366.3192404
	Song, Youngju	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Sorensen, Tyler	PLDI '18: "The Semantics of Transactions ..." The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ Nathan Chong, Tyler Sorensen, and John Wickerson (ARM, UK; Imperial College London, UK) @InProceedings{PLDI18p239, author = {Nathan Chong and Tyler Sorensen and John Wickerson}, title = {The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3192366.3192373}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p23-p doi:10.1145/3192366.3192373
	Steindorfer, Michael J.	PLDI '18: "To-Many or To-One? All-in-One! ..." To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries Michael J. Steindorfer and Jurgen J. Vinju (Delft University of Technology, Netherlands; CWI, Netherlands; Eindhoven University of Technology, Netherlands) @InProceedings{PLDI18p324, author = {Michael J. Steindorfer and Jurgen J. Vinju}, title = {To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {10.1145/3192366.3192420}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p258-p doi:10.1145/3192366.3192420
	Su, Zhendong	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378 PLDI '18: "Search, Align, and Repair: ..." Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises Ke Wang, Rishabh Singh, and Zhendong Su (University of California at Davis, USA; Microsoft Research, USA) @InProceedings{PLDI18p545, author = {Ke Wang and Rishabh Singh and Zhendong Su}, title = {Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {10.1145/3192366.3192384}, year = {2018}, } Publisher's Version Article: pldi18main-p93-p doi:10.1145/3192366.3192384
	Sukumaran-Rajam, Aravind	PLDI '18: "GPU Code Optimization using ..." GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis Changwan Hong, Aravind Sukumaran-Rajam, Jinsung Kim, Prashant Singh Rawat, Sriram Krishnamoorthy, Louis-Noël Pouchet, Fabrice Rastello, and P. Sadayappan (Ohio State University, USA; Pacific Northwest National Laboratory, USA; Colorado State University, USA; Grenoble Alpes University, France; Inria, France) @InProceedings{PLDI18p834, author = {Changwan Hong and Aravind Sukumaran-Rajam and Jinsung Kim and Prashant Singh Rawat and Sriram Krishnamoorthy and Louis-Noël Pouchet and Fabrice Rastello and P. Sadayappan}, title = {GPU Code Optimization using Abstract Kernel Emulation and Sensitivity Analysis}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {834-833}, doi = {10.1145/3192366.3192397}, year = {2018}, } Publisher's Version Article: pldi18main-p155-p doi:10.1145/3192366.3192397
	Tan, Yong Kiam	PLDI '18: "VeriPhy: Verified Controller ..." VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models Brandon Bohrer, Yong Kiam Tan, Stefan Mitsch, Magnus O. Myreen, and André Platzer (Carnegie Mellon University, USA; Chalmers University of Technology, Sweden) @InProceedings{PLDI18p698, author = {Brandon Bohrer and Yong Kiam Tan and Stefan Mitsch and Magnus O. Myreen and André Platzer}, title = {VeriPhy: Verified Controller Executables from Verified Cyber-Physical System Models}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {698-697}, doi = {10.1145/3192366.3192406}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p199-p doi:10.1145/3192366.3192406
	Tang, Xulong	PLDI '18: "Enhancing Computation-to-Core ..." Enhancing Computation-to-Core Assignment with Physical Location Information Orhan Kislal, Jagadish Kotra, Xulong Tang, Mahmut Taylan Kandemir, and Myoungsoo Jung (Pennsylvania State University, USA; Yonsei University, South Korea) @InProceedings{PLDI18p358, author = {Orhan Kislal and Jagadish Kotra and Xulong Tang and Mahmut Taylan Kandemir and Myoungsoo Jung}, title = {Enhancing Computation-to-Core Assignment with Physical Location Information}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {358-357}, doi = {10.1145/3192366.3192386}, year = {2018}, } Publisher's Version Article: pldi18main-p96-p doi:10.1145/3192366.3192386
	Tatlock, Zachary	PLDI '18: "Verifying That Web Pages Have ..." Verifying That Web Pages Have Accessible Layout Pavel Panchekha, Adam T. Geller, Michael D. Ernst, Zachary Tatlock, and Shoaib Kamil (University of Washington, USA; Adobe Research, USA) @InProceedings{PLDI18p1, author = {Pavel Panchekha and Adam T. Geller and Michael D. Ernst and Zachary Tatlock and Shoaib Kamil}, title = {Verifying That Web Pages Have Accessible Layout}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {1-0}, doi = {10.1145/3192366.3192407}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p202-p doi:10.1145/3192366.3192407 PLDI '18: "Finding Root Causes of Floating ..." Finding Root Causes of Floating Point Error Alex Sanchez-Stern, Pavel Panchekha, Sorin Lerner, and Zachary Tatlock (University of California at San Diego, USA; University of Washington, USA) @InProceedings{PLDI18p290, author = {Alex Sanchez-Stern and Pavel Panchekha and Sorin Lerner and Zachary Tatlock}, title = {Finding Root Causes of Floating Point Error}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {290-289}, doi = {10.1145/3192366.3192411}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p213-p doi:10.1145/3192366.3192411
	Taube, Marcelo	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Tian, Chen	PLDI '18: "iReplayer: In-situ and Identical ..." iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, and Tongping Liu (University of Texas at San Antonio, USA; Huawei Lab, USA) @InProceedings{PLDI18p392, author = {Hongyu Liu and Sam Silvestro and Wei Wang and Chen Tian and Tongping Liu}, title = {iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {10.1145/3192366.3192380}, year = {2018}, } Publisher's Version Article: pldi18main-p59-p doi:10.1145/3192366.3192380
	Tran, Kim-Anh	PLDI '18: "SWOOP: Software-Hardware Co-design ..." SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores Kim-Anh Tran, Alexandra Jimborean, Trevor E. Carlson, Konstantinos Koukos, Magnus Själander, and Stefanos Kaxiras (Uppsala University, Sweden; National University of Singapore, Singapore; NTNU, Norway) @InProceedings{PLDI18p375, author = {Kim-Anh Tran and Alexandra Jimborean and Trevor E. Carlson and Konstantinos Koukos and Magnus Själander and Stefanos Kaxiras}, title = {SWOOP: Software-Hardware Co-design for Non-speculative, Execute-Ahead, In-Order Cores}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {375-374}, doi = {10.1145/3192366.3192393}, year = {2018}, } Publisher's Version Article: pldi18main-p125-p doi:10.1145/3192366.3192393
	Tsai, Ming-Hsien	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Tsankov, Petar	PLDI '18: "Inferring Crypto API Rules ..." Inferring Crypto API Rules from Code Changes Rumen Paletov, Petar Tsankov, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland; DeepCode, Switzerland) @InProceedings{PLDI18p511, author = {Rumen Paletov and Petar Tsankov and Veselin Raychev and Martin Vechev}, title = {Inferring Crypto API Rules from Code Changes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {10.1145/3192366.3192403}, year = {2018}, } Publisher's Version Article: pldi18main-p177-p doi:10.1145/3192366.3192403 PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Turrini, Andrea	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Vanbever, Laurent	PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Van Geffen, Jacob	PLDI '18: "Symbolic Reasoning for Automatic ..." Symbolic Reasoning for Automatic Signal Placement Kostas Ferles, Jacob Van Geffen, Isil Dillig, and Yannis Smaragdakis (University of Texas at Austin, USA; University of Athens, Greece) @InProceedings{PLDI18p137, author = {Kostas Ferles and Jacob Van Geffen and Isil Dillig and Yannis Smaragdakis}, title = {Symbolic Reasoning for Automatic Signal Placement}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {137-136}, doi = {10.1145/3192366.3192395}, year = {2018}, } Publisher's Version Article: pldi18main-p146-p doi:10.1145/3192366.3192395
	Vechev, Martin	PLDI '18: "Static Serializability Analysis ..." Static Serializability Analysis for Causal Consistency Lucas Brutschy, Dimitar Dimitrov, Peter Müller, and Martin Vechev (ETH Zurich, Switzerland) @InProceedings{PLDI18p103, author = {Lucas Brutschy and Dimitar Dimitrov and Peter Müller and Martin Vechev}, title = {Static Serializability Analysis for Causal Consistency}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {103-102}, doi = {10.1145/3192366.3192415}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p243-p doi:10.1145/3192366.3192415 PLDI '18: "Inferring Crypto API Rules ..." Inferring Crypto API Rules from Code Changes Rumen Paletov, Petar Tsankov, Veselin Raychev, and Martin Vechev (ETH Zurich, Switzerland; DeepCode, Switzerland) @InProceedings{PLDI18p511, author = {Rumen Paletov and Petar Tsankov and Veselin Raychev and Martin Vechev}, title = {Inferring Crypto API Rules from Code Changes}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {511-510}, doi = {10.1145/3192366.3192403}, year = {2018}, } Publisher's Version Article: pldi18main-p177-p doi:10.1145/3192366.3192403 PLDI '18: "Incremental Inference for ..." Incremental Inference for Probabilistic Programs Marco Cusumano-Towner, Benjamin Bichsel, Timon Gehr, Martin Vechev, and Vikash K. Mansinghka (Massachusetts Institute of Technology, USA; ETH Zurich, Switzerland) @InProceedings{PLDI18p647, author = {Marco Cusumano-Towner and Benjamin Bichsel and Timon Gehr and Martin Vechev and Vikash K. Mansinghka}, title = {Incremental Inference for Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {647-646}, doi = {10.1145/3192366.3192399}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p160-p doi:10.1145/3192366.3192399 PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Vilk, John	PLDI '18: "BLeak: Automatically Debugging ..." BLeak: Automatically Debugging Memory Leaks in Web Applications John Vilk and Emery D. Berger (University of Massachusetts at Amherst, USA) @InProceedings{PLDI18p18, author = {John Vilk and Emery D. Berger}, title = {BLeak: Automatically Debugging Memory Leaks in Web Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {18-17}, doi = {10.1145/3192366.3192376}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p39-p doi:10.1145/3192366.3192376
	Vinju, Jurgen J.	PLDI '18: "To-Many or To-One? All-in-One! ..." To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries Michael J. Steindorfer and Jurgen J. Vinju (Delft University of Technology, Netherlands; CWI, Netherlands; Eindhoven University of Technology, Netherlands) @InProceedings{PLDI18p324, author = {Michael J. Steindorfer and Jurgen J. Vinju}, title = {To-Many or To-One? All-in-One! Efficient Purely Functional Multi-maps with Type-Heterogeneous Hash-Tries}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {324-323}, doi = {10.1145/3192366.3192420}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p258-p doi:10.1145/3192366.3192420
	Vytiniotis, Dimitrios	PLDI '18: "Guarded Impredicative Polymorphism ..." Guarded Impredicative Polymorphism Alejandro Serrano, Jurriaan Hage, Dimitrios Vytiniotis, and Simon Peyton Jones (Utrecht University, Netherlands; Microsoft Research, UK) @InProceedings{PLDI18p885, author = {Alejandro Serrano and Jurriaan Hage and Dimitrios Vytiniotis and Simon Peyton Jones}, title = {Guarded Impredicative Polymorphism}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {885-884}, doi = {10.1145/3192366.3192389}, year = {2018}, } Publisher's Version Article: pldi18main-p105-p doi:10.1145/3192366.3192389
	Wahl, Thomas	PLDI '18: "CUBA: Interprocedural Context-UnBounded ..." CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs Peizun Liu and Thomas Wahl (Northeastern University, USA) @InProceedings{PLDI18p120, author = {Peizun Liu and Thomas Wahl}, title = {CUBA: Interprocedural Context-UnBounded Analysis of Concurrent Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {120-119}, doi = {10.1145/3192366.3192419}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p254-p doi:10.1145/3192366.3192419
	Wang, Di	PLDI '18: "PMAF: An Algebraic Framework ..." PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs Di Wang, Jan Hoffmann, and Thomas Reps (Carnegie Mellon University, USA; University of Wisconsin, USA; GrammaTech, USA) @InProceedings{PLDI18p579, author = {Di Wang and Jan Hoffmann and Thomas Reps}, title = {PMAF: An Algebraic Framework for Static Analysis of Probabilistic Programs}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {579-578}, doi = {10.1145/3192366.3192408}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p203-p doi:10.1145/3192366.3192408
	Wang, Hong	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	Wang, Ke	PLDI '18: "Search, Align, and Repair: ..." Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises Ke Wang, Rishabh Singh, and Zhendong Su (University of California at Davis, USA; Microsoft Research, USA) @InProceedings{PLDI18p545, author = {Ke Wang and Rishabh Singh and Zhendong Su}, title = {Search, Align, and Repair: Data-Driven Feedback Generation for Introductory Programming Exercises}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {545-544}, doi = {10.1145/3192366.3192384}, year = {2018}, } Publisher's Version Article: pldi18main-p93-p doi:10.1145/3192366.3192384
	Wang, Wei	PLDI '18: "iReplayer: In-situ and Identical ..." iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications Hongyu Liu, Sam Silvestro, Wei Wang, Chen Tian, and Tongping Liu (University of Texas at San Antonio, USA; Huawei Lab, USA) @InProceedings{PLDI18p392, author = {Hongyu Liu and Sam Silvestro and Wei Wang and Chen Tian and Tongping Liu}, title = {iReplayer: In-situ and Identical Record-and-Replay for Multithreaded Applications}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {392-391}, doi = {10.1145/3192366.3192380}, year = {2018}, } Publisher's Version Article: pldi18main-p59-p doi:10.1145/3192366.3192380
	Wang, William	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Wenisch, Thomas F.	PLDI '18: "Persistency for Synchronization-Free ..." Persistency for Synchronization-Free Regions Vaibhav Gogte, Stephan Diestelhorst, William Wang, Satish Narayanasamy, Peter M. Chen, and Thomas F. Wenisch (University of Michigan, USA; ARM Research, UK) @InProceedings{PLDI18p52, author = {Vaibhav Gogte and Stephan Diestelhorst and William Wang and Satish Narayanasamy and Peter M. Chen and Thomas F. Wenisch}, title = {Persistency for Synchronization-Free Regions}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {52-51}, doi = {10.1145/3192366.3192367}, year = {2018}, } Publisher's Version Article: pldi18main-p3-p doi:10.1145/3192366.3192367
	Wickerson, John	PLDI '18: "The Semantics of Transactions ..." The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ Nathan Chong, Tyler Sorensen, and John Wickerson (ARM, UK; Imperial College London, UK) @InProceedings{PLDI18p239, author = {Nathan Chong and Tyler Sorensen and John Wickerson}, title = {The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {239-238}, doi = {10.1145/3192366.3192373}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p23-p doi:10.1145/3192366.3192373
	Wiesmann, Pascal	PLDI '18: "Bayonet: Probabilistic Inference ..." Bayonet: Probabilistic Inference for Networks Timon Gehr, Sasa Misailovic, Petar Tsankov, Laurent Vanbever, Pascal Wiesmann, and Martin Vechev (ETH Zurich, Switzerland; University of Illinois at Urbana-Champaign, USA) @InProceedings{PLDI18p664, author = {Timon Gehr and Sasa Misailovic and Petar Tsankov and Laurent Vanbever and Pascal Wiesmann and Martin Vechev}, title = {Bayonet: Probabilistic Inference for Networks}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {664-663}, doi = {10.1145/3192366.3192400}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p165-p doi:10.1145/3192366.3192400
	Wilcox, James R.	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Wild, Andreas	PLDI '18: "Mapping Spiking Neural Networks ..." Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture Chit-Kwan Lin, Andreas Wild, Gautham N. Chinya, Tsung-Han Lin, Mike Davies, and Hong Wang (Intel Labs, USA) @InProceedings{PLDI18p86, author = {Chit-Kwan Lin and Andreas Wild and Gautham N. Chinya and Tsung-Han Lin and Mike Davies and Hong Wang}, title = {Mapping Spiking Neural Networks onto a Manycore Neuromorphic Architecture}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {86-85}, doi = {10.1145/3192366.3192371}, year = {2018}, } Publisher's Version Article: pldi18main-p19-p doi:10.1145/3192366.3192371
	Woos, Doug	PLDI '18: "Modularity for Decidability ..." Modularity for Decidability of Deductive Verification with Applications to Distributed Systems Marcelo Taube, Giuliano Losa, Kenneth L. McMillan, Oded Padon, Mooly Sagiv, Sharon Shoham, James R. Wilcox, and Doug Woos (Tel Aviv University, Israel; University of California at Los Angeles, USA; Microsoft Research, USA; University of Washington, USA) @InProceedings{PLDI18p749, author = {Marcelo Taube and Giuliano Losa and Kenneth L. McMillan and Oded Padon and Mooly Sagiv and Sharon Shoham and James R. Wilcox and Doug Woos}, title = {Modularity for Decidability of Deductive Verification with Applications to Distributed Systems}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {749-748}, doi = {10.1145/3192366.3192414}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p237-p doi:10.1145/3192366.3192414
	Wu, Rongxin	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Wu, Xiongnan (Newman)	PLDI '18: "Certified Concurrent Abstraction ..." Certified Concurrent Abstraction Layers Ronghui Gu, Zhong Shao, Jieung Kim, Xiongnan (Newman) Wu, Jérémie Koenig, Vilhelm Sjöberg, Hao Chen, David Costanzo, and Tahina Ramananandro (Yale University, USA; Microsoft Research, USA) @InProceedings{PLDI18p732, author = {Ronghui Gu and Zhong Shao and Jieung Kim and Xiongnan (Newman) Wu and Jérémie Koenig and Vilhelm Sjöberg and Hao Chen and David Costanzo and Tahina Ramananandro}, title = {Certified Concurrent Abstraction Layers}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {732-731}, doi = {10.1145/3192366.3192381}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p73-p doi:10.1145/3192366.3192381
	Xiao, Xiao	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Xu, Guoqing	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378
	Yahav, Eran	PLDI '18: "A General Path-Based Representation ..." A General Path-Based Representation for Predicting Program Properties Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav (Technion, Israel; University of Washington, USA) @InProceedings{PLDI18p460, author = {Uri Alon and Meital Zilberstein and Omer Levy and Eran Yahav}, title = {A General Path-Based Representation for Predicting Program Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3192366.3192412}, year = {2018}, } Publisher's Version Article: pldi18main-p224-p doi:10.1145/3192366.3192412
	Yap, Roland H. C.	PLDI '18: "EffectiveSan: Type and Memory ..." EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++ Gregory J. Duck and Roland H. C. Yap (National University of Singapore, Singapore) @InProceedings{PLDI18p205, author = {Gregory J. Duck and Roland H. C. Yap}, title = {EffectiveSan: Type and Memory Error Detection using Dynamically Typed C/C++}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {205-204}, doi = {10.1145/3192366.3192388}, year = {2018}, } Publisher's Version Article: pldi18main-p104-p doi:10.1145/3192366.3192388
	Yi, Kwangkeun	PLDI '18: "Crellvm: Verified Credible ..." Crellvm: Verified Credible Compilation for LLVM Jeehoon Kang, Yoonseung Kim, Youngju Song, Juneyoung Lee, Sanghoon Park, Mark Dongyeon Shin, Yonghyun Kim, Sungkeun Cho, Joonwon Choi, Chung-Kil Hur, and Kwangkeun Yi (Seoul National University, South Korea; Massachusetts Institute of Technology, USA) @InProceedings{PLDI18p715, author = {Jeehoon Kang and Yoonseung Kim and Youngju Song and Juneyoung Lee and Sanghoon Park and Mark Dongyeon Shin and Yonghyun Kim and Sungkeun Cho and Joonwon Choi and Chung-Kil Hur and Kwangkeun Yi}, title = {Crellvm: Verified Credible Compilation for LLVM}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {715-714}, doi = {10.1145/3192366.3192377}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p41-p doi:10.1145/3192366.3192377
	Zhang, Charles	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Zhang, Lijun	PLDI '18: "Advanced Automata-Based Algorithms ..." Advanced Automata-Based Algorithms for Program Termination Checking Yu-Fang Chen, Matthias Heizmann, Ondřej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, and Lijun Zhang (Academia Sinica, Taiwan; National Taipei University, Taiwan; University of Freiburg, Germany; Brno University of Technology, Czechia; Institute of Software at Chinese Academy of Sciences, China) @InProceedings{PLDI18p154, author = {Yu-Fang Chen and Matthias Heizmann and Ondřej Lengál and Yong Li and Ming-Hsien Tsai and Andrea Turrini and Lijun Zhang}, title = {Advanced Automata-Based Algorithms for Program Termination Checking}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {154-153}, doi = {10.1145/3192366.3192405}, year = {2018}, } Publisher's Version Article: pldi18main-p190-p doi:10.1145/3192366.3192405
	Zhang, Qirun	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378
	Zhang, Yaqi	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Zhao, Tian	PLDI '18: "Spatial: A Language and Compiler ..." Spatial: A Language and Compiler for Application Accelerators David Koeplinger, Matthew Feldman, Raghu Prabhakar, Yaqi Zhang, Stefan Hadjis, Ruben Fiszel, Tian Zhao, Luigi Nardi, Ardavan Pedram, Christos Kozyrakis, and Kunle Olukotun (Stanford University, USA; EPFL, Switzerland) @InProceedings{PLDI18p341, author = {David Koeplinger and Matthew Feldman and Raghu Prabhakar and Yaqi Zhang and Stefan Hadjis and Ruben Fiszel and Tian Zhao and Luigi Nardi and Ardavan Pedram and Christos Kozyrakis and Kunle Olukotun}, title = {Spatial: A Language and Compiler for Application Accelerators}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {341-340}, doi = {10.1145/3192366.3192379}, year = {2018}, } Publisher's Version Article: pldi18main-p53-p doi:10.1145/3192366.3192379
	Zhou, Jinguo	PLDI '18: "Pinpoint: Fast and Precise ..." Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code Qingkai Shi, Xiao Xiao, Rongxin Wu, Jinguo Zhou, Gang Fan, and Charles Zhang (Hong Kong University of Science and Technology, China; Sourcebrella, China) @InProceedings{PLDI18p783, author = {Qingkai Shi and Xiao Xiao and Rongxin Wu and Jinguo Zhou and Gang Fan and Charles Zhang}, title = {Pinpoint: Fast and Precise Sparse Value Flow Analysis for Million Lines of Code}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {783-782}, doi = {10.1145/3192366.3192418}, year = {2018}, } Publisher's Version Artifacts Functional Article: pldi18main-p250-p doi:10.1145/3192366.3192418
	Zhu, He	PLDI '18: "A Data-Driven CHC Solver ..." A Data-Driven CHC Solver He Zhu, Stephen Magill, and Suresh Jagannathan (Galois, USA; Purdue University, USA) @InProceedings{PLDI18p800, author = {He Zhu and Stephen Magill and Suresh Jagannathan}, title = {A Data-Driven CHC Solver}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {800-799}, doi = {10.1145/3192366.3192416}, year = {2018}, } Publisher's Version Published Artifact Artifacts Available Artifacts Functional Article: pldi18main-p245-p doi:10.1145/3192366.3192416
	Zilberstein, Meital	PLDI '18: "A General Path-Based Representation ..." A General Path-Based Representation for Predicting Program Properties Uri Alon, Meital Zilberstein, Omer Levy, and Eran Yahav (Technion, Israel; University of Washington, USA) @InProceedings{PLDI18p460, author = {Uri Alon and Meital Zilberstein and Omer Levy and Eran Yahav}, title = {A General Path-Based Representation for Predicting Program Properties}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {460-459}, doi = {10.1145/3192366.3192412}, year = {2018}, } Publisher's Version Article: pldi18main-p224-p doi:10.1145/3192366.3192412
	Zuleger, Florian	PLDI '18: "Automated Clustering and Program ..." Automated Clustering and Program Repair for Introductory Programming Assignments Sumit Gulwani, Ivan Radiček, and Florian Zuleger (Microsoft, USA; Vienna University of Technology, Austria) @InProceedings{PLDI18p528, author = {Sumit Gulwani and Ivan Radiček and Florian Zuleger}, title = {Automated Clustering and Program Repair for Introductory Programming Assignments}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {528-527}, doi = {10.1145/3192366.3192387}, year = {2018}, } Publisher's Version Article: pldi18main-p102-p doi:10.1145/3192366.3192387
	Zuo, Zhiqiang	PLDI '18: "Calling-to-Reference Context ..." Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability Cheng Cai, Qirun Zhang, Zhiqiang Zuo, Khanh Nguyen, Guoqing Xu, and Zhendong Su (University of California at Irvine, USA; University of California at Davis, USA; Nanjing University, China) @InProceedings{PLDI18p222, author = {Cheng Cai and Qirun Zhang and Zhiqiang Zuo and Khanh Nguyen and Guoqing Xu and Zhendong Su}, title = {Calling-to-Reference Context Translation via Constraint-Guided CFL-Reachability}, booktitle = {Proc.\ PLDI}, publisher = {ACM}, pages = {222-221}, doi = {10.1145/3192366.3192378}, year = {2018}, } Publisher's Version Article: pldi18main-p42-p doi:10.1145/3192366.3192378