PLDI 2014
ACM logo
Edinburgh, UK
9 June 2014 -- 11 June 2014

About PLDI

PLDI 2014 is the 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation.

PLDI is a forum where researchers, developers, educators, and practitioners exchange information on the latest practical and experimental work in the design and implementation of programming languages.

PLDI seeks original research papers that focus on the design, implementation, development, and use of programming languages.

PLDI emphasizes innovative and creative approaches to compile-time and runtime technology; novel language designs and features; and results from implementations.

The conference itself will be held Monday through Wednesday June 9-11. We currently expect tutorials on the preceding Sunday, and a number of co-located conferences on the following Thursday and Friday.

The original call for papers and tutorials are available here and accepted Papers.

Practices of PLDI

The document Practices of PLDI describes the contract between PLDI organizers and the broader community. The document was approved in June 2013. The Chair of the PLDI Steering Committee has the source for the document and is responsible for maintaining it in consultation with the PLDI Steering Committee and the broader community.

Hotel and Venue information

This year's PLDI, including LCTES, ISMM, and co-located workshops/tutorials, will be held at the

Assembly Rooms Edinburgh

The registration website is at

Online Registration

Marketing Edinburgh, Convention Bureau has negotiated rates for PLDI 2014 and is pleased to offer a free online accommodation booking service to delegates attending this meeting. The agreed dates of booking are 8 to 14th June.

Hotel Booking System
(The link will be active until 27th April)

Reduced Bus Fare

Credit card details are required to make a booking and confirmation shall be sent to your e-mail address. Payment should be made directly with the accommodation provider at the time of your stay.

VISA information

The Association for Computing Machinery does not issue formal invitation letters for visas to attend ACM sponsored conferences. We can however issue a visa support letter. For Visa support letters, please send all requests to the Office of SIG Services with the following information:

Please note visa support letters are issued via email by PDF and the original is mailed to your current postal address.

Alternatively, this is the link for Visa Support Letters :


If you require a visa, please see the Visa Support Letter instruction page.

Travel support

The SIGPLAN professional activities commitee has limited travel support available to help some attendees attend SIGPLAN events.

Students in need of travel support are encouraged to apply.

For more details, see:

In addition to the regular PAC funding, US students are eligible for travel support from the National Science Foundation. Applying for NSF support is straightforward, by simply filling out the "Funding from other sources" section on the PAC website as part of your regular application.

Only those students who are affiliated with a US institution AND are US citizens or permanent residents are eligible for alternative funding. Please do not fill out the "Funding from other sources" section if you do not meet these conditions.


There are two co-located events (LCTES and ISMM), eight workshops, and seven tutorials this year.


Mon Tue Wed Thu Fri
a.m.p.m. a.m.p.m. a.m.p.m. a.m.p.m. a.m.p.m.
PLDI (preliminary program) LCTES



Social Events

Student research competition

The student research competition provides an opportunity for graduate and undergraduate students attending PLDI 2014 to present their research work in the area of programming language design and implementation. The goal is to give students a forum to discuss their research with experts in their field, and to help them sharpen their research and communication skills.

For more information, see:


General Chair: Michael O'Boyle
Program Chair: Keshav Pingali
Student Research Chair: Isil Dillig
Workshop and Tutorial Chair: Xiangyu Zhang
Local Arrangements Chair: Hugh Leather , Freddie Qu
Financial Chair: Vijay Nagarajan
Sponsorship Chair: Santosh Nagarakatte
Publicity Chair: Manu Sridharan
Web/Publications Chair: Cheng-Chieh Huang

Program Committee

Jade Alglave University College London
Steve Blackburn Australian National University
Martin Burtscher Texas State University, San Marcos
Calin Cascaval Qualcomm
Albert Cohen INRIA, Paris
William Cook University of Texas, Austin
John Field Google
Jeff Foster University of Maryland, College Park
Ganesh Gopalakrishnan University of Utah
R. Govindarajan Indian Institute of Science, Bangalore
Dan Grossman University of Washington
Gao Guang-Rong University of Delaware
Sumit Gulwani Microsoft Research
Mary Hall University of Utah
Paul H J Kelly Imperial College, London
Shriram Krishnamurthi Brown University
Milind Kulkarni Purdue University
Scott Mahlke University of Michigan, Ann Arbor
Rupak Majumdar MPI-SWS, Saarbrücken
Roman Manevich Ben-Gurion University of the Negev
Vijay Menon Google
Anders Møller Aarhus University
Iulian Neamtiu University of California, Riverside
David Padua University of Illinois, Urbana-Champaign
Madhusudan Parthasarathy University of Illinois, Urbana-Champaign
Keshav Pingali University of Texas, Austin
Shaz Qadeer Microsoft Research
Noam Rinetzky Tel-Aviv University
Atanas Rountev Ohio State University, Columbus
Koushik Sen University of California, Berkeley
Xipeng Shen College of William and Mary
Armando Solar-Lezama MIT
Mandana Vaziri IBM T.J. Watson Research Center
David Walker Princeton University
Xiaobing Feng Institute of Computing Technology, CAS
Ben Zorn Microsoft Research

External Review Committee

Jose Nelson Amaral University of Alberta
Saman Amarasinghe MIT
Ioana Baldini IBM T.J. Watson Research Center
Emery Berger University of Massachusetts, Amherst
Eric Bodden Fraunhofer SIT & TU Darmstadt
Ras Bodik University of California, Berkeley
Michael Bond Ohio State University
Uday Bondhugula IISc, Bangalore
Edwin Brady University of St. Andrews
Swarat Chaudhuri Rice University
Stephen Chong Harvard University
Ravi Chugh University of California, San Diego
Alastair Donaldson Imperial College
Faith Ellen University of Toronto
Michael Emmi IMDEA Software Institute
Michael Ernst University of Washington
Azadeh Farzan University of Toronto
Min Feng NEC Labs
Matthew Fluet Rochester Institute of Technology
Nate Foster Cornell University
Franz Franchetti Carnegie Mellon University
Maria Garzaran University of Illinois, Urbana-Champaign
Arjun Guha University of Massachusetts, Amherst
Aarti Gupta NEC Labs
Rajiv Gupta University of California, Riverside
Ben Hardekopf University of California, Santa Barbara
Shan Shan Huang LogicBlox
Marieke Huisman University of Twente
Viktor Kuncak EPFL
Patrick Lam University of Waterloo
Calvin Lin University of Texas at Austin
Shan Lu University of Wisconsin
Andrew Lumsdaine Indiana University
Mark Marron Microsoft Research
Eric Mercer Brigham Young University
Matthias Meyer University of Stuttgart
Sam Midkiff Purdue University
Hanspeter Mossenbock Johannes Kepler Universitat Linz
Madan Musuvathi Microsoft Research
Todd Mytkowicz Microsoft Research
Vijay Nagarajan University of Edinburgh
Rupesh Nasre IIT, Madras
John Owens University of California, Davis
Prakash Panangaden McGill University, Canada
Ruzica Piskac Yale University
Rodric Rabbah IBM T.J. Watson Research Center
Lawrence Rauchwerger Texas A&M University
Grigore Rosu University of Illinois, Urbana-Champaign
Andrey Rybalchenko Microsoft Research
P. Sadayappan Ohio State University
Caitlin Sadowski Google
Michael Scott University of Rochester
Tatiana Shpeisman Intel
Stephen Siegel University of Delaware
Yannis Smaragdakis University of Athens
Olivier Tardieu IBM T.J. Watson Research Center
Zachary Tatlock University of Washington
Ankur Taly Google
Tijs van der Storm CWI
Kapil Vaswani Microsoft Research
Martin Vechev ETH
Cheng Wang Intel
Harry Xu University of California, Irvine
Eran Yahav Technion
Antonia Zhai University of Minnesota

Platinum Sponsors

Mozilla Research


Gold Sponsors


Silver Sponsors

Microsoft Research



Bronze Sponsors

Samsung Information Systems America HP Labs
IBM Research Facebook


PLDI 2014 is sponsored by ACM SIGPLAN and NSF:

Association for Computing Machinery