PLDI 2018
39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018)
Powered by
Conference Publishing Consulting

39th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2018), June 18–22, 2018, Philadelphia, PA, USA

PLDI 2018 – Author Index

Contents - Abstracts - Authors

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 ..."
Acharya, Aravind PLDI '18: "Polyhedral Auto-transformation ..."
Adams, Ulf PLDI '18: "Ryū: Fast Float-to-String ..."
Ahmed, Amal PLDI '18: "Typed Closure Conversion for ..."
Aiken, Alex PLDI '18: "Active Learning of Points-To ..."
Akram, Shoaib PLDI '18: "Write-Rationing Garbage Collection ..."
Alon, Uri PLDI '18: "A General Path-Based Representation ..."
Alur, Rajeev PLDI '18: "Accelerating Search-Based ..."
Bastani, Osbert PLDI '18: "Program Synthesis using Conflict-Driven ..." PLDI '18: "Active Learning of Points-To ..."
Baxter, Samuel PLDI '18: "Putting in All the Stops: ..."
Berger, Emery D. PLDI '18: "BLeak: Automatically Debugging ..."
Bichsel, Benjamin PLDI '18: "Incremental Inference for ..."
Bohrer, Brandon PLDI '18: "VeriPhy: Verified Controller ..."
Bond, Michael D. PLDI '18: "High-Coverage, Unbounded Sound ..."
Bondhugula, Uday PLDI '18: "Polyhedral Auto-transformation ..."
Bowman, William J. PLDI '18: "Typed Closure Conversion for ..."
Brooks, Alex PLDI '18: "Gluon: A Communication-Optimizing ..."
Brutschy, Lucas PLDI '18: "Static Serializability Analysis ..."
Cai, Cheng PLDI '18: "Calling-to-Reference Context ..."
Carbonneaux, Quentin PLDI '18: "Bounded Expectations: Resource ..."
Carlson, Trevor E. PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Charguéraud, Arthur PLDI '18: "Heartbeat Scheduling: Provable ..."
Chen, Dong PLDI '18: "Locality Analysis through ..."
Chen, Hao PLDI '18: "Certified Concurrent Abstraction ..."
Chen, Peter M. PLDI '18: "Persistency for Synchronization-Free ..."
Chen, Yu-Fang PLDI '18: "Advanced Automata-Based Algorithms ..."
Chen, Yutian PLDI '18: "Probabilistic Programming ..."
Chinya, Gautham N. PLDI '18: "Mapping Spiking Neural Networks ..."
Cho, Sungkeun PLDI '18: "Crellvm: Verified Credible ..."
Choi, Joonwon PLDI '18: "Crellvm: Verified Credible ..."
Chong, Nathan PLDI '18: "The Semantics of Transactions ..."
Cohen, Albert PLDI '18: "Polyhedral Auto-transformation ..."
Costanzo, David PLDI '18: "Certified Concurrent Abstraction ..."
Cusumano-Towner, Marco PLDI '18: "Incremental Inference for ..."
Dang, Hoang-Vu PLDI '18: "Gluon: A Communication-Optimizing ..."
Dathathri, Roshan PLDI '18: "Gluon: A Communication-Optimizing ..."
Davies, Mike PLDI '18: "Mapping Spiking Neural Networks ..."
D'Elia, Daniele Cono PLDI '18: "On-Stack Replacement, Distilled ..."
Demetrescu, Camil PLDI '18: "On-Stack Replacement, Distilled ..."
Devietti, Joseph PLDI '18: "CURD: A Dynamic CUDA Race ..."
Diestelhorst, Stephan PLDI '18: "Persistency for Synchronization-Free ..."
Dillig, Isil PLDI '18: "Symbolic Reasoning for Automatic ..." PLDI '18: "Program Synthesis using Conflict-Driven ..."
Dimitrov, Dimitar PLDI '18: "Static Serializability Analysis ..."
Ding, Chen PLDI '18: "Locality Analysis through ..."
Dolan, Stephen PLDI '18: "Bounding Data Races in Space ..."
Dryden, Nikoli PLDI '18: "Gluon: A Communication-Optimizing ..."
Duck, Gregory J. PLDI '18: "EffectiveSan: Type and Memory ..."
Eeckhout, Lieven PLDI '18: "Write-Rationing Garbage Collection ..."
Ernst, Michael D. PLDI '18: "Verifying That Web Pages Have ..."
Fan, Gang PLDI '18: "Pinpoint: Fast and Precise ..."
Feldman, Matthew PLDI '18: "Spatial: A Language and Compiler ..."
Feng, Yu PLDI '18: "Program Synthesis using Conflict-Driven ..."
Ferles, Kostas PLDI '18: "Symbolic Reasoning for Automatic ..."
Fiszel, Ruben PLDI '18: "Spatial: A Language and Compiler ..."
Gehr, Timon PLDI '18: "Incremental Inference for ..." PLDI '18: "Bayonet: Probabilistic Inference ..."
Geller, Adam T. PLDI '18: "Verifying That Web Pages Have ..."
Genç, Kaan PLDI '18: "High-Coverage, Unbounded Sound ..."
Gill, Gurbinder PLDI '18: "Gluon: A Communication-Optimizing ..."
Gogte, Vaibhav PLDI '18: "Persistency for Synchronization-Free ..."
Grover, Vinod PLDI '18: "CURD: A Dynamic CUDA Race ..."
Gu, Ronghui PLDI '18: "Certified Concurrent Abstraction ..."
Guatto, Adrien PLDI '18: "Heartbeat Scheduling: Provable ..."
Guha, Arjun PLDI '18: "Putting in All the Stops: ..."
Gulwani, Sumit PLDI '18: "Automated Clustering and Program ..."
Hack, Sebastian PLDI '18: "Partial Control-Flow Linearization ..."
Hadjis, Stefan PLDI '18: "Spatial: A Language and Compiler ..."
Hage, Jurriaan PLDI '18: "Guarded Impredicative Polymorphism ..."
Handa, Shivam PLDI '18: "Probabilistic Programming ..."
Heizmann, Matthias PLDI '18: "Advanced Automata-Based Algorithms ..."
Heo, Kihong PLDI '18: "Accelerating Search-Based ..." PLDI '18: "User-Guided Program Reasoning ..."
Hoang, Loc PLDI '18: "Gluon: A Communication-Optimizing ..."
Hoffmann, Jan PLDI '18: "Bounded Expectations: Resource ..." PLDI '18: "PMAF: An Algebraic Framework ..."
Hong, Changwan PLDI '18: "GPU Code Optimization using ..."
Huang, Jeff PLDI '18: "D4: Fast Concurrency Debugging ..."
Hur, Chung-Kil PLDI '18: "Crellvm: Verified Credible ..."
Jagannathan, Suresh PLDI '18: "A Data-Driven CHC Solver ..."
Jimborean, Alexandra PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Jung, Myoungsoo PLDI '18: "Enhancing Computation-to-Core ..."
Kamil, Shoaib PLDI '18: "Verifying That Web Pages Have ..."
Kandemir, Mahmut Taylan PLDI '18: "Enhancing Computation-to-Core ..."
Kang, Jeehoon PLDI '18: "Crellvm: Verified Credible ..."
Kaxiras, Stefanos PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Kim, Jieung PLDI '18: "Certified Concurrent Abstraction ..."
Kim, Jinsung PLDI '18: "GPU Code Optimization using ..."
Kim, Yonghyun PLDI '18: "Crellvm: Verified Credible ..."
Kim, Yoonseung PLDI '18: "Crellvm: Verified Credible ..."
Kislal, Orhan PLDI '18: "Enhancing Computation-to-Core ..."
Koenig, Jérémie PLDI '18: "Certified Concurrent Abstraction ..."
Koeplinger, David PLDI '18: "Spatial: A Language and Compiler ..."
Kotra, Jagadish PLDI '18: "Enhancing Computation-to-Core ..."
Koukos, Konstantinos PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Kozyrakis, Christos PLDI '18: "Spatial: A Language and Compiler ..."
Krishnamoorthy, Sriram PLDI '18: "GPU Code Optimization using ..."
Krishnamurthi, Shriram PLDI '18: "Putting in All the Stops: ..." PLDI '18: "Inferring Type Rules for Syntactic ..."
Kulkarni, Sulekha PLDI '18: "User-Guided Program Reasoning ..."
Lee, Juneyoung PLDI '18: "Crellvm: Verified Credible ..."
Lee, Woosuk PLDI '18: "Accelerating Search-Based ..."
Lengál, Ondřej PLDI '18: "Advanced Automata-Based Algorithms ..."
Lerner, Sorin PLDI '18: "Finding Root Causes of Floating ..."
Levy, Omer PLDI '18: "A General Path-Based Representation ..."
Li, Yong PLDI '18: "Advanced Automata-Based Algorithms ..."
Liang, Percy PLDI '18: "Active Learning of Points-To ..."
Lin, Chit-Kwan PLDI '18: "Mapping Spiking Neural Networks ..."
Lin, Tsung-Han PLDI '18: "Mapping Spiking Neural Networks ..."
Liu, Bozhen PLDI '18: "D4: Fast Concurrency Debugging ..."
Liu, Fangzhou PLDI '18: "Locality Analysis through ..."
Liu, Hongyu PLDI '18: "iReplayer: In-situ and Identical ..."
Liu, Peizun PLDI '18: "CUBA: Interprocedural Context-UnBounded ..."
Liu, Tongping PLDI '18: "iReplayer: In-situ and Identical ..."
Losa, Giuliano PLDI '18: "Modularity for Decidability ..."
Madhavapeddy, Anil PLDI '18: "Bounding Data Races in Space ..."
Magill, Stephen PLDI '18: "A Data-Driven CHC Solver ..."
Mansinghka, Vikash K. PLDI '18: "Incremental Inference for ..." PLDI '18: "Probabilistic Programming ..."
Martins, Ruben PLDI '18: "Program Synthesis using Conflict-Driven ..."
McKinley, Kathryn S. PLDI '18: "Write-Rationing Garbage Collection ..."
McMillan, Kenneth L. PLDI '18: "Modularity for Decidability ..."
Milano, Matthew PLDI '18: "MixT: A Language for Mixing ..."
Misailovic, Sasa PLDI '18: "Bayonet: Probabilistic Inference ..."
Mitsch, Stefan PLDI '18: "VeriPhy: Verified Controller ..."
Moll, Simon PLDI '18: "Partial Control-Flow Linearization ..."
Müller, Peter PLDI '18: "Static Serializability Analysis ..."
Myers, Andrew C. PLDI '18: "MixT: A Language for Mixing ..."
Myreen, Magnus O. PLDI '18: "VeriPhy: Verified Controller ..."
Naik, Mayur PLDI '18: "Accelerating Search-Based ..." PLDI '18: "User-Guided Program Reasoning ..."
Narayanasamy, Satish PLDI '18: "Persistency for Synchronization-Free ..."
Nardi, Luigi PLDI '18: "Spatial: A Language and Compiler ..."
Ngo, Van Chan PLDI '18: "Bounded Expectations: Resource ..."
Nguyen, Khanh PLDI '18: "Calling-to-Reference Context ..."
Nigam, Rachit PLDI '18: "Putting in All the Stops: ..."
Olukotun, Kunle PLDI '18: "Spatial: A Language and Compiler ..."
Ottoni, Guilherme PLDI '18: "HHVM JIT: A Profile-Guided, ..."
Padon, Oded PLDI '18: "Modularity for Decidability ..."
Pai, Sreepathi PLDI '18: "Locality Analysis through ..."
Paletov, Rumen PLDI '18: "Inferring Crypto API Rules ..."
Panchekha, Pavel PLDI '18: "Verifying That Web Pages Have ..." PLDI '18: "Finding Root Causes of Floating ..."
Park, Sanghoon PLDI '18: "Crellvm: Verified Credible ..."
Pedram, Ardavan PLDI '18: "Spatial: A Language and Compiler ..."
Peng, Yuanfeng PLDI '18: "CURD: A Dynamic CUDA Race ..."
Peyton Jones, Simon PLDI '18: "Guarded Impredicative Polymorphism ..."
Pingali, Keshav PLDI '18: "Gluon: A Communication-Optimizing ..."
Platzer, André PLDI '18: "VeriPhy: Verified Controller ..."
Politz, Joe Gibbs PLDI '18: "Putting in All the Stops: ..."
Pombrio, Justin PLDI '18: "Inferring Type Rules for Syntactic ..."
Pouchet, Louis-Noël PLDI '18: "GPU Code Optimization using ..."
Prabhakar, Raghu PLDI '18: "Spatial: A Language and Compiler ..."
Radiček, Ivan PLDI '18: "Automated Clustering and Program ..."
Radul, Alexey PLDI '18: "Probabilistic Programming ..."
Raghothaman, Mukund PLDI '18: "User-Guided Program Reasoning ..."
Rainey, Mike PLDI '18: "Heartbeat Scheduling: Provable ..."
Ramananandro, Tahina PLDI '18: "Certified Concurrent Abstraction ..."
Rastello, Fabrice PLDI '18: "GPU Code Optimization using ..."
Rawat, Prashant Singh PLDI '18: "GPU Code Optimization using ..."
Raychev, Veselin PLDI '18: "Inferring Crypto API Rules ..."
Reps, Thomas PLDI '18: "PMAF: An Algebraic Framework ..."
Rinard, Martin PLDI '18: "Probabilistic Programming ..."
Roemer, Jake PLDI '18: "High-Coverage, Unbounded Sound ..."
Sadayappan, P. PLDI '18: "GPU Code Optimization using ..."
Sagiv, Mooly PLDI '18: "Modularity for Decidability ..."
Sanchez-Stern, Alex PLDI '18: "Finding Root Causes of Floating ..."
Sartor, Jennifer B. PLDI '18: "Write-Rationing Garbage Collection ..."
Schaechtle, Ulrich PLDI '18: "Probabilistic Programming ..."
Serrano, Alejandro PLDI '18: "Guarded Impredicative Polymorphism ..."
Shao, Zhong PLDI '18: "Certified Concurrent Abstraction ..."
Sharma, Rahul PLDI '18: "Active Learning of Points-To ..."
Shi, Qingkai PLDI '18: "Pinpoint: Fast and Precise ..."
Shin, Mark Dongyeon PLDI '18: "Crellvm: Verified Credible ..."
Shoham, Sharon PLDI '18: "Modularity for Decidability ..."
Sieczkowski, Filip PLDI '18: "Heartbeat Scheduling: Provable ..."
Silvestro, Sam PLDI '18: "iReplayer: In-situ and Identical ..."
Singh, Rishabh PLDI '18: "Search, Align, and Repair: ..."
Sivaramakrishnan, KC PLDI '18: "Bounding Data Races in Space ..."
Själander, Magnus PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Sjöberg, Vilhelm PLDI '18: "Certified Concurrent Abstraction ..."
Smaragdakis, Yannis PLDI '18: "Symbolic Reasoning for Automatic ..."
Snir, Marc PLDI '18: "Gluon: A Communication-Optimizing ..."
Song, Youngju PLDI '18: "Crellvm: Verified Credible ..."
Sorensen, Tyler PLDI '18: "The Semantics of Transactions ..."
Steindorfer, Michael J. PLDI '18: "To-Many or To-One? All-in-One! ..."
Su, Zhendong PLDI '18: "Calling-to-Reference Context ..." PLDI '18: "Search, Align, and Repair: ..."
Sukumaran-Rajam, Aravind PLDI '18: "GPU Code Optimization using ..."
Tan, Yong Kiam PLDI '18: "VeriPhy: Verified Controller ..."
Tang, Xulong PLDI '18: "Enhancing Computation-to-Core ..."
Tatlock, Zachary PLDI '18: "Verifying That Web Pages Have ..." PLDI '18: "Finding Root Causes of Floating ..."
Taube, Marcelo PLDI '18: "Modularity for Decidability ..."
Tian, Chen PLDI '18: "iReplayer: In-situ and Identical ..."
Tran, Kim-Anh PLDI '18: "SWOOP: Software-Hardware Co-design ..."
Tsai, Ming-Hsien PLDI '18: "Advanced Automata-Based Algorithms ..."
Tsankov, Petar PLDI '18: "Inferring Crypto API Rules ..." PLDI '18: "Bayonet: Probabilistic Inference ..."
Turrini, Andrea PLDI '18: "Advanced Automata-Based Algorithms ..."
Vanbever, Laurent PLDI '18: "Bayonet: Probabilistic Inference ..."
Van Geffen, Jacob PLDI '18: "Symbolic Reasoning for Automatic ..."
Vechev, Martin PLDI '18: "Inferring Crypto API Rules ..." PLDI '18: "Incremental Inference for ..." PLDI '18: "Bayonet: Probabilistic Inference ..." PLDI '18: "Static Serializability Analysis ..."
Vilk, John PLDI '18: "BLeak: Automatically Debugging ..."
Vinju, Jurgen J. PLDI '18: "To-Many or To-One? All-in-One! ..."
Vytiniotis, Dimitrios PLDI '18: "Guarded Impredicative Polymorphism ..."
Wahl, Thomas PLDI '18: "CUBA: Interprocedural Context-UnBounded ..."
Wang, Di PLDI '18: "PMAF: An Algebraic Framework ..."
Wang, Hong PLDI '18: "Mapping Spiking Neural Networks ..."
Wang, Ke PLDI '18: "Search, Align, and Repair: ..."
Wang, Wei PLDI '18: "iReplayer: In-situ and Identical ..."
Wang, William PLDI '18: "Persistency for Synchronization-Free ..."
Wenisch, Thomas F. PLDI '18: "Persistency for Synchronization-Free ..."
Wickerson, John PLDI '18: "The Semantics of Transactions ..."
Wiesmann, Pascal PLDI '18: "Bayonet: Probabilistic Inference ..."
Wilcox, James R. PLDI '18: "Modularity for Decidability ..."
Wild, Andreas PLDI '18: "Mapping Spiking Neural Networks ..."
Woos, Doug PLDI '18: "Modularity for Decidability ..."
Wu, Rongxin PLDI '18: "Pinpoint: Fast and Precise ..."
Wu, Xiongnan (Newman) PLDI '18: "Certified Concurrent Abstraction ..."
Xiao, Xiao PLDI '18: "Pinpoint: Fast and Precise ..."
Xu, Guoqing PLDI '18: "Calling-to-Reference Context ..."
Yahav, Eran PLDI '18: "A General Path-Based Representation ..."
Yap, Roland H. C. PLDI '18: "EffectiveSan: Type and Memory ..."
Yi, Kwangkeun PLDI '18: "Crellvm: Verified Credible ..."
Zhang, Charles PLDI '18: "Pinpoint: Fast and Precise ..."
Zhang, Lijun PLDI '18: "Advanced Automata-Based Algorithms ..."
Zhang, Qirun PLDI '18: "Calling-to-Reference Context ..."
Zhang, Yaqi PLDI '18: "Spatial: A Language and Compiler ..."
Zhao, Tian PLDI '18: "Spatial: A Language and Compiler ..."
Zhou, Jinguo PLDI '18: "Pinpoint: Fast and Precise ..."
Zhu, He PLDI '18: "A Data-Driven CHC Solver ..."
Zilberstein, Meital PLDI '18: "A General Path-Based Representation ..."
Zuleger, Florian PLDI '18: "Automated Clustering and Program ..."
Zuo, Zhiqiang PLDI '18: "Calling-to-Reference Context ..."

239 authors

proc time: 6.3