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

40th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2019), June 22–26, 2019, Phoenix, AZ, USA

PLDI 2019 – Author Index

Contents - Abstracts - Authors

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

Abdulla, Parosh Aziz PLDI '19: "Verification of Programs under ..."
Abrahamsson, Oskar PLDI '19: "Verified Compilation on a ..."
Adve, Vikram S. PLDI '19: "A Complete Formal Semantics ..."
Aiken, Alex PLDI '19: "Semantic Program Alignment ..."
Almahallawi, Deyaaeldeen PLDI '19: "Toward Efficient Gradual Typing ..."
Alur, Rajeev PLDI '19: "Data-Trace Types for Distributed ..."
Amit, Nadav PLDI '19: "Simple and Precise Static ..."
Anderson, Greg PLDI '19: "Optimization and Abstraction: ..."
Arora, Jatin PLDI '19: "Verification of Programs under ..."
Arunachalam, Meenakshi PLDI '19: "Co-optimizing Memory-Level ..."
Astorga, Angello PLDI '19: "Learning Stateful Preconditions ..."
Atig, Mohamed Faouzi PLDI '19: "Verification of Programs under ..."
Augustine, Travis PLDI '19: "Generating Piecewise-Regular ..."
Barthe, Gilles PLDI '19: "Bidirectional Type Checking ..." PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Benussi, Elias PLDI '19: "Verifying Message-Passing ..."
Berger, Emery D. PLDI '19: "Mesh: Compacting Memory Management ..."
Bichsel, Benjamin PLDI '19: "Scalable Taint Specification ..."
Binder, Walter PLDI '19: "Renaissance: Benchmarking ..."
Bland, Maxwell Troy PLDI '19: "Lazy Counterfactual Symbolic ..."
Blelloch, Guy E. PLDI '19: "Low-Latency Graph Streaming ..."
Brandner, Laurin PLDI '19: "A Fast Analytical Model of ..."
Brown, Fraser PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Bulej, Lubomír PLDI '19: "Renaissance: Benchmarking ..."
Cadar, Cristian PLDI '19: "Computing Summaries of String ..."
Campagna, Giovanni PLDI '19: "Genie: A Generator of Natural ..."
Cao, Ting PLDI '19: "Panthera: Holistic Memory ..."
Cauligi, Sunjay PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Chajed, Tej PLDI '19: "Argosy: Verifying Layered ..."
Chatterjee, Krishnendu PLDI '19: "Cost Analysis of Nondeterministic ..."
Chaudhuri, Swarat PLDI '19: "Optimization and Abstraction: ..."
Chen, Hao PLDI '19: "CHET: An Optimizing Compiler ..."
Chen, Xianglan PLDI '19: "DFix: Automatically Fixing ..."
Cheshmi, Kazem PLDI '19: "Sparse Computation Data Dependence ..."
Chibotaru, Victor PLDI '19: "Scalable Taint Specification ..."
Choi, Jiho PLDI '19: "Reusable Inline Caching for ..."
Churchill, Berkeley PLDI '19: "Semantic Program Alignment ..."
Çiçek, Ezgi PLDI '19: "Bidirectional Type Checking ..."
Cui, Huimin PLDI '19: "Panthera: Holistic Memory ..."
Cusumano-Towner, Marco F. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Dagand, Pierre-Évariste PLDI '19: "Usuba: High-Throughput and ..."
Dasgupta, Sandeep PLDI '19: "A Complete Formal Semantics ..."
Dathathri, Roshan PLDI '19: "CHET: An Optimizing Compiler ..."
Davis, Eddie C. PLDI '19: "Sparse Computation Data Dependence ..."
Dehnavi, Maryam Mehri PLDI '19: "Sparse Computation Data Dependence ..."
DeHon, André PLDI '19: "Ignis: Scaling Distribution-Oblivious ..."
Dhulipala, Laxman PLDI '19: "Low-Latency Graph Streaming ..."
Dillig, Isil PLDI '19: "Synthesizing Database Programs ..." PLDI '19: "Optimization and Abstraction: ..."
Ding, Zeyu PLDI '19: "Proving Differential Privacy ..."
Donaldson, Alastair F. PLDI '19: "Sparse Record and Replay with ..."
Dong, James PLDI '19: "Synthesizing Database Programs ..."
Dreossi, Tommaso PLDI '19: "Scenic: A Language for Scenario ..."
Duboscq, Gilles PLDI '19: "Renaissance: Benchmarking ..."
Eberhardt, Jan PLDI '19: "Unsupervised Learning of API ..."
Enea, Constantin PLDI '19: "Replication-Aware Linearizability ..."
Farzan, Azadeh PLDI '19: "Modular Divide-and-Conquer ..."
Feng, Xiaobing PLDI '19: "Panthera: Holistic Memory ..."
Feng, Xinyu PLDI '19: "Towards Certified Separate ..."
Férée, Hugo PLDI '19: "Characterising Renaming within ..."
Foster, Jeffrey S. PLDI '19: "Type-Level Computations for ..."
Foster, Nate PLDI '19: "Scalable Verification of Probabilistic ..."
Fox, Anthony PLDI '19: "Verified Compilation on a ..."
Fremont, Daniel J. PLDI '19: "Scenic: A Language for Scenario ..."
Fu, Hongfei PLDI '19: "Cost Analysis of Nondeterministic ..."
Fu, Zhoulai PLDI '19: "Effective Floating-Point Analysis ..."
Gaboardi, Marco PLDI '19: "Bidirectional Type Checking ..."
Garg, Deepak PLDI '19: "Bidirectional Type Checking ..."
Gershuni, Elazar PLDI '19: "Simple and Precise Static ..."
Ghanathe, Nikhil PLDI '19: "Compiling KB-Sized Machine ..."
Ghosh, Shromona PLDI '19: "Scenic: A Language for Scenario ..."
Gilray, Thomas PLDI '19: "Size-Change Termination as ..."
Goharshady, Amir Kafshdar PLDI '19: "Cost Analysis of Nondeterministic ..."
Gopinath, Rahul PLDI '19: "Parser-Directed Fuzzing ..."
Gopinath, Sridhar PLDI '19: "Compiling KB-Sized Machine ..."
Grégoire, Benjamin PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Grosser, Tobias PLDI '19: "A Fast Analytical Model of ..."
Guan, Hui PLDI '19: "Wootz: A Compiler-Based Framework ..."
Gunawi, Haryadi S. PLDI '19: "DFix: Automatically Fixing ..."
Gurfinkel, Arie PLDI '19: "Simple and Precise Static ..."
Guria, Sankha Narayan PLDI '19: "Type-Level Computations for ..."
Gysi, Tobias PLDI '19: "A Fast Analytical Model of ..."
Hall, Mary PLDI '19: "Sparse Computation Data Dependence ..."
Hallahan, William T. PLDI '19: "Lazy Counterfactual Symbolic ..."
Hammer, Matthew A. PLDI '19: "ILC: A Calculus for Composable, ..."
Heo, Kihong PLDI '19: "Continuously Reasoning about ..."
Hoefler, Torsten PLDI '19: "A Fast Analytical Model of ..."
Hoffmann, Jan PLDI '19: "Resource-Guided Program Synthesis ..."
Höschele, Matthias PLDI '19: "Parser-Directed Fuzzing ..."
Hsu, Justin PLDI '19: "Scalable Verification of Probabilistic ..."
Huang, Jian PLDI '19: "AutoPersist: An Easy-To-Use ..."
Hur, Chung-Kil PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Ish-Shalom, Oren PLDI '19: "Computing Summaries of String ..."
Itzhaky, Shachar PLDI '19: "Computing Summaries of String ..."
Ives, Zachary G. PLDI '19: "Data-Trace Types for Distributed ..."
Iyer, Arun PLDI '19: "Synthesis and Machine Learning ..."
Jagannathan, Suresh PLDI '19: "An Inductive Synthesis Framework ..."
Jhala, Ranjit PLDI '19: "FaCT: A DSL for Timing-Sensitive ..." PLDI '19: "Lazy Counterfactual Symbolic ..."
Jiang, Hanru PLDI '19: "Towards Certified Separate ..."
Johannesmeyer, Brian PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Jonnalagedda, Manohar PLDI '19: "Synthesis and Machine Learning ..."
Kaashoek, M. Frans PLDI '19: "Argosy: Verifying Layered ..."
Kahn, David M. PLDI '19: "Scalable Verification of Probabilistic ..."
Kampmann, Alexander PLDI '19: "Parser-Directed Fuzzing ..."
Kandemir, Mahmut Taylan PLDI '19: "Co-optimizing Memory-Level ..."
Kang, Jeehoon PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Kapus, Timotej PLDI '19: "Computing Summaries of String ..."
Karakoy, Mustafa PLDI '19: "Co-optimizing Memory-Level ..."
Karel, Ben PLDI '19: "Ignis: Scaling Distribution-Oblivious ..."
Kasampalis, Theodoros PLDI '19: "A Complete Formal Semantics ..."
Kasikci, Baris PLDI '19: "Huron: Hybrid False Sharing ..."
Kazerounian, Milod PLDI '19: "Type-Level Computations for ..."
Khan, Tanvir Ahmed PLDI '19: "Huron: Hybrid False Sharing ..."
Kifer, Daniel PLDI '19: "Proving Differential Privacy ..."
Kim, Dohyeong PLDI '19: "SemCluster: Clustering of ..."
Kinder, Johannes PLDI '19: "Sound Regular Expression Semantics ..."
Knoth, Tristan PLDI '19: "Resource-Guided Program Synthesis ..."
Kokologiannakis, Michalis PLDI '19: "Model Checking for Weakly ..."
Kong, Martin PLDI '19: "Model-Driven Transformations ..."
Koparkar, Chaitanya PLDI '19: "LoCal: A Language for Programs ..."
Kozen, Dexter PLDI '19: "Scalable Verification of Probabilistic ..."
Krishna, Shankaranarayanan PLDI '19: "Verification of Programs under ..."
Krishnaswami, Neelakantan R. PLDI '19: "A Typed, Algebraic Approach ..."
Kuhlenschmidt, Andre PLDI '19: "Toward Efficient Gradual Typing ..."
Kulkarni, Milind PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..." PLDI '19: "Composable, Sound Transformations ..."
Kumar, Praveen PLDI '19: "Scalable Verification of Probabilistic ..."
Kumar, Ramana PLDI '19: "Verified Compilation on a ..."
Lahav, Ori PLDI '19: "Robustness against Release/Acquire ..."
Laine, Kim PLDI '19: "CHET: An Optimizing Compiler ..."
Lam, Monica S. PLDI '19: "Genie: A Generator of Natural ..."
Lauter, Kristin PLDI '19: "CHET: An Optimizing Compiler ..."
Le, Ton Chanh PLDI '19: "SLING: Using Dynamic Analysis ..."
Lee, Sung-Hwan PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Lee, Wen-Chuan PLDI '19: "Programming Support for Autonomizing ..."
Le Goues, Claire PLDI '19: "Lightweight Multi-Language ..."
Leopoldseder, David PLDI '19: "Renaissance: Benchmarking ..."
Lew, Alexander K. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Li, Guangpu PLDI '19: "DFix: Automatically Fixing ..."
Liang, Hongjin PLDI '19: "Towards Certified Separate ..."
Liao, Kevin PLDI '19: "ILC: A Calculus for Composable, ..."
Lidbury, Christopher PLDI '19: "Sparse Record and Replay with ..."
Lim, Seung-Hwan PLDI '19: "Wootz: A Compiler-Based Framework ..."
Liu, Haopeng PLDI '19: "DFix: Automatically Fixing ..."
Liu, Lun PLDI '19: "Accelerating Sequential Consistency ..."
Liu, Peng PLDI '19: "Programming Support for Autonomizing ..."
Liu, Yingqi PLDI '19: "Programming Support for Autonomizing ..."
Lööw, Andreas PLDI '19: "Verified Compilation on a ..."
Loring, Blake PLDI '19: "Sound Regular Expression Semantics ..."
Lu, Shan PLDI '19: "DFix: Automatically Fixing ..."
Lucia, Brandon PLDI '19: "Transactional Concurrency ..." PLDI '19: "Supporting Peripherals in ..."
Lv, Fang PLDI '19: "Panthera: Holistic Memory ..."
Ma, Shiqing PLDI '19: "Programming Support for Autonomizing ..."
Madhusudan, P. PLDI '19: "Learning Stateful Preconditions ..."
Maeng, Kiwan PLDI '19: "Supporting Peripherals in ..."
Magill, Stephen PLDI '19: "An Inductive Synthesis Framework ..."
Maleki, Saeed PLDI '19: "CHET: An Optimizing Compiler ..."
Mamouras, Konstantinos PLDI '19: "Data-Trace Types for Distributed ..."
Mansinghka, Vikash K. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Margalit, Roy PLDI '19: "Robustness against Release/Acquire ..."
Mathis, Björn PLDI '19: "Parser-Directed Fuzzing ..."
McGregor, Andrew PLDI '19: "Mesh: Compacting Memory Management ..."
Mera, Michaël PLDI '19: "Parser-Directed Fuzzing ..."
Mercadier, Darius PLDI '19: "Usuba: High-Throughput and ..."
Miller, Andrew PLDI '19: "ILC: A Calculus for Composable, ..."
Millstein, Todd PLDI '19: "Accelerating Sequential Consistency ..."
Mitchell, Duncan PLDI '19: "Sound Regular Expression Semantics ..."
Mohammadi, Mahdi Soltan PLDI '19: "Sparse Computation Data Dependence ..."
Moradshahi, Mehrad PLDI '19: "Genie: A Generator of Natural ..."
Mozafari, Barzan PLDI '19: "Huron: Hybrid False Sharing ..."
Musuvathi, Madanlal PLDI '19: "Accelerating Sequential Consistency ..." PLDI '19: "CHET: An Optimizing Compiler ..."
Mutlu, Onur PLDI '19: "Panthera: Holistic Memory ..."
Mutluergil, Suha Orhun PLDI '19: "Replication-Aware Linearizability ..."
Myreen, Magnus O. PLDI '19: "Verified Compilation on a ..."
Mytkowicz, Todd PLDI '19: "CHET: An Optimizing Compiler ..."
Nagarakatte, Santosh PLDI '19: "Parallelism-Centric What-If ..."
Naik, Mayur PLDI '19: "Continuously Reasoning about ..."
Nandy, Payal PLDI '19: "Sparse Computation Data Dependence ..."
Narodytska, Nina PLDI '19: "Simple and Precise Static ..."
Navas, Jorge A. PLDI '19: "Simple and Precise Static ..."
Newton, Ryan R. PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..."
Nguyen, ThanhVu PLDI '19: "SLING: Using Dynamic Analysis ..."
Nguyễn, Phúc C. PLDI '19: "Size-Change Termination as ..."
Nicolet, Victor PLDI '19: "Modular Divide-and-Conquer ..."
Norrish, Michael PLDI '19: "Verified Compilation on a ..."
Olschanowsky, Catherine PLDI '19: "Sparse Computation Data Dependence ..."
Owens, Scott PLDI '19: "Characterising Renaming within ..."
Padon, Oded PLDI '19: "Semantic Program Alignment ..."
Pailoor, Shankara PLDI '19: "Optimization and Abstraction: ..."
Palkhiwala, Yash PLDI '19: "Ignis: Scaling Distribution-Oblivious ..."
Park, Daejun PLDI '19: "A Complete Formal Semantics ..."
Parthasarathy, Suresh PLDI '19: "Synthesis and Machine Learning ..."
Perry, David M. PLDI '19: "SemCluster: Clustering of ..."
Petri, Gustavo PLDI '19: "Replication-Aware Linearizability ..."
Pichon-Pharabod, Jean PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Piskac, Ruzica PLDI '19: "Lazy Counterfactual Symbolic ..."
Pokam, Gilles PLDI '19: "Huron: Hybrid False Sharing ..."
Polikarpova, Nadia PLDI '19: "Resource-Guided Program Synthesis ..."
Pouchet, Louis-Noël PLDI '19: "Model-Driven Transformations ..." PLDI '19: "Generating Piecewise-Regular ..."
Powers, Bobby PLDI '19: "Mesh: Compacting Memory Management ..."
Prokopec, Aleksandar PLDI '19: "Renaissance: Benchmarking ..."
Pulte, Christopher PLDI '19: "Promising-ARM/RISC-V: A Simpler ..."
Qin, Xudong PLDI '19: "Cost Analysis of Nondeterministic ..."
Qu, Weihao PLDI '19: "Bidirectional Type Checking ..."
Raad, Azalea PLDI '19: "Model Checking for Weakly ..."
Radhakrishna, Arjun PLDI '19: "Synthesis and Machine Learning ..."
Raghothaman, Mukund PLDI '19: "Continuously Reasoning about ..."
Rainey, Mike PLDI '19: "LoCal: A Language for Programs ..."
Rajamani, Sriram K. PLDI '19: "Synthesis and Machine Learning ..."
Raychev, Veselin PLDI '19: "Unsupervised Learning of API ..." PLDI '19: "Scalable Taint Specification ..."
Renner, John PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Rinard, Martin C. PLDI '19: "Using Active Learning to Synthesize ..."
Rinetzky, Noam PLDI '19: "Computing Summaries of String ..." PLDI '19: "Simple and Precise Static ..."
Rodríguez, Gabriel PLDI '19: "Generating Piecewise-Regular ..."
Rosà, Andrea PLDI '19: "Renaissance: Benchmarking ..."
Roşu, Grigore PLDI '19: "A Complete Formal Semantics ..."
Rowe, Reuben N. S. PLDI '19: "Characterising Renaming within ..."
Ruppel, Emily PLDI '19: "Transactional Concurrency ..."
Ryzhyk, Leonid PLDI '19: "Simple and Precise Static ..."
Saad, Feras A. PLDI '19: "Gen: A General-Purpose Probabilistic ..."
Saarikivi, Olli PLDI '19: "CHET: An Optimizing Compiler ..."
Sagiv, Mooly PLDI '19: "Simple and Precise Static ..."
Saha, Shambwaditya PLDI '19: "Learning Stateful Preconditions ..."
Sakka, Laith PLDI '19: "LoCal: A Language for Programs ..." PLDI '19: "Sound, Fine-Grained Traversal ..."
Samanta, Roopsha PLDI '19: "SemCluster: Clustering of ..."
Sangiovanni-Vincentelli, Alberto L. PLDI '19: "Scenic: A Language for Scenario ..."
Sarma, Janarthanan PLDI '19: "Generating Piecewise-Regular ..."
Scalas, Alceste PLDI '19: "Verifying Message-Passing ..."
Seshadri, Vivek PLDI '19: "Compiling KB-Sized Machine ..."
Seshia, Sanjit A. PLDI '19: "Scenic: A Language for Scenario ..."
Shah, Rushi PLDI '19: "Synthesizing Database Programs ..."
Sharma, Rahul PLDI '19: "Compiling KB-Sized Machine ..." PLDI '19: "Semantic Program Alignment ..."
Shen, Jiasi PLDI '19: "Using Active Learning to Synthesize ..."
Shen, Xipeng PLDI '19: "Wootz: A Compiler-Based Framework ..."
Shi, Wenjun PLDI '19: "Cost Analysis of Nondeterministic ..."
Shull, Thomas PLDI '19: "AutoPersist: An Easy-To-Use ..." PLDI '19: "Reusable Inline Caching for ..."
Shun, Julian PLDI '19: "Low-Latency Graph Streaming ..."
Si, Xujie PLDI '19: "Continuously Reasoning about ..."
Siek, Jeremy G. PLDI '19: "Toward Efficient Gradual Typing ..."
Silva, Alexandra PLDI '19: "Scalable Verification of Probabilistic ..."
Simon, Doug PLDI '19: "Renaissance: Benchmarking ..."
Smith, Jonathan M. PLDI '19: "Ignis: Scaling Distribution-Oblivious ..."
Smolka, Steffen PLDI '19: "Scalable Verification of Probabilistic ..."
Socher, Richard PLDI '19: "Genie: A Generator of Natural ..."
Soeller, Gary PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Sonchack, John PLDI '19: "Ignis: Scaling Distribution-Oblivious ..."
Stanford, Caleb PLDI '19: "Data-Trace Types for Distributed ..."
Stefan, Deian PLDI '19: "FaCT: A DSL for Timing-Sensitive ..."
Steffen, Samuel PLDI '19: "Unsupervised Learning of API ..."
Strout, Michelle Mills PLDI '19: "Sparse Computation Data Dependence ..."
Studener, Martin PLDI '19: "Renaissance: Benchmarking ..."
Su, Zhendong PLDI '19: "Effective Floating-Point Analysis ..."
Sundararajah, Kirshanthan PLDI '19: "Sound, Fine-Grained Traversal ..." PLDI '19: "Composable, Sound Transformations ..."
Tan, Yong Kiam PLDI '19: "Verified Compilation on a ..."
Tang, Xulong PLDI '19: "Co-optimizing Memory-Level ..."
Tannen, Val PLDI '19: "Data-Trace Types for Distributed ..."
Tassarotti, Joseph PLDI '19: "Argosy: Verifying Layered ..."
Tench, David PLDI '19: "Mesh: Compacting Memory Management ..."
Thompson, Simon J. PLDI '19: "Characterising Renaming within ..."
Tobin-Hochstadt, Sam PLDI '19: "Size-Change Termination as ..."
Torrellas, Josep PLDI '19: "AutoPersist: An Easy-To-Use ..." PLDI '19: "Reusable Inline Caching for ..."
Tůma, Petr PLDI '19: "Renaissance: Benchmarking ..."
Vafeiadis, Viktor PLDI '19: "Model Checking for Weakly ..."
Van Horn, David PLDI '19: "Type-Level Computations for ..." PLDI '19: "Size-Change Termination as ..."