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
The registration website is at
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
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 supportletters@acm.org with the following information:
- Your name as it appears on your passport
- Current postal mailing address
- The name of the conference you wish to attend
- Your Registration Confirmation Number
- If you have any papers accepted for the conference, please provide the title and indicate whether you are the ‘sole author’ or a ‘co- author’
Alternatively, this is the link for Visa Support Letters :
Travel
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:
http://www.sigplan.org/PAC/Main
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.
Schedule/Events/Workshops/Tutorials
There are two co-located events (LCTES and ISMM), eight workshops, and seven tutorials this year.Schedule
| 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 (Conference Program) | LCTES | ||||||||
| DYLA | MSPC | ||||||||
| ISMM | APPROX | ||||||||
| LLVM | TRUST | WALA | PHARO | ||||||
| X10 | PROGVER | ||||||||
| SOAP | LIQUID | GCC | |||||||
| ARRAY | |||||||||
| POLYGLOT | PLOOC | ||||||||
Workshops/Tutorials Social Events
- Thursday evening (19.00 to late): Workshops reception - Playfair Library (Old Town)
Workshops
- DYLA: Workshop on Dynamic Languages and Applications
-
APPROX: Workshop on Probabilistic and Approximate Computing
- ARRAY: Workshop on Libraries, Languages and Compilers for Array Programming
- MSPC: Workshop on Memory Systems Performance and Correctness
- SOAP: International Workshop on the State Of the Art in Java Program Analysis
- TRUST: International Workshop on Reproducible Research Methodologies and New Publication Models
- PLOOC: Programming Languages Technology for Massive Open Online Courses
- X10: X10 Workshop
Tutorials
-
LLVM: Using LLVM for program analysis and transformation
- PHARO: Pharo, the ultimate live-programming environment
-
POLYGLOT: The Polyglot Extensible Compiler Framework
- PROGVER: Program Verification as (Quantified) Horn Constraint Solving
- WALA: Analyzing JavaScript and the Web with WALA
- LIQUID: Hardware Design for Software Developers using Liquid Metal
- GCC: Essential Abstractions in GCC
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:
Organizers
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
Student Volunteer Coordinator:
Tobias Edler von Koch
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 | ||
| 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 | ||
| 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 | ||
| 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 | ||
| 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
Gold Sponsors
Silver Sponsors
Bronze Sponsors
|
|
|
|
|
Sponsors
PLDI 2014 is sponsored by ACM SIGPLAN and NSF:
