Registration URL

Conference Program (now with links to slides! )

Link to POPL 2011 videos

Workshops and Co-located Events

Conference Organizers

POPL 2012!


*** The program now carries links to slides for most of the presentations.

*** ACM digital library page (includes links to videos for many of the talks).


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.


The conference program is now out; a list of accepted papers is also separately available. This year's program consists of 49 research presentations and three invited talk sessions. More information on the invited talks is available here.

In addition to showcasing some of the best research on Programming Languages, POPL 2011 will offer some "extra-curricular" attractions, including a Games and Jazz Dinner and an Xbox Raffle.

Conference hotel

The conference will be held at the Omni Austin Hotel in downtown Austin, TX. To make reservations at the special conference rate of $169/night, go to http://www.omnihotels.com/FindAHotel/AustinDowntown/MeetingFacilities/ACMPOPL2011.aspx. Alternately, call the hotel directly at +1-512-476-3700 and mention the group ACM/POPL 2011. You can also call the Omni 800 number 1-800-THE-OMNI (+1-800-843-6664); however, because there are two Omnis in Austin, you should specify the Omni Austin Hotel Downtown in this case.

We realize that you may want to consider other hotels. Before you decide, please read why you should try to stay at the conference hotel.

To be eligible for the special conference rate, bookings must be made by December 21, 2010. However, as the conference rate applies only to a limited number of rooms, attendees are encouraged to make their hotel reservations at the earliest opportunity.

Pre-POPL 2011 trip report from the general chair

Your general chair, Tom Ball, recently visited Austin, TX to scope out the conference hotel. Here is his trip report.


To register for POPL, visit the URL https://regmaster3.com/2011conf/POPL11/register.php. The early registration deadline is December 31, 2010.

*** Important note: This year, we are capping the registration for POPL at 300 in order to provide an optimal conference experience at the Omni Hotel. Therefore, please register early!

The registration fees of POPL and associated events are as follows:

  Price on or before
31 December 2010
Price after 31 December
and On-site
All prices are in U.S. dollars
ACM | SIG Non-
Student ACM &
ACM | SIG Non-
POPL $480 $520 $560 $240 $600 $640 $680 $270
TPTPA $80 $80 $100 $50 $120 $120 $140 $80
Nominal $80 $80 $110 $50 $120 $120 $150 $80
DAMP $80 $80 $110 $50 $120 $120 $150 $80
PEPM $240 $240 $290 $90 $280 $280 $330 $120
TLDI $60 $60 $80 $40 $100 $100 $120 $70
STOP $80 $80 $100 $60 $120 $120 $140 $90
VERICO $50 $50 $50 $50 $90 $90 $90 $80
PLPV $80 $80 $80 $60 $120 $120 $120 $90
PADL Symposium $275 $275 $300 $225 $325 $325 $350 $275
VMCAI Conference $450 $450 $450 $350 $500 $500 $500 $400

Visa support letters

Requests for visa support letters for purposes of attending or presenting at POPL 2011 are handled by ACM. For more information, go here. The same page also contains archived information for authors, and about student travel awards.

Colocated conference and workshop schedule

This year, POPL has ten co-located events!

Jan 23 (Su)

Jan 24 (M)

Jan 25 (Tu)


26 (W)


27 (Th)

Jan 28 (F)

Jan 29 (Sat)

Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2011)

Workshop on Script to Program Evolution (STOP 2011)

Tutorial on Using Nominal Isabelle for PL Research (Nominal 2011)

Tutorial on Theorem Proving Tools for Program Analysis (TPTPA 2011)

Declarative Aspects of Multicore Programming (DAMP 2011)

Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)

Verification of Concurrent Data Structures
(Verico 2011)
[Now merged with COMMUTE 2011]

Symposium on Practical Aspects of Declarative Languages (PADL 2011)


Programming Languages meets Program Verification (PLPV 2011)

Types in Language Design and Implementation (TLDI 2011)


General Chair: Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.


Program Chair:


Mooly Sagiv
Schreiber 317, School of Computer Science
Tel-Aviv University, Tel-Aviv 69978, Israel


Program Committee:

Radhia Cousot École Normale Supérieure
Oege de Moor Oxford University Computing Laboratory
Derek Dreyer MPI-SWS
Azadeh Farzan University of Toronto
Kathleen Fisher AT&T Laboratories
Matthew Fluet Rochester Institute of Technology
Jeff Foster University of Maryland
Stephen Freund Williams College
Philippa Gardner Imperial College, London
Dan Grossman University of Washington
Sumit Gulwani Microsoft Research
Tim Harris Microsoft Research
Naoki Kobayashi Tohoku University
Viktor Kuncak EPFL
Ken McMillan Cadence Research Laboratories
Anders Møller         Aarhus University
Peter Müller ETH Zurich
Aleks Nanevski IMDEA Software
David Naumann Stevens Institute of Technology
Prakash Panangaden McGill University
G. Ramalingam Microsoft Research
Jan Vitek Purdue University
Eran Yahav Technion, Israel
Hongseok Yang Queen Mary, University of London
Steve Zdancewic University of Pennsylvania


Workshops Chair:


Matthew Might
University of Utah




Bor-Yuh Evan Chang
University of Colorado, Boulder




Swarat Chaudhuri
Pennsylvania State University


POPL Logo:


Jan Christiansen
Christian-Albrechts University, Kiel