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

38th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2017), June 18–23, 2017, Barcelona, Spain

PLDI 2017 – Author Index

Contents - Abstracts - Authors

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

Abdulla, Parosh Aziz PLDI'17: "Flatten and Conquer: ..."
Acar, Umut A. PLDI'17: "Responsive Parallel ..."
Ahmad, Maaz Bin Safeer PLDI'17: "Gradual Synthesis ..."
Ahmed, Amal PLDI'17: "FunTAL: Reasonably ..."
Aiken, Alex PLDI'17: "Synthesizing Program ..."
Alur, Rajeev PLDI'17: "StreamQRE: Modular ..."
Antonopoulos, Timos PLDI'17: "Decomposition Instead ..."
Ariola, Zena M. PLDI'17: "Compiling without ..."
Atig, Mohamed Faouzi PLDI'17: "Flatten and Conquer: ..."
Bastani, Osbert PLDI'17: "Synthesizing Program ..."
Bastien, JF PLDI'17: "Bringing the Web ..."
Beckett, Ryan PLDI'17: "Network Configuration ..."
Billes, Marina PLDI'17: "Systematic Black-Box ..."
Blankstein, Aaron PLDI'17: "Simple, Fast, and ..."
Bodik, Rastislav PLDI'17: "Gradual Synthesis ..." PLDI'17: "Synthesizing Highly ..."
Bornholt, James PLDI'17: "Synthesizing Memory ..."
Boroujeni, Ashkan Forouhi PLDI'17: "Compositional Recurrence ..."
Bourke, Timothy PLDI'17: "A Formally Verified ..."
Breck, Jason PLDI'17: "Compositional Recurrence ..."
Brooks, Alexander PLDI'17: "Control-Flow Recovery ..."
Brun, Lélio PLDI'17: "A Formally Verified ..."
Canino, Anthony PLDI'17: "Proactive and Adaptive ..."
Chamith, Buddhika PLDI'17: "Instruction Punning: ..."
Chaudhuri, Swarat PLDI'17: "Component-Based ..."
Chen, Yu-Fang PLDI'17: "Flatten and Conquer: ..."
Cheung, Alvin PLDI'17: "HoTTSQL: Proving ..." PLDI'17: "Synthesizing Highly ..."
Chu, Shumo PLDI'17: "HoTTSQL: Proving ..."
Costa, Manuel PLDI'17: "Simple, Fast, and ..."
Dagand, Pierre-Évariste PLDI'17: "A Formally Verified ..."
Dalessandro, Luke PLDI'17: "Instruction Punning: ..."
D'Antoni, Loris PLDI'17: "Control-Flow Recovery ..." PLDI'17: "Automatic Program ..."
D'Antras, Amanieu PLDI'17: "Low Overhead Dynamic ..."
Das, Sanjoy PLDI'17: "Taming Undefined ..."
David, Yaniv PLDI'17: "Similarity of Binaries ..."
Devietti, Joseph PLDI'17: "BARRACUDA: Binary-level ..."
Diep, Bui Phi PLDI'17: "Flatten and Conquer: ..."
Dillig, Isil PLDI'17: "Component-Based ..."
Dimoulas, Christos PLDI'17: "FunTAL: Reasonably ..."
Ding, Yufei PLDI'17: "Generalizations ..."
Downen, Paul PLDI'17: "Compiling without ..."
Doychev, Goran PLDI'17: "Rigorous Analysis ..."
Dreyer, Derek PLDI'17: "Repairing Sequential ..."
Duboscq, Gilles PLDI'17: "Practical Partial ..."
Eisenberg, Richard A. PLDI'17: "Levity Polymorphism ..."
Eizenberg, Ariel PLDI'17: "BARRACUDA: Binary-level ..."
Elsman, Martin PLDI'17: "Futhark: Purely ..."
Farzan, Azadeh PLDI'17: "Synthesis of Divide ..."
Fedyukovich, Grigory PLDI'17: "Gradual Synthesis ..."
Feng, Yu PLDI'17: "Component-Based ..."
Flanagan, Cormac PLDI'17: "BigFoot: Static ..."
Freund, Stephen N. PLDI'17: "BigFoot: Static ..."
Fu, Zhoulai PLDI'17: "Achieving High Coverage ..."
Garside, Jim PLDI'17: "Low Overhead Dynamic ..."
Gazzillo, Paul PLDI'17: "Decomposition Instead ..."
Gohman, Dan PLDI'17: "Bringing the Web ..."
Gorgovan, Cosmin PLDI'17: "Low Overhead Dynamic ..."
Grimmer, Matthias PLDI'17: "Practical Partial ..."
Guan, Hui PLDI'17: "Generalizations ..."
Haas, Andreas PLDI'17: "Bringing the Web ..."
Harper, Robert PLDI'17: "Responsive Parallel ..."
Henglein, Fritz PLDI'17: "Futhark: Purely ..."
Henriksen, Troels PLDI'17: "Futhark: Purely ..."
Hicks, Michael PLDI'17: "Decomposition Instead ..."
Holík, Lukáš PLDI'17: "Flatten and Conquer: ..."
Holman, Michael PLDI'17: "Bringing the Web ..."
Hu, Qinheping PLDI'17: "Automatic Program ..."
Huang, Daniel PLDI'17: "Compiling Markov ..."
Humer, Christian PLDI'17: "Practical Partial ..."
Hur, Chung-Kil PLDI'17: "Taming Undefined ..." PLDI'17: "Repairing Sequential ..."
Ives, Zachary G. PLDI'17: "StreamQRE: Modular ..."
Kanade, Aditya PLDI'17: "Static Deadlock ..."
Kang, Jeehoon PLDI'17: "Repairing Sequential ..."
Kedia, Piyus PLDI'17: "Simple, Fast, and ..."
Khanna, Sanjeev PLDI'17: "StreamQRE: Modular ..."
Kim, Yoonseung PLDI'17: "Taming Undefined ..."
Kincaid, Zachary PLDI'17: "Compositional Recurrence ..."
Kini, Dileep PLDI'17: "Dynamic Race Prediction ..."
Köpf, Boris PLDI'17: "Rigorous Analysis ..."
Koskinen, Eric PLDI'17: "Decomposition Instead ..."
Krishnamoorthy, Sriram PLDI'17: "Cache Locality Optimization ..."
Kuraj, Ivan PLDI'17: "DemoMatch: API Discovery ..."
Lahav, Ori PLDI'17: "Repairing Sequential ..."
Lee, Juneyoung PLDI'17: "Taming Undefined ..."
Leroy, Xavier PLDI'17: "A Formally Verified ..."
Lhoták, Ondřej PLDI'17: "Context Transformations ..." PLDI'17: "Miniphases: Compilation ..."
Li, Yue PLDI'17: "Efficient and Precise ..."
Liang, Percy PLDI'17: "Synthesizing Program ..."
Liblit, Ben PLDI'17: "Control-Flow Recovery ..."
Lifflander, Jonathan PLDI'17: "Cache Locality Optimization ..."
Liu, Yu David PLDI'17: "Proactive and Adaptive ..."
Lopes, Nuno P. PLDI'17: "Taming Undefined ..."
Luján, Mikel PLDI'17: "Low Overhead Dynamic ..."
Mahajan, Ratul PLDI'17: "Network Configuration ..."
Majnemer, David PLDI'17: "Taming Undefined ..."
Mamouras, Konstantinos PLDI'17: "StreamQRE: Modular ..."
Mansky, William PLDI'17: "BARRACUDA: Binary-level ..."
Martins, Ruben PLDI'17: "Component-Based ..."
Mathur, Umang PLDI'17: "Dynamic Race Prediction ..."
Maurer, Luke PLDI'17: "Compiling without ..."
Menendez, David PLDI'17: "Alive-Infer: Data-Driven ..."
Millstein, Todd PLDI'17: "Network Configuration ..."
Møller, Anders PLDI'17: "Systematic Black-Box ..."
Morrisett, Greg PLDI'17: "Compiling Markov ..."
Muller, Stefan K. PLDI'17: "Responsive Parallel ..."
Musuvathi, Madan PLDI'17: "Fusing Effectful ..."
Mytkowicz, Todd PLDI'17: "Fusing Effectful ..."
Nagarakatte, Santosh PLDI'17: "Alive-Infer: Data-Driven ..."
Newton, Ryan R. PLDI'17: "Instruction Punning: ..."
Nicolet, Victor PLDI'17: "Synthesis of Divide ..."
Ning, Lin PLDI'17: "Generalizations ..."
Oancea, Cosmin E. PLDI'17: "Futhark: Purely ..."
Odersky, Martin PLDI'17: "Miniphases: Compilation ..."
Ohmann, Peter PLDI'17: "Control-Flow Recovery ..."
Padhye, Jitendra PLDI'17: "Network Configuration ..."
Parkinson, Matthew PLDI'17: "Simple, Fast, and ..."
Partush, Nimrod PLDI'17: "Similarity of Binaries ..."
Patterson, Daniel PLDI'17: "FunTAL: Reasonably ..."
Peng, Yuanfeng PLDI'17: "BARRACUDA: Binary-level ..."
Perconti, Jamie PLDI'17: "FunTAL: Reasonably ..."
Petrashko, Dmitry PLDI'17: "Miniphases: Compilation ..."
Peyton Jones, Simon PLDI'17: "Levity Polymorphism ..." PLDI'17: "Compiling without ..."
Pigli, Toma PLDI'17: "BARRACUDA: Binary-level ..."
Pouzet, Marc PLDI'17: "A Formally Verified ..."
Pradel, Michael PLDI'17: "Systematic Black-Box ..."
Raghothaman, Mukund PLDI'17: "StreamQRE: Modular ..."
Regehr, John PLDI'17: "Taming Undefined ..."
Reps, Thomas PLDI'17: "Compositional Recurrence ..."
Rezine, Ahmed PLDI'17: "Flatten and Conquer: ..."
Rhodes, Dustin PLDI'17: "BigFoot: Static ..."
Rieg, Lionel PLDI'17: "A Formally Verified ..."
Rossberg, Andreas PLDI'17: "Bringing the Web ..."
Rümmer, Philipp PLDI'17: "Flatten and Conquer: ..."
Saarikivi, Olli PLDI'17: "Fusing Effectful ..."
Santhiar, Anirudh PLDI'17: "Static Deadlock ..."
Schneider, Scott PLDI'17: "Low-Synchronization, ..."
Schuff, Derek L. PLDI'17: "Bringing the Web ..."
Seaton, Chris PLDI'17: "Practical Partial ..."
Serup, Niels G. W. PLDI'17: "Futhark: Purely ..."
Sharma, Rahul PLDI'17: "Synthesizing Program ..."
Shen, Xipeng PLDI'17: "Generalizations ..."
Simon, Doug PLDI'17: "Practical Partial ..."
Solar-Lezama, Armando PLDI'17: "DemoMatch: API Discovery ..."
Song, Youngju PLDI'17: "Taming Undefined ..."
Stadler, Lukas PLDI'17: "Practical Partial ..."
Su, Zhendong PLDI'17: "Skeletal Program ..." PLDI'17: "Achieving High Coverage ..."
Suciu, Dan PLDI'17: "HoTTSQL: Proving ..."
Sun, Chengnian PLDI'17: "Skeletal Program ..."
Svensson, Bo Joel PLDI'17: "Instruction Punning: ..."
Tan, Tian PLDI'17: "Efficient and Precise ..."
Terauchi, Tachio PLDI'17: "Decomposition Instead ..."
Thiessen, Rei PLDI'17: "Context Transformations ..."
Titzer, Ben L. PLDI'17: "Bringing the Web ..."
Torlak, Emina PLDI'17: "Synthesizing Memory ..."
Tristan, Jean-Baptiste PLDI'17: "Compiling Markov ..."
Vafeiadis, Viktor PLDI'17: "Repairing Sequential ..."
Van Geffen, Jacob PLDI'17: "Component-Based ..."
Vaswani, Kapil PLDI'17: "Simple, Fast, and ..."
Veanes, Margus PLDI'17: "Fusing Effectful ..."
Viswanathan, Mahesh PLDI'17: "Dynamic Race Prediction ..."
Vytiniotis, Dimitrios PLDI'17: "Simple, Fast, and ..."
Wagner, Luke PLDI'17: "Bringing the Web ..."
Walker, David PLDI'17: "Network Configuration ..."
Wang, Chenglong PLDI'17: "Synthesizing Highly ..."
Wei, Shiyi PLDI'17: "Decomposition Instead ..."
Weitz, Konstantin PLDI'17: "HoTTSQL: Proving ..."
Wimmer, Christian PLDI'17: "Practical Partial ..."
Wöß, Andreas PLDI'17: "Practical Partial ..."
Wu, Kun-Lung PLDI'17: "Low-Synchronization, ..."
Würthinger, Thomas PLDI'17: "Practical Partial ..."
Xue, Jingling PLDI'17: "Efficient and Precise ..."
Yahav, Eran PLDI'17: "Similarity of Binaries ..."
Yessenov, Kuat PLDI'17: "DemoMatch: API Discovery ..."
Zakai, Alon PLDI'17: "Bringing the Web ..."
Zhang, Qirun PLDI'17: "Skeletal Program ..."

174 authors

proc time: 2.65