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
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

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 POPL'14 proceedings are now available for individual download from the ACM digital library.

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

Sun
19 Jan Mon
20 Jan Tue
21 Jan Wed
22 Jan Thu
23 Jan Fri
24 Jan Sat
25 Jan
VMCAI POPL DCP
PADL OBT
PEPM PiP
Tutorials PLPV PPREW
PLMW Posters
  • 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.

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
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
Jeremy G. Siek University of Colorado at Boulder
Nikhil Swamy MSR Redmond
Ross Tate Cornell University
Tayssir Touili CNRS Paris
Stephanie Weirich University of Pennsylvania
Thomas Wies New York University
Elena Zucca Università degli Studi di Genova

Sponsors

Facebook Google IBM Research Jane Street Microsoft Research NEC Oracle Samsung

AltStyle によって変換されたページ (->オリジナル) /




Imprint / Data Protection