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

181 authors

proc time: 4.08