POPL 2019

Program of POPL 2019 and Co-located Events

List of Papers Accepted for POPL 2019

• Distinguished Papers
• To download (the definitive and open access version of) a POPL paper, click “Link to publication” under the paper’s title and authors.
• Videos of POPL 2019 talks (hosted on YouTube) are available on their event page, where slides and other supplementary material may also be available. To get to a talk’s event page, click “File Attached” or “Media Attached” under the talk’s title and authors.

Welcome to the website of the 46th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2019).

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.

POPL 2019 and its co-located events took place at the Hotel Cascais Miragem, Cascais, Portugal, January 13–19, 2019.

Keynotes

Automated Fault-Finding and Fixing at Facebook

Mark Harman

Mechanized Metatheory - The Next Chapter

Brigitte Pientka

TutorialFest

[T1] QuickChick: Property-Based Testing in Coq

Benjamin C. Pierce, Leonidas Lampropoulos

[T2] Engineering Distributed Systems via Protocols and Commitments

Amit Chopra, Munindar P. Singh

[T3] Linear and Graded Modal Types for Fine-Grained Program Reasoning

Dominic Orchard, Harley D. Eades III, Vilem-Benjamin Liepelt

[T4] Programming Cyber-Physical Systems with Logic

André Platzer

[T5] Correct-by-Construction Programming in Agda

Andreas Abel, Jesper Cockx

[T6] Session-Typed Concurrent Programming

Stephanie Balzer

[T7] Higher-Order Probabilistic Programming

Ugo Dal Lago

[T8] Building Your Own Modular Static Analyser with Infer

Jules Villard, Ezgi Çiçek, Mehdi Bouaziz, Nikos Gorogiannis