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.
Student Research Competition Winners
Congratulations to the Student Research Competition Winners!
Graduate Category
- Suguman Bansal, Rice University: Reasoning about incentive compatibility (First Place)
- Calvin Smith, University of Wisconsin - Madison: Synthesis with Respect to Normality (Second Place)
- Maria A Schett, University of Innsbruck: From Trees To Graphs: Understanding The Implications Of Sharing For Rewriting (Third Place)
Undergraduate Category
- Joey Eremondi, Utrecht University:Polyvariant Pattern Match Analysis with Implication Constraints (First Place)
Events
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 |