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.
Student Research Competition Winners
Congratulations to the Student Research Competition Winners!
- 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)
- Joey Eremondi, Utrecht University:Polyvariant Pattern Match Analysis with Implication Constraints (First Place)
Verification, Model Checking, and Abstract Interpretation
Principles of Programming Languages
Off the Beaten
Certified Programs and Proofs
Probabilistic Programming Semantics
Practical Aspects of Declarative Languages
Coq for Programming Languages
Programming Languages Mentoring