PLDI 2014 - 35th annual ACM SIGPLAN conference on Programming Language Design and Implementation

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.
Call for papers
PLDI is a forum for the exchange of information on programming languages, their design, implementation, development, and use. PLDI emphasizes innovative and creative approaches to compile-time and runtime technology, novel language designs and features, and results from implementations. Papers are solicited on, but not limited to, the following topics:
Language designs and extensions
Static and dynamic analysis of programs
Domain-specific languages and tools
Type systems and program logics
Program transformation and optimization
Checking or improving the security or correctness of programs
Memory management
Parallelism, both implicit and explicit
Performance analysis, evaluation, and tools
Novel programming models
Debugging techniques and tools
Program understanding
Interaction of compilers/runtimes with underlying systems
Program synthesis
Important Dates
Abstracts: Nov 8th,2013
Submission: Nov 15th,2013
Rebuttals: Jan 24, 2014
Notification: Feb 5th, 2014
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.
Organizers
General Chair: Michael O'Boyle
Program Committe Chair: Keshav Pingali
Student Research Chair: Isil Dillig
Workshop and Tutorial Chair: Xiangyu Zhang
Local Arrangements Chair: Hugh Leather
Financial Chair: Vijay Nagarajan
Sponsorship Chair: Santosh Nagarakatte
Publicity Chair: Manu Sridharan
Web Chair: Cheng-Chieh Huang
Program Committee
Noam Rinetzky Tel-Aviv
Madhusudan Parthasarathy UIUC
Sumit Gulwani Microsoft
Shaz Qadeer Microsoft
Ganesh Gopalakrishnan Utah
Roman Manevich Ben-Gurion
Rupak Majumdar MPI-SWS
Mandana Vaziri IBM
Jade Alglave UCL
Dan Grossman UW
William Cook UT Austin
Atanas Rountev Ohio State
Iulian Neamtiu UC, Riverside
Anders Moller Aarhus
Shriram Krishnamurthy Brown
John Field Google
Steve Blackburn ANU
Jeff Foster Maryland
Ben Zorn Microsoft
David Walker UPenn
Keshav Pingali UT Austin
Paul Kelly Imperial College
Feng Xiaobing ICT, China
Martin Burtscher Texas State
David Padua UIUC
Calin Cascaval Qualcomm
Scott Mahlke Michigan
Armando Solar-Lezama MIT
Milind Kulkarni Purdue
Xipeng Shen William and Mary
R Govindarajan IISc Bangalore
Mary Hall Utah
Gao Guang-Rong University of Delaware
Albert Cohen INRIA
Vijay Menon Google