Home

Call For papers (pdf)

Workshops and Co-located Events

Submission URL

Conference Organizers

SIGPLAN Awards

Important dates

Paper submission 10 pm PDT, July 15, 2010 (Thursday)
Submission URL http://www.cs.tau.ac.il/conferences/popl11/
Author response period       September 15-16, 2010 (Wednesday-Thursday)
Author notification October 3, 2010 (Sunday)
Camera ready November 9, 2010 (Tuesday)
Hotel registration deadline December 21, 2010
Conference January 26-28, 2011

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.

Information for attendees and authors

Student travel awards

The SIGPLAN Professional Activities Committee (PAC) awards travel grants that are typically reserved for students presenting papers or posters at conferences. In addition to the SIGPLAN PAC grants, we are pleased to announce the availability of a limited number of travel awards, though a grant from the National Science Foundation, for students who want to attend the conference but are not presenting.

If you are a student interested in learning more about state of the art research in programming language principles, please consider applying for a POPL 2011 travel award. The awards will be distributed through the SIGPLAN PAC awards system. To apply for the student travel grant, complete the application form available here. Note that the forms were originally designed for students presenting papers. If you do not have a paper to present, then just indicate "Not applicable" in response to the question about "Title of paper / Names of Authors."

This student travel grant program is designed specifically to encourage participation from junior students and underrepresented groups.

Other information

Information regarding visa support letters, as well as archived information for authors, is available here.

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, click here; 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.

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.

Invited speakers

  • Matthew MacLaurin, Microsoft.
    • The Design of Kodu: A Tiny Visual Programming Language for Children on the Xbox 360.
  • Xavier Leroy, INRIA.
  • Andrew D. Gordon, Peter Sewell and Friends.
    • Robin Milner: verification, languages, and concurrency.

Other attractions

POPL Jazz Reception

Andrew Appel (saxophone), Todd Millstein (guitar), Tom Ball (bass), Rustan Leino (drums), Michael Hind, Gordon Stewart, C. J. Bell, and friends. Contact Tom Ball if you want to play.

Microsoft Research Game Room

Three Kinect-enabled Xboxes, ready to play, will be available in the Microsoft Research Game Room during the conference. Feel free to use the machines to play/program Kodu (see invited talk) and experience the Kinect technology, both of which contain substantial contributions from Microsoft Research.

   

POPL Xbox 360 Raffle

We will give away the three Xbox 360 4GB Console with Kinect bundles (yes, the slightly-used ones from the game room) in a raffle at the very end of the conference. Your POPL registration enters you in the raffle. You must be present to win.

What (else) to do in Austin

Lots of information about what to do in Austin is available here.

Colocated conference and workshop schedule

This year, POPL has eleven co-located events!

Jan 23 (Su)

Jan 24 (M)

Jan 25 (Tu)

Jan

26 (W)

Jan

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)

Workshop on Commutativity in Parallel Programming (COMMUTE)

Declarative Aspects of Multicore Programming (DAMP 2011)

Workshop on Partial Evaluation and Program Manipulation (PEPM 2011)

Verification of Concurrent Data Structures (VCDS 2011)

Symposium on Practical Aspects of Declarative Languages (PADL 2011)



POPL!

Programming Languages meets Program Verification (PLPV 2011)

Types in Language Design and Implementation (TLDI 2011)

Organizers

General Chair: Thomas Ball
Microsoft Research
One Microsoft Way, Redmond, WA 98052, USA.
tball@microsoft.com

 

Program Chair:

 

Mooly Sagiv
Schreiber 317, School of Computer Science
Tel-Aviv University, Tel-Aviv 69978, Israel
msagiv@post.tau.ac.il

 

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 IBM Research
Hongseok Yang Queen Mary, University of London
Steve Zdancewic University of Pennsylvania

 

Workshops Chair:

 

Matthew Might
University of Utah

 

Treasurer:

 

Bor-Yuh Evan Chang
University of Colorado, Boulder

 

Publicity:

 

Swarat Chaudhuri
Pennsylvania State University

 

POPL Logo:

 

Jan Christiansen
Christian-Albrechts University, Kiel



Sponsors