PLDI 2015 is the 36th annual ACM SIGPLAN conference on Programming Language Design and Implementation.

PLDI is a premier forum for all areas of programming language research, including the design, implementation, theory, and efficient use of languages. PLDI’s emphases include innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations.

PLDI 2015 is part of FCRC 2015, a spectrum of affiliated research conferences and workshops organized into a week long coordinated meeting that will be held June 12-20, 2015 in Portland Oregon.

PLDI Research Papers

Monitoring Refinement via Symbolic Reasoning
Michael Emmi, Constantin Enea, Jad Hamza
Finding Counterexamples from Parsing Conflicts
Chinawat Isradisaikul, Andrew Myers
Concurrency Debugging with Differential Schedule Projections
Nuno Machado, Brandon Lucia, Luís Rodrigues
FlashRelate: Extracting Relational Data from Semi-Structured Spreadsheets Using Examples
Dan Barowy, Sumit Gulwani, Ted Hart, Benjamin Zorn
Composing Concurrency Control
Ofri Ziv, Alex Aiken, Guy Golan-Gueta, G. Ramalingam, Mooly Sagiv
Autotuning Algorithmic Choice for Input Sensitivity
Yufei Ding, Jason Ansel, Kalyan Veeramachaneni, Xipeng Shen, Una-May O’Reilly, Saman Amarasinghe
Profile-Guided Meta-Programming
William J. Bowman, Swaha Miller, Vincent St-Amour, R. Kent Dybvig
Relaxing Safely: Verified On-the-Fly Garbage Collection for x86-TSO
Peter Gammie, Tony Hosking, Kai Engelhardt
Diagnosing Type Errors with Class
Danfeng Zhang, Andrew Myers, Dimitrios Vytiniotis, Simon Peyton Jones
Improving Compiler Scalability: Optimizing Large Programs at Small Price
Sanyam Mehta, Pen-Chung Yew
Synthesis of ranking functions using extremal counterexamples
Laure Gonnord, David Monniaux, Gabriel Radanne
Verifying Read-Copy-Update in a Logic for Weak Memory
Joseph Tassarotti, Derek Dreyer, Viktor Vafeiadis
Efficient Execution of Recursive Programs on Commodity Vector Hardware
Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni
Zero-Overhead Metaprogramming: Reflection and Metaobject Protocols Fast and without Compromises
Stefan Marr, Chris Seaton, Stephane Ducasse
Termination and Non-Termination Specification Inference
Ton Chanh Le, Shengchao Qin, Wei Ngan Chin
Tree Dependence Analysis
Yusheng Weijiang, Shruthi Balakrishna, Jianqiao Liu, Milind Kulkarni
Synthesizing racy tests
Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan
Efficient Synthesis of Probabilistic Programs
Aditya Nori, Sherjil Ozair, Sriram Rajamani, Deepak Vijaykeerthy
Laminar: Compile-Time Queues for Structured Streams
Yousun Ko, Bernd Burgstaller, Bernhard Scholz
Helium: Lifting High-Performance Stencil Kernels from Stripped x86 Binaries to Halide DSL Code
Charith Mendis, Jeffrey Bosboom, Kevin Wu, Shoaib Kamil, Jonathan Ragan-Kelley, Sylvain Paris, Qin Zhao, Saman Amarasinghe
Declarative Programming over Eventually Consistent Data Stores
KC Sivaramakrishnan, Gowtham Kaki, Suresh Jagannathan
Peer-to-peer Affine Commitment using Bitcoin
Karl Crary, Michael J. Sullivan
Asynchronous Programming, Analysis and Testing with State Machines
Pantazis Deligiannis, Alastair Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
Automatically Improving Accuracy for Floating Point Expressions
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Murali Krishna Emani, Michael O'Boyle
Automatic Error Elimination by Multi-Application Code Transfer
Stelios Sidiroglou-Douskos, Eric Lahtinen, Fan Long, Martin Rinard
Synthesizing Parallel Graph Programs via Automated Planning
Dimitrios Prountzos, Roman Manevich, Keshav Pingali
Loop and Data Transformations for Sparse Matrix Code
Anand Venkat, Mary Hall, Michelle Mills Strout
Automatic Induction Proofs of Data-Structures in Imperative Programs
Duc-Hiep Chu, Joxan Jaffar, Minh-Thai Trinh
Many-Core Compiler Fuzzing
Nathan Chong, Alastair F. Donaldson, Andrei Lascu, Christopher Lidbury
Type-and-Example-Directed Program Synthesis
Peter-Michael Osera, Steve Zdancewic
Stateless Model Checking Concurrent Programs with Maximal Causality Reduction
Jeff Huang
Synthesizing Data Structure Transformations from Input-Output Examples
John Feser, Swarat Chaudhuri, Isil Dillig
Lightweight, Flexible Object-Oriented Generics
Yizhou Zhang, Andrew Myers, Barbara Liskov, Guido Salvaneschi, Matt Loring
Optimizing Off-Chip Accesses in Multicores
Wei Ding, Xulong Tang, Mahmut Taylan Kandemir, Yuanrui Zhang, Emre Kultursay
A Formal C Memory Model Supporting Integer-Pointer Casts
Jeehoon Kang, Chung-Kil Hur, William Mansky, Dmitri Garbuzov, Steve Zdancewic, Viktor Vafeiadis
Light: Replay via Tightly Bounded Recording
Peng Liu, Xiangyu Zhang, Omer Tripp, Yunhui Zheng
Compositional Certified Resource Bounds
Quentin Carbonneaux, Jan Hoffmann, Zhong Shao
Preventing Glitches and Short Circuits in High-Level Self-Timed Chip Specifications
Stephen Longfield, Brittany Nkounkou, Rajit Manohar, Ross Tate
A Simpler, Safer Programming and Execution Model for Intermittent Systems
Brandon Lucia, Benjamin Ransford
Defining the undefinedness of C
Chris Hathhorn, Chucky Ellison, Grigore Rosu
Provably Correct Peephole Optimizations with Alive
Nuno P. Lopes, David Menendez, Santosh Nagarakatte, John Regehr
Efficient Synthesis of Network Updates
Jedidiah McClurg, Hossein Hojjat, Pavol Cerny, Nate Foster
The Push/Pull model of transactions
Eric Koskinen, Matthew Parkinson
KJS: A Complete Formal Semantics of JavaScript
Daejun Park, Andrei Stefanescu, Grigore Rosu
Interactive Parser Synthesis by Example
Alan Leung, John Sarracino, Sorin Lerner
Automated Detection of Performance Bugs via Static Analysis
Oswaldo Olivo, Isil Dillig, Calvin Lin
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Akash Lal, Shaz Qadeer
Verification of Producer-Consumer Synchronization in GPU Programs
Rahul Sharma, Michael Bauer, Alex Aiken
Dynamic Partial Order Reduction for Relaxed Memory Models
Naling Zhang, Markus Kusano, Chao Wang
Mechanized Verification of Fine-grained Concurrent Programs
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
Synthesis of Machine Code from Semantics
Venkatesh Srinivasan, Thomas Reps
Verdi: A Framework for Formally Verifying Distributed System Implementations
James R. Wilcox, Doug Woos, Pavel Panchekha, Zachary Tatlock, Xi Wang, Michael D. Ernst, Thomas Anderson
Relatively Complete Counterexamples for Higher-Order Programs
Phúc Nguyễn, David Van Horn
Blame and coercion: Together again for the first time
Jeremy Siek, Peter Thiemann, Philip Wadler
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Maarten Faddegon, Olaf Chitil
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong
Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev

PLDI 2015 is sponsored by ACM SIGPLAN.

ACM Logo


Wed 3 Jun 2015
WAX lightning talks and discussion topics due
Sat 13 Jun 2015
WAX Workshop Date
Sat 13 - Sun 14 Jun 2015
Sun 14 Jun 2015
SOAP workshop date
Sun 14 Jun 2015
PLOOC 2015 Workshop Date
Sun 14 Jun 2015
X10 Workshop Date
All important dates