POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages San Diego, USA January 22-24, 2014

Important information

The conference program and the list of accepted papers are available. In total 51 papers were accepted out of 220 submissions. More statistics can be found in the PC Chair's report.

Scope

The annual Symposium on Principles of Programming Languages is a forum for the discussion of all aspects of programming languages and systems, with emphasis on how principles underpin practice. Both theoretical and experimental papers are welcome, on topics ranging from formal frameworks to experience reports.

For more information, please see the call for papers.

Co-located events

• VMCAI 2014: Verification, Model Checking, and Abstract Interpretation (19-21 January)
• PADL 2014: Practical Aspects of Declarative Languages (20-21 January)
• PEPM 2014: Partial Evaluation and Program Manipulation (20-21 January)
• POPL Tutorials (20 January)
• PLMW 2014: Programming Language Mentoring Workshop (21 January)
• PLPV 2014: Programming Languages meets Program Verification (21 January)
• DCP 2014: Data-Centric Programming (25 January)
• OBT 2014: Off The Beaten Track (25 January)
• PiP 2014: Principles in Practice (25 January)
• PPREW 2014: Program Protection and Reverse Engineering Workshop (25 January)

Hotel floor plans (PDF)

Student posters

Location

POPL'14 will be held at the The US Grant in San Diego, CA, USA.

A link to the hotel on-line reservation service with special pricing for POPL attendees will be provided when you register for the conference. The link is provided in your registration receipt. The discounted daily hotel rates are $179 for non-students and $109 for students. The cutoff for the discounted hotel rate is December 30th, 2013.

We encourage POPL attendees to stay at the conference hotel. For more information why, please see here.

Update (2013-12-20): The reserved block of rooms at the conference hotel are fully booked for Thursday night. Here is an incomplete list of the less expensive hotels in the area. Please note that ACM/POPL 2014 has not arranged a block of rooms and there is not a guaranteed rate at any of these hotels.

• Wyndham San Diego Bayside, 1355 N Harbor Dr, San Diego, CA 92101 (20 minute walk to US Grant)
• Embassy Suites San Diego Bay - Downtown, 601 Pacific Highway, San Diego, CA 92101 (16 minute walk)
• Hotel Indigo San Diego-Gaslamp Quarter, 509 9th Avenue, San Diego, CA 92101 (13 minute walk)

The POPL banquet will be held at the USS Midway, which is an easy 16 minute walk from the hotel. Limited capacity shuttle buses will also be available. For more information, see this PDF.

Visa support letters

Requests for visa support letters for purposes of attending or presenting at POPL 2014 are handled by ACM. For more information, go here.

Student Attendees

Students with accepted papers or students who are participating in the student session are encouraged to apply for a SIGPLAN PAC grant that will help covering travel expenses.

Organisers

General Chair:		Suresh Jagannathan Purdue University, USA
Program Chair:		Peter Sewell University of Cambridge, UK
Workshop Chair:		David Van Horn Northeastern University, USA
Treasurer Co-Chairs:		Ross Tate Cornell University, USA
		Bor-Yuh Evan Chang University of Colorado at Boulder, USA
Publicity Chair:		Viktor Vafeiadis MPI-SWS, Germany
Student Activities Chair:		Tobias Wrigstad Uppsala University, Sweden
Program Committee:

Andrew W. Appel	Princeton
Gilles Barthe	IMDEA
Nick Benton	MSR Cambridge
Lars Birkedal	Aarhus University
Ahmed Bouajjani	University Paris Diderot
James Cheney	University of Edinburgh
Mads Dam	KTH Royal Institute of Technology
Dino Distefano	Facebook and Queen Mary, University of London
Thomas Dillig	College of William & Mary
Sophia Drossopoulou	Imperial College London
Nate Foster	Cornell University
Atsushi Igarashi	Kyoto University
Alan Jeffrey	Alcatel-Lucent Bell Labs
Neelakantan R. Krishnaswami	University of Birmingham
Aditya V. Nori	MSR India
Noam Rinetzky	Tel Aviv University
Xavier Rival	INRIA Paris-Rocquencourt, ENS Paris, CNRS
Andrey Rybalchenko	TUM
Jeremy G. Siek	University of Colorado at Boulder
Nikhil Swamy	MSR Redmond
Ross Tate	Cornell University
Tayssir Touili	CNRS Paris
Aaron J. Turon	MPI-SWS
Viktor Vafeiadis	MPI-SWS
Stephanie Weirich	University of Pennsylvania
Thomas Wies	New York University
Elena Zucca	Università degli Studi di Genova

Sponsors