Write a Blog >>

POPL is the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages.

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

Hotel updates A block of rooms at Hotel Indigo. However, the hotel has sold out on some nights. You can call the hotel directly to ask about their available nights at 727-822-4814 and let the front desk know you are with the POPL 2016 Overflow group. The group code is POP. If you run into any complications with booking, email accomodationpopl2016.

The POPL program is now available. The program will include seven tutorials and three invited speakers.

Invited Speakers

Tutorial speakers

Congratulations to the Student Research Competition Winners!

Graduate Category

  1. Suguman Bansal, Rice University: Reasoning about incentive compatibility (First Place)
  2. Calvin Smith, University of Wisconsin - Madison: Synthesis with Respect to Normality (Second Place)
  3. Maria A Schett, University of Innsbruck: From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting (Third Place)

Undergraduate Category

  1. Joey Eremondi, Utrecht University:Polyvariant Pattern Match Analysis with Implication Constraints (First Place)

Schedule Overview

Sunday
17th
Monday
18th
Tuesday
19th
Wednesday
20th
Thursday
21st
Friday
22nd
Saturday
23rd
VMCAI
Verification, Model Checking, and Abstract Interpretation
POPL
Principles of Programming Languages
OBT
Off the Beaten
  CPP
Certified Programs and Proofs
PPS
Probabilistic Programming Semantics
  PADL
Practical Aspects of Declarative Languages
CoqPL
Coq for Programming Languages
  PEPM
  Tutorials
PLMW
Programming Languages Mentoring