POPL 2024
Welcome to the website of the 51st ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2024). POPL 2024 will take place in the Institution of Engineering and Technology (IET), Savoy Place, London
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.
Talk live streams on Youtube SIGPLAN channel
Tutorials
Foundations of Type-Driven Probabilistic Modelling
Ohad Kammar
Machine Learning Meets Program Synthesis
Nathanaël Fijalkow
Arm Architecture and Formal Artifacts: Memory Model and Instruction Semantics
Jade Alglave, Artem Khyzha, Luc Maranget, Nikos Nikoleris, Hugo O'Keeffe, Hadrien Renaud
Cedar: A language for expressing fast, safe, and fine-grained authorization policies
Michael Hicks
Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types
Jonas Kastberg Hinrichsen, Jules Jacobs, Robbert Krebbers
Scaling Verification of Concurrent Programs with the Civl Verifier
Constantin Enea, Shaz Qadeer
MetaCoq Tutorial
Yannick Forster, Meven Lennon-Bertrand, Matthieu Sozeau, Theo Winterhalter
Pulse: Proof-oriented Programming in a Concurrent Separation Logic DSL in F*
Thibault Dardinier, Megan Frisella, Guido Martínez, Tahina Ramananandro, Aseem Rastogi, Nikhil Swamy
String Solving for Verification
Matthew Hague, Artur Jez, Anthony Widjaja Lin, Philipp Ruemmer
Automated Datastructure Verification using Unfoldings and SMT Solving: Foundations and FO-Completeness
P. Madhusudan, Adithya Murali
Not to Be Missed Events
The reception will feature short talks from DEI representatives reflecting on their experiences around DEI issues. The event is open to everyone and our goal is to foster DEI discussions, all while drinking fabulous cocktails! This will …
DEI4Everyone Reception
Mentoring lunch for junior faculty, and senior PhD students and postdocs who are on the job market.
Mentoring Lunch
| Carbon Offset | |
| Platinum, PLMW Gold, DEI Gold | |
| Platinum | |
| Silver | |
| Silver | |
| Bronze | |
| Bronze | |
| Bronze | |
| Bronze | |
| Early Stage Supporter |