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

Confluences in Programming Languages Research

David Walker

Synthesis of Reactive Controllers for Hybrid Systems

Richard M. Murray

Programming the World of Uncertain Things

Kathryn S McKinley

Tutorial speakers

T6: Security and Privacy by Typing in Cryptographic Systems

Matteo Maffei

T5: Higher-Order Model Checking

Naoki Kobayashi, C.-H. Luke Ong

T4: Programs and Proofs in the Coq Proof Assistant

Robert Rand, Arthur Azevedo de Amorim

T7: Trace-based Synchronization Synthesis for Concurrent Programs

Arjun Radhakrishna, Roopsha Samanta

T3: Syntax-Guided Synthesis (SyGuS)

Rajeev Alur, Dana Fisman, Rishabh Singh, Armando Solar-Lezama

T1: An Introduction to Redex with Abstracting Abstract Machines

David Van Horn

T2: Declare Your Language (Part 1): Hands-On Spoofax Tutorial

Eelco Visser

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