Powered by
Conference Publishing Consulting

36th ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI 2015), June 13–17, 2015, Portland, OR, USA

PLDI 2015 – 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 Y Z

Agrawal, Kunal PLDI '15: "Efficient Execution of Recursive ..."
Aiken, Alex PLDI '15: "Verification of Producer-Consumer ..." PLDI '15: "Composing Concurrency Control ..."
Amarasinghe, Saman PLDI '15: "Autotuning Algorithmic Choice ..." PLDI '15: "Helium: Lifting High-Performance ..."
Anderson, Thomas PLDI '15: "Verdi: A Framework for Implementing ..."
Ansel, Jason PLDI '15: "Autotuning Algorithmic Choice ..."
Appel, Andrew W. PLDI '15: "Verification of a Cryptographic ..."
Balakrishna, Shruthi PLDI '15: "Tree Dependence Analysis ..."
Banerjee, Anindya PLDI '15: "Mechanized Verification of ..."
Barowy, Daniel W. PLDI '15: "FlashRelate: Extracting Relational ..."
Bauer, Michael PLDI '15: "Verification of Producer-Consumer ..."
Bosboom, Jeffrey PLDI '15: "Helium: Lifting High-Performance ..."
Bowman, William J. PLDI '15: "Profile-Guided Meta-Programming ..."
Burgstaller, Bernd PLDI '15: "LaminarIR: Compile-Time Queues ..."
Carbonneaux, Quentin PLDI '15: "Compositional Certified Resource ..."
Černý, Pavol PLDI '15: "Efficient Synthesis of Network ..."
Chaudhuri, Swarat PLDI '15: "Synthesizing Data Structure ..."
Chin, Wei-Ngan PLDI '15: "Termination and Non-termination ..."
Chitil, Olaf PLDI '15: "Algorithmic Debugging of Real-World ..."
Chong, Nathan PLDI '15: "Many-Core Compiler Fuzzing ..."
Chong, Stephen PLDI '15: "Exploring and Enforcing Security ..."
Chu, Duc-Hiep PLDI '15: "Automatic Induction Proofs ..."
Crary, Karl PLDI '15: "Peer-to-Peer Affine Commitment ..."
Deligiannis, Pantazis PLDI '15: "Asynchronous Programming, ..."
Dillig, Isil PLDI '15: "Synthesizing Data Structure ..." PLDI '15: "Static Detection of Asymptotic ..."
Ding, Wei PLDI '15: "Optimizing Off-Chip Accesses ..."
Ding, Yufei PLDI '15: "Autotuning Algorithmic Choice ..."
Donaldson, Alastair F. PLDI '15: "Asynchronous Programming, ..." PLDI '15: "Many-Core Compiler Fuzzing ..."
Dreyer, Derek PLDI '15: "Verifying Read-Copy-Update ..."
Ducasse, Stéphane PLDI '15: "Zero-Overhead Metaprogramming: ..."
Dybvig, R. Kent PLDI '15: "Profile-Guided Meta-Programming ..."
Ellison, Chucky PLDI '15: "Defining the Undefinedness ..."
Emani, Murali Krishna PLDI '15: "Celebrating Diversity: A Mixture ..."
Emmi, Michael PLDI '15: "Monitoring Refinement via ..."
Enea, Constantin PLDI '15: "Monitoring Refinement via ..."
Engelhardt, Kai PLDI '15: "Relaxing Safely: Verified ..."
Ernst, Michael D. PLDI '15: "Verdi: A Framework for Implementing ..."
Faddegon, Maarten PLDI '15: "Algorithmic Debugging of Real-World ..."
Feser, John K. PLDI '15: "Synthesizing Data Structure ..."
Foster, Nate PLDI '15: "Efficient Synthesis of Network ..."
Gammie, Peter PLDI '15: "Relaxing Safely: Verified ..."
Garbuzov, Dmitri PLDI '15: "A Formal C Memory Model Supporting ..."
Golan-Gueta, Guy PLDI '15: "Composing Concurrency Control ..."
Gonnord, Laure PLDI '15: "Synthesis of Ranking Functions ..."
Gulwani, Sumit PLDI '15: "FlashRelate: Extracting Relational ..."
Hall, Mary PLDI '15: "Loop and Data Transformations ..."
Hamza, Jad PLDI '15: "Monitoring Refinement via ..."
Hart, Ted PLDI '15: "FlashRelate: Extracting Relational ..."
Hathhorn, Chris PLDI '15: "Defining the Undefinedness ..."
Hoffmann, Jan PLDI '15: "Compositional Certified Resource ..."
Hojjat, Hossein PLDI '15: "Efficient Synthesis of Network ..."
Hosking, Antony L. PLDI '15: "Relaxing Safely: Verified ..."
Huang, Jeff PLDI '15: "Stateless Model Checking Concurrent ..."
Hur, Chung-Kil PLDI '15: "A Formal C Memory Model Supporting ..."
Isradisaikul, Chinawat PLDI '15: "Finding Counterexamples from ..."
Jaffar, Joxan PLDI '15: "Automatic Induction Proofs ..."
Jagannathan, Suresh PLDI '15: "Synthesizing Racy Tests ..." PLDI '15: "Declarative Programming over ..."
Jo, Youngjoon PLDI '15: "Efficient Execution of Recursive ..."
Johnson, Andrew PLDI '15: "Exploring and Enforcing Security ..."
Kaki, Gowtham PLDI '15: "Declarative Programming over ..."
Kamil, Shoaib PLDI '15: "Helium: Lifting High-Performance ..."
Kandemir, Mahmut PLDI '15: "Optimizing Off-Chip Accesses ..."
Kang, Jeehoon PLDI '15: "A Formal C Memory Model Supporting ..."
Ketema, Jeroen PLDI '15: "Asynchronous Programming, ..."
Ko, Yousun PLDI '15: "LaminarIR: Compile-Time Queues ..."
Koskinen, Eric PLDI '15: "The Push/Pull Model of Transactions ..."
Krishnamoorthy, Sriram PLDI '15: "Efficient Execution of Recursive ..."
Kulkarni, Milind PLDI '15: "Efficient Execution of Recursive ..." PLDI '15: "Tree Dependence Analysis ..."
Kultursay, Emre PLDI '15: "Optimizing Off-Chip Accesses ..."
Kusano, Markus PLDI '15: "Dynamic Partial Order Reduction ..."
Lahtinen, Eric PLDI '15: "Automatic Error Elimination ..."
Lal, Akash PLDI '15: "Asynchronous Programming, ..." PLDI '15: "DAG Inlining: A Decision Procedure ..."
Lascu, Andrei PLDI '15: "Many-Core Compiler Fuzzing ..."
Le, Ton Chanh PLDI '15: "Termination and Non-termination ..."
Lerner, Sorin PLDI '15: "Interactive Parser Synthesis ..."
Leung, Alan PLDI '15: "Interactive Parser Synthesis ..."
Lidbury, Christopher PLDI '15: "Many-Core Compiler Fuzzing ..."
Lin, Calvin PLDI '15: "Static Detection of Asymptotic ..."
Liskov, Barbara PLDI '15: "Lightweight, Flexible Object-Oriented ..."
Liu, Jianqiao PLDI '15: "Tree Dependence Analysis ..."
Liu, Peng PLDI '15: "Light: Replay via Tightly ..."
Long, Fan PLDI '15: "Automatic Error Elimination ..."
Longfield, Stephen PLDI '15: "Preventing Glitches and Short ..."
Lopes, Nuno P. PLDI '15: "Provably Correct Peephole ..."
Loring, Matthew C. PLDI '15: "Lightweight, Flexible Object-Oriented ..."
Lucia, Brandon PLDI '15: "Concurrency Debugging with ..." PLDI '15: "A Simpler, Safer Programming ..."
Machado, Nuno PLDI '15: "Concurrency Debugging with ..."
Manevich, Roman PLDI '15: "Synthesizing Parallel Graph ..."
Manohar, Rajit PLDI '15: "Preventing Glitches and Short ..."
Mansky, William PLDI '15: "A Formal C Memory Model Supporting ..."
Marr, Stefan PLDI '15: "Zero-Overhead Metaprogramming: ..."
McClurg, Jedidiah PLDI '15: "Efficient Synthesis of Network ..."
Mehta, Sanyam PLDI '15: "Improving Compiler Scalability: ..."
Mendis, Charith PLDI '15: "Helium: Lifting High-Performance ..."
Menendez, David PLDI '15: "Provably Correct Peephole ..."
Miller, Swaha PLDI '15: "Profile-Guided Meta-Programming ..."
Monniaux, David PLDI '15: "Synthesis of Ranking Functions ..."
Moore, Scott PLDI '15: "Exploring and Enforcing Security ..."
Myers, Andrew C. PLDI '15: "Finding Counterexamples from ..." PLDI '15: "Lightweight, Flexible Object-Oriented ..." PLDI '15: "Diagnosing Type Errors with ..."
Nagarakatte, Santosh PLDI '15: "Provably Correct Peephole ..."
Nanevski, Aleksandar PLDI '15: "Mechanized Verification of ..."
Nguyễn, Phúc C. PLDI '15: "Relatively Complete Counterexamples ..."
Nkounkou, Brittany PLDI '15: "Preventing Glitches and Short ..."
Nori, Aditya V. PLDI '15: "Efficient Synthesis of Probabilistic ..."
O'Boyle, Michael PLDI '15: "Celebrating Diversity: A Mixture ..."
Olivo, Oswaldo PLDI '15: "Static Detection of Asymptotic ..."
O’Reilly, Una-May PLDI '15: "Autotuning Algorithmic Choice ..."
Osera, Peter-Michael PLDI '15: "Type-and-Example-Directed ..."
Ozair, Sherjil PLDI '15: "Efficient Synthesis of Probabilistic ..."
Panchekha, Pavel PLDI '15: "Automatically Improving Accuracy ..." PLDI '15: "Verdi: A Framework for Implementing ..."
Paris, Sylvain PLDI '15: "Helium: Lifting High-Performance ..."
Park, Daejun PLDI '15: "KJS: A Complete Formal Semantics ..."
Parkinson, Matthew PLDI '15: "The Push/Pull Model of Transactions ..."
Peyton-Jones, Simon PLDI '15: "Diagnosing Type Errors with ..."
Pingali, Keshav PLDI '15: "Synthesizing Parallel Graph ..."
Prountzos, Dimitrios PLDI '15: "Synthesizing Parallel Graph ..."
Püschel, Markus PLDI '15: "Making Numerical Program Analysis ..."
Qadeer, Shaz PLDI '15: "DAG Inlining: A Decision Procedure ..."
Qin, Shengchao PLDI '15: "Termination and Non-termination ..."
Radanne, Gabriel PLDI '15: "Synthesis of Ranking Functions ..."
Ragan-Kelley, Jonathan PLDI '15: "Helium: Lifting High-Performance ..."
Rajamani, Sriram K. PLDI '15: "Efficient Synthesis of Probabilistic ..."
Ramalingam, G. PLDI '15: "Composing Concurrency Control ..."
Ramanathan, Murali Krishna PLDI '15: "Synthesizing Racy Tests ..."
Ransford, Benjamin PLDI '15: "A Simpler, Safer Programming ..."
Regehr, John PLDI '15: "Provably Correct Peephole ..."
Ren, Bin PLDI '15: "Efficient Execution of Recursive ..."
Reps, Thomas PLDI '15: "Synthesis of Machine Code ..."
Rinard, Martin PLDI '15: "Automatic Error Elimination ..."
Rodrigues, Luís PLDI '15: "Concurrency Debugging with ..."
Roşu, Grigore PLDI '15: "KJS: A Complete Formal Semantics ..." PLDI '15: "Defining the Undefinedness ..."
Sagiv, Mooly PLDI '15: "Composing Concurrency Control ..."
Salvaneschi, Guido PLDI '15: "Lightweight, Flexible Object-Oriented ..."
Samak, Malavika PLDI '15: "Synthesizing Racy Tests ..."
Sanchez-Stern, Alex PLDI '15: "Automatically Improving Accuracy ..."
Sarracino, John PLDI '15: "Interactive Parser Synthesis ..."
Scholz, Bernhard PLDI '15: "LaminarIR: Compile-Time Queues ..."
Seaton, Chris PLDI '15: "Zero-Overhead Metaprogramming: ..."
Sergey, Ilya PLDI '15: "Mechanized Verification of ..."
Shao, Zhong PLDI '15: "Compositional Certified Resource ..."
Sharma, Rahul PLDI '15: "Verification of Producer-Consumer ..."
Shen, Xipeng PLDI '15: "Autotuning Algorithmic Choice ..."
Sidiroglou-Douskos, Stelios PLDI '15: "Automatic Error Elimination ..."
Siek, Jeremy PLDI '15: "Blame and Coercion: Together ..."
Singh, Gagandeep PLDI '15: "Making Numerical Program Analysis ..."
Sivaramakrishnan, KC PLDI '15: "Declarative Programming over ..."
Srinivasan, Venkatesh PLDI '15: "Synthesis of Machine Code ..."
St-Amour, Vincent PLDI '15: "Profile-Guided Meta-Programming ..."
Stefănescu, Andrei PLDI '15: "KJS: A Complete Formal Semantics ..."
Strout, Michelle PLDI '15: "Loop and Data Transformations ..."
Sullivan, Michael J. PLDI '15: "Peer-to-Peer Affine Commitment ..."
Tang, Xulong PLDI '15: "Optimizing Off-Chip Accesses ..."
Tassarotti, Joseph PLDI '15: "Verifying Read-Copy-Update ..."
Tate, Ross PLDI '15: "Preventing Glitches and Short ..."
Tatlock, Zachary PLDI '15: "Automatically Improving Accuracy ..." PLDI '15: "Verdi: A Framework for Implementing ..."
Thiemann, Peter PLDI '15: "Blame and Coercion: Together ..."
Thomson, Paul PLDI '15: "Asynchronous Programming, ..."
Trinh, Minh-Thai PLDI '15: "Automatic Induction Proofs ..."
Tripp, Omer PLDI '15: "Light: Replay via Tightly ..."
Vafeiadis, Viktor PLDI '15: "Verifying Read-Copy-Update ..." PLDI '15: "A Formal C Memory Model Supporting ..."
Van Horn, David PLDI '15: "Relatively Complete Counterexamples ..."
Vechev, Martin PLDI '15: "Making Numerical Program Analysis ..."
Veeramachaneni, Kalyan PLDI '15: "Autotuning Algorithmic Choice ..."
Venkat, Anand PLDI '15: "Loop and Data Transformations ..."
Vijaykeerthy, Deepak PLDI '15: "Efficient Synthesis of Probabilistic ..."
Vytiniotis, Dimitrios PLDI '15: "Diagnosing Type Errors with ..."
Wadler, Philip PLDI '15: "Blame and Coercion: Together ..."
Wang, Chao PLDI '15: "Dynamic Partial Order Reduction ..."
Wang, Xi PLDI '15: "Verdi: A Framework for Implementing ..."
Waye, Lucas PLDI '15: "Exploring and Enforcing Security ..."
Weijiang, Yusheng PLDI '15: "Tree Dependence Analysis ..."
Wilcox, James R. PLDI '15: "Automatically Improving Accuracy ..." PLDI '15: "Verdi: A Framework for Implementing ..."
Woos, Doug PLDI '15: "Verdi: A Framework for Implementing ..."
Wu, Kevin PLDI '15: "Helium: Lifting High-Performance ..."
Yew, Pen-Chung PLDI '15: "Improving Compiler Scalability: ..."
Zdancewic, Steve PLDI '15: "A Formal C Memory Model Supporting ..." PLDI '15: "Type-and-Example-Directed ..."
Zhang, Danfeng PLDI '15: "Diagnosing Type Errors with ..."
Zhang, Naling PLDI '15: "Dynamic Partial Order Reduction ..."
Zhang, Xiangyu PLDI '15: "Light: Replay via Tightly ..."
Zhang, Yizhou PLDI '15: "Lightweight, Flexible Object-Oriented ..."
Zhang, Yuanrui PLDI '15: "Optimizing Off-Chip Accesses ..."
Zhao, Qin PLDI '15: "Helium: Lifting High-Performance ..."
Zheng, Yunhui PLDI '15: "Light: Replay via Tightly ..."
Ziv, Ofri PLDI '15: "Composing Concurrency Control ..."
Zorn, Benjamin PLDI '15: "FlashRelate: Extracting Relational ..."

184 authors

proc time: 0.39