POPL 2018

Welcome to the website of The 45th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018)

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. We seek submissions that make principled, enduring contributions to the theory, design, understanding, implementation or application of programming languages.

The symposium is sponsored by ACM SIGPLAN, in cooperation with ACM SIGACT and ACM SIGLOG.

The main POPL 2018 conference will be held from Wed 10 - Fri 12 January 2018.

Please visit the track pages of co-located conferences and workshops to find their schedules.

The schedule for POPL can be found here

Schedule At A Glance

Keynotes

Milner Award Lecture: The Type Soundness Theorem That You Really Want to Prove (and Now You Can)

Derek Dreyer

Some Principles of Differential Programming Languages

Gordon Plotkin

Formal Methods and the Law

Sarah Lawsky

Tutorial Fest

Message-Passing Concurrency and Substructural Logics

Frank Pfenning

Computational Higher Type Theory

Robert Harper, Carlo Angiuli

One Weird Trick: Relational Interpreters for Program Synthesis.

William E. Byrd, Gregory Rosenblatt

Introduction to Algebraic Program analysis.

Zachary Kincaid, Thomas Reps

Code Obfuscation - A Hacking view on program analysis and understanding.

Roberto Giacobazzi

Equational reasoning for probabilistic programming.

Chung-chieh Shan

Programming and Reasoning with Infinite Data in Isabelle/HOL.

Mathias Fleury, Andreas Lochbihler, Andrei Popescu

Iris - A Modular Foundation for Higher-Order Concurrent Separation Logic.

Jacques-Henri Jourdan, Robbert Krebbers