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
chin09.JPG
Finding Counterexamples from Parsing Conflicts
Chinawat Isradisaikul, Andrew Myers
eu_sintra2.jpg
Concurrency Debugging with Differential Schedule Projections
Nuno Machado, Brandon Lucia, Luís Rodrigues
dbarowy-250.jpg
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
profile.jpg
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
Ren_Bin_902041.jpeg
Efficient Execution of Recursive Programs on Commodity Vector Hardware
Bin Ren, Youngjoon Jo, Sriram Krishnamoorthy, Kunal Agrawal, Milind Kulkarni
me-IMG_5551-cropped.png
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
20141020_13135611.jpg
Synthesizing racy tests
Malavika Samak, Murali Krishna Ramanathan, Suresh Jagannathan
AdityaNori.jpg
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
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
DSCN0262.JPG
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
IMG_2759.JPG
Asynchronous Programming, Analysis and Testing with State Machines
Pantazis Deligiannis, Alastair Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson
me-square.jpg
Automatically Improving Accuracy for Floating Point Expressions
Pavel Panchekha, Alex Sanchez-Stern, James R. Wilcox, Zachary Tatlock
murali-pic.jpg
Celebrating Diversity: A Mixture of Experts Approach for Runtime Mapping in Dynamic Environments
Murali Krishna Emani, Michael O'Boyle
stelios_stata.jpeg
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
Passport_Anand.jpg
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
10683515_10103488422620008_8226254163948080678_o.jpg
Type-and-Example-Directed Program Synthesis
Peter-Michael Osera, Steve Zdancewic
jeffhuang-tamu-web.jpg
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
profile.jpg
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
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
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
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
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
me6.jpg
The Push/Pull model of transactions
Eric Koskinen, Matthew Parkinson
daejunpark.jpg
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
profile
DAG Inlining: A Decision Procedure for Reachability-Modulo-Theories in Hierarchical Programs
Akash Lal, Shaz Qadeer
myphoto.png
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
photo-me.jpeg
Mechanized Verification of Fine-grained Concurrent Programs
Ilya Sergey, Aleksandar Nanevski, Anindya Banerjee
image.jpg
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
Jeremy.jpeg
Blame and coercion: Together again for the first time
Jeremy Siek, Peter Thiemann, Philip Wadler
linkedin.jpg
Algorithmic Debugging of Real-World Haskell Programs: Deriving Dependencies from the Cost Centre Stack
Maarten Faddegon, Olaf Chitil
IMG_1881.JPG
Exploring and Enforcing Security Guarantees via Program Dependence Graphs
Andrew Johnson, Lucas Waye, Scott Moore, Stephen Chong
GGN.jpg
Making Numerical Program Analysis Fast
Gagandeep Singh, Markus Püschel, Martin Vechev

PLDI 2015 is sponsored by ACM SIGPLAN.

ACM Logo

SIGPLAN 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
CHIUW CHIUW Workshop
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
Supporters
Gold
Silver
Silver
Silver
Silver
Bronze
Bronze
Bronze
Bronze