POPL 2014 logo

POPL 2014: 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages

San Diego, USA
January 22-24, 2014

Important information

Conference hotel The US Grant, San Diego, CA, USA [see map]
Paper registration Friday July 5, 2013, 16:00 UTC
Paper submission Friday July 12, 2013, 16:00 UTC
Submission URL http://svr-hotcrp.cl.cam.ac.uk/hotcrp/popl_2014/
Author response period Tuesday September 10, 2013 to Friday September 13, 2013
Author notification Wednesday October 2, 2013
Call for posters Deadline: November 30, 2013
Early registration deadline December 31, 2013
Cutoff for hotel discounted rate December 30, 2013
Registration URL https://regmaster3.com/2014conf/POPL14/register.php

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.


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

19 Jan
20 Jan
21 Jan
22 Jan
23 Jan
24 Jan
25 Jan
 Tutorials PLPV PPREW
  PLMW Posters

Hotel floor plans (PDF)

Student posters


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.

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.


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