Powered by
Conference Publishing Consulting

37th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2016), June 13–17, 2016, Santa Barbara, CA, USA

PLDI 2016 – Author Index

Contents - Abstracts - Authors

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

Achour, Sara PLDI'16: "Configuration Synthesis for ..."
Adams, Michael D. PLDI'16: "On the Complexity and Performance ..."
Aiken, Alex PLDI'16: "Verifying Bit-Manipulations ..." PLDI'16: "Stratified Synthesis: Automatically ..."
Albarghouthi, Aws PLDI'16: "MapReduce Program Synthesis ..."
Albers, Jacob PLDI'16: "Programmatic and Direct Manipulation, ..."
Austin, Thomas H. PLDI'16: "Precise, Dynamic Information ..."
Baghsorkhi, Sara S. PLDI'16: "FlexVec: Auto-Vectorization ..."
Bao, Wenlei PLDI'16: "Effective Padding of Multidimensional ..."
Barik, Rajkishore PLDI'16: "Latte: A Language, Compiler, ..."
Beckett, Ryan PLDI'16: "Temporal NetKAT ..."
Beightol, Quinn PLDI'16: "Accepting Blame for Safe Tunneled ..."
Bielik, Pavol PLDI'16: "SDNRacer: Concurrency Analysis ..."
Bjørner, Nikolaj PLDI'16: "Cardinalities and Universal ..."
Burtscher, Martin PLDI'16: "Higher-Order and Tuple-Based ..."
Černý, Pavol PLDI'16: "Event-Driven Network Programming ..."
Chamith, Buddhika PLDI'16: "Living on the Edge: Rapid-Toggling ..."
Chaudhuri, Swarat PLDI'16: "Synthesizing Transformations ..."
Chen, Hao PLDI'16: "Toward Compositional Verification ..."
Chen, Yuting PLDI'16: "Coverage-Directed Differential ..."
Cheung, Alvin PLDI'16: "Verified Lifting of Stencil ..."
Chisnall, David PLDI'16: "Into the Depths of C: Elaborating ..."
Chitil, Olaf PLDI'16: "Lightweight Computation Tree ..."
Chiu, Meng-Chieh PLDI'16: "Assessing the Limits of Program-Specific ..."
Chong, Stephen PLDI'16: "Precise, Dynamic Information ..."
Chugh, Ravi PLDI'16: "Programmatic and Direct Manipulation, ..."
Cohen, Albert PLDI'16: "Effective Padding of Multidimensional ..."
Cok, David PLDI'16: "Polymorphic Type Inference ..."
Cosman, Benjamin PLDI'16: "Refinement Types for TypeScript ..."
Costa, Manuel PLDI'16: "A Design and Verification ..."
Costanzo, David PLDI'16: "End-to-End Verification of ..."
Dalessandro, Luke PLDI'16: "Living on the Edge: Rapid-Toggling ..."
David, Yaniv PLDI'16: "Statistical Similarity of ..."
Degenbaev, Ulan PLDI'16: "Idle Time Garbage Collection ..."
Devietti, Joseph PLDI'16: "Remix: Online Detection and ..."
Dillig, Isil PLDI'16: "Cartesian Hoare Logic for ..." PLDI'16: "Synthesizing Transformations ..."
Donaldson, Alastair F. PLDI'16: "Exposing Errors Related to ..."
Eisinger, Jochen PLDI'16: "Idle Time Garbage Collection ..."
Eizenberg, Ariel PLDI'16: "Remix: Online Detection and ..."
El-Hassany, Ahmed PLDI'16: "SDNRacer: Concurrency Analysis ..."
Ernst, Manfred PLDI'16: "Idle Time Garbage Collection ..."
Ernst, Michael D. PLDI'16: "Fast Synthesis of Fast Collections ..."
Faddegon, Maarten PLDI'16: "Lightweight Computation Tree ..."
Flanagan, Cormac PLDI'16: "Precise, Dynamic Information ..."
Foster, Jeffrey S. PLDI'16: "Just-in-Time Static Type Checking ..."
Foster, Nate PLDI'16: "Event-Driven Network Programming ..."
Fox, Armando PLDI'16: "Latte: A Language, Compiler, ..."
Gleissenthall, Klaus v. PLDI'16: "Cardinalities and Universal ..."
Golan-Gueta, Guy PLDI'16: "Transactional Data Structure ..."
Greenberg, Michael PLDI'16: "Temporal NetKAT ..."
Grossman, Dan PLDI'16: "Verified Peephole Optimizations ..."
Gu, Ronghui PLDI'16: "Toward Compositional Verification ..." PLDI'16: "End-to-End Verification of ..."
Guerra, Gustavo PLDI'16: "Types from Data: Making Structured ..."
Guha, Arjun PLDI'16: "Rehearsal: A Configuration ..."
Hance, Travis PLDI'16: "Precise, Dynamic Information ..."
Hempel, Brian PLDI'16: "Programmatic and Direct Manipulation, ..."
Heule, Stefan PLDI'16: "Stratified Synthesis: Automatically ..."
Hill, Parker PLDI'16: "Input Responsiveness: Using ..."
Hojjat, Hossein PLDI'16: "Event-Driven Network Programming ..."
Hollenbeck, Celeste PLDI'16: "On the Complexity and Performance ..."
Hong, Changwan PLDI'16: "Effective Padding of Multidimensional ..."
Hu, Shiliang PLDI'16: "Remix: Online Detection and ..."
Itzhaky, Shachar PLDI'16: "Verified Lifting of Stencil ..."
Jacek, Nicholas PLDI'16: "Assessing the Limits of Program-Specific ..."
Jagannathan, Suresh PLDI'16: "Automatically Learning Shape ..."
Jhala, Ranjit PLDI'16: "Refinement Types for TypeScript ..."
Jo, Gangwon PLDI'16: "A Distributed OpenCL Framework ..."
Jung, Jaehoon PLDI'16: "A Distributed OpenCL Framework ..."
Kamil, Shoaib PLDI'16: "Verified Lifting of Stencil ..."
Keidar, Idit PLDI'16: "Transactional Data Structure ..."
Kempe, David PLDI'16: "Occurrence Typing Modulo Theories ..."
Kent, Andrew M. PLDI'16: "Occurrence Typing Modulo Theories ..."
Kim, Junghyun PLDI'16: "A Distributed OpenCL Framework ..."
Kim, Jungwon PLDI'16: "A Distributed OpenCL Framework ..."
Klinger, Christian PLDI'16: "Synthesizing Transformations ..."
Krishnamoorthy, Sriram PLDI'16: "Effective Padding of Multidimensional ..."
Kuraj, Ivan PLDI'16: "Program Synthesis from Polymorphic ..."
Lal, Akash PLDI'16: "A Design and Verification ..."
Laurenzano, Michael A. PLDI'16: "Input Responsiveness: Using ..."
Lee, Jaejin PLDI'16: "A Distributed OpenCL Framework ..."
Lee, Wonyeol PLDI'16: "Verifying Bit-Manipulations ..."
Lhoták, Ondřej PLDI'16: "From Datalog to Flix: A Declarative ..."
Lingard, James PLDI'16: "Into the Depths of C: Elaborating ..."
Liskov, Barbara PLDI'16: "Accepting Blame for Safe Tunneled ..."
Liu, Hai PLDI'16: "Latte: A Language, Compiler, ..."
Lockerman, Joshua PLDI'16: "Toward Compositional Verification ..."
Loginov, Alexey PLDI'16: "Polymorphic Type Inference ..."
Loncaric, Calvin PLDI'16: "Fast Synthesis of Fast Collections ..."
Lopes, Nuno P. PLDI'16: "A Design and Verification ..."
Madsen, Magnus PLDI'16: "From Datalog to Flix: A Declarative ..."
Mahlke, Scott PLDI'16: "Input Responsiveness: Using ..."
Maleki, Sepideh PLDI'16: "Higher-Order and Tuple-Based ..."
Markley, Chick PLDI'16: "Latte: A Language, Compiler, ..."
Marlin, Benjamin PLDI'16: "Assessing the Limits of Program-Specific ..."
Mars, Jason PLDI'16: "Input Responsiveness: Using ..."
Matthiesen, Justus PLDI'16: "Into the Depths of C: Elaborating ..."
McClurg, Jedidiah PLDI'16: "Event-Driven Network Programming ..."
McIlroy, Ross PLDI'16: "Idle Time Garbage Collection ..."
McMillan, Kenneth L. PLDI'16: "Ivy: Safety Verification by ..."
Memarian, Kayvan PLDI'16: "Into the Depths of C: Elaborating ..."
Might, Matthew PLDI'16: "On the Complexity and Performance ..."
Millstein, Todd PLDI'16: "Data-Driven Precondition Inference ..."
Miserez, Jeremie PLDI'16: "SDNRacer: Concurrency Analysis ..."
Moss, Eliot PLDI'16: "Assessing the Limits of Program-Specific ..."
Mullen, Eric PLDI'16: "Verified Peephole Optimizations ..."
Myers, Andrew C. PLDI'16: "Accepting Blame for Safe Tunneled ..."
Newton, Ryan R. PLDI'16: "Living on the Edge: Rapid-Toggling ..."
Nienhuis, Kyndylan PLDI'16: "Into the Depths of C: Elaborating ..."
Noonan, Matt PLDI'16: "Polymorphic Type Inference ..."
Padhi, Saswat PLDI'16: "Data-Driven Precondition Inference ..."
Padon, Oded PLDI'16: "Ivy: Safety Verification by ..."
Panda, Aurojit PLDI'16: "Ivy: Safety Verification by ..."
Partush, Nimrod PLDI'16: "Statistical Similarity of ..."
Payer, Hannes PLDI'16: "Idle Time Garbage Collection ..."
Petri, Gustavo PLDI'16: "Automatically Learning Shape ..."
Petricek, Tomas PLDI'16: "Types from Data: Making Structured ..."
Pokam, Gilles PLDI'16: "Remix: Online Detection and ..."
Polikarpova, Nadia PLDI'16: "Program Synthesis from Polymorphic ..."
Pouchet, Louis-Noël PLDI'16: "Effective Padding of Multidimensional ..."
Rajamani, Sriram PLDI'16: "A Design and Verification ..."
Ramanujam, J. PLDI'16: "Effective Padding of Multidimensional ..."
Rastello, Fabrice PLDI'16: "Effective Padding of Multidimensional ..."
Reddi, Vijay Janapa PLDI'16: "GreenWeb: Language Extensions ..."
Ren, Brianna M. PLDI'16: "Just-in-Time Static Type Checking ..."
Rinard, Martin C. PLDI'16: "Configuration Synthesis for ..."
Rybalchenko, Andrey PLDI'16: "Cardinalities and Universal ..."
Sadayappan, P. PLDI'16: "Effective Padding of Multidimensional ..."
Sagiv, Mooly PLDI'16: "Ivy: Safety Verification by ..."
Salvaneschi, Guido PLDI'16: "Accepting Blame for Safe Tunneled ..."
Samadi, Mehrzad PLDI'16: "Input Responsiveness: Using ..."
Sarpeshkar, Rahul PLDI'16: "Configuration Synthesis for ..."
Schkufza, Eric PLDI'16: "Stratified Synthesis: Automatically ..."
Seshia, Sanjit A. PLDI'16: "A Design and Verification ..."
Sewell, Peter PLDI'16: "Into the Depths of C: Elaborating ..."
Shambaugh, Rian PLDI'16: "Rehearsal: A Configuration ..."
Shao, Zhong PLDI'16: "Toward Compositional Verification ..." PLDI'16: "End-to-End Verification of ..."
Sharma, Rahul PLDI'16: "Verifying Bit-Manipulations ..." PLDI'16: "Stratified Synthesis: Automatically ..." PLDI'16: "Data-Driven Precondition Inference ..."
Shoham, Sharon PLDI'16: "Ivy: Safety Verification by ..."
Shpeisman, Tatiana PLDI'16: "Latte: A Language, Compiler, ..."
Sinha, Rohit PLDI'16: "A Design and Verification ..."
Smith, Calvin PLDI'16: "MapReduce Program Synthesis ..."
Solar-Lezama, Armando PLDI'16: "Verified Lifting of Stencil ..." PLDI'16: "Precise, Dynamic Information ..." PLDI'16: "Program Synthesis from Polymorphic ..."
Sorensen, Tyler PLDI'16: "Exposing Errors Related to ..."
Sousa, Marcelo PLDI'16: "Cartesian Hoare Logic for ..."
Spiegelman, Alexander PLDI'16: "Transactional Data Structure ..."
Spradlin, Mitchell PLDI'16: "Programmatic and Direct Manipulation, ..."
Su, Ting PLDI'16: "Coverage-Directed Differential ..."
Su, Zhendong PLDI'16: "Coverage-Directed Differential ..."
Sun, Chengnian PLDI'16: "Coverage-Directed Differential ..."
Svensson, Bo Joel PLDI'16: "Living on the Edge: Rapid-Toggling ..."
Syme, Don PLDI'16: "Types from Data: Making Structured ..."
Tang, Lingjia PLDI'16: "Input Responsiveness: Using ..."
Tatlock, Zachary PLDI'16: "Verified Peephole Optimizations ..."
Tobin-Hochstadt, Sam PLDI'16: "Occurrence Typing Modulo Theories ..."
Torlak, Emina PLDI'16: "Fast Synthesis of Fast Collections ..."
Totoni, Ehsan PLDI'16: "Latte: A Language, Compiler, ..."
Truong, Leonard PLDI'16: "Latte: A Language, Compiler, ..."
Vanbever, Laurent PLDI'16: "SDNRacer: Concurrency Analysis ..."
Vasudevan, Nalini PLDI'16: "FlexVec: Auto-Vectorization ..."
Vaswani, Kapil PLDI'16: "A Design and Verification ..."
Vechev, Martin PLDI'16: "SDNRacer: Concurrency Analysis ..."
Vekris, Panagiotis PLDI'16: "Refinement Types for TypeScript ..."
Walker, David PLDI'16: "Temporal NetKAT ..."
Watson, Robert N. M. PLDI'16: "Into the Depths of C: Elaborating ..."
Weiss, Aaron PLDI'16: "Rehearsal: A Configuration ..."
Wu, Xiongnan (Newman) PLDI'16: "Toward Compositional Verification ..."
Wu, Youfeng PLDI'16: "FlexVec: Auto-Vectorization ..."
Yaghmazadeh, Navid PLDI'16: "Synthesizing Transformations ..."
Yahav, Eran PLDI'16: "Statistical Similarity of ..."
Yang, Annie PLDI'16: "Higher-Order and Tuple-Based ..."
Yang, Jean PLDI'16: "Precise, Dynamic Information ..."
Yee, Ming-Ho PLDI'16: "From Datalog to Flix: A Declarative ..."
Zhang, Yizhou PLDI'16: "Accepting Blame for Safe Tunneled ..."
Zhao, Jianjun PLDI'16: "Coverage-Directed Differential ..."
Zhu, He PLDI'16: "Automatically Learning Shape ..."
Zhu, Yuhao PLDI'16: "GreenWeb: Language Extensions ..."
Zuniga, Daryl PLDI'16: "Verified Peephole Optimizations ..."

176 authors

proc time: 0.3