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

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

PLDI 2015 is sponsored by ACM SIGPLAN.

ACM Logo

SIGPLAN Logo

Fri 1 May 2015
WAX position paper notification
Mon 4 May 2015
SCALA Research Papers Author notification
Fri 8 May 2015
PLOOC 2015 Notification of Acceptance
Thu 14 May 2015
SCALA Research Papers Final papers due
Mon 18 May 2015new
Research Papers PLDI Early Registration Deadline
Wed 3 Jun 2015
WAX lightning talks and discussion topics due
Sat 13 - Sun 14 Jun 2015
CHIUW CHIUW Workshop
Sun 14 Jun 2015
SOAP workshop date
All important dates
Supporters
Gold
Silver
Silver
Silver
Silver
Bronze
Bronze
Bronze
Bronze