POPL 2024
Sun 14 - Sat 20 January 2024 London, United Kingdom

Continuing the tradition of previous years, POPL 2024 will host a set of tutorials ranging on different topics relevant to the POPL community.

Dates
Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Sun 14 Jan

Displayed time zone: London change

09:00 - 10:30
Morning Track 1TutorialFest at Haslett Room
09:00
90m
Tutorial
Automated Datastructure Verification using Unfoldings and SMT Solving: Foundations and FO-CompletenessRemote
TutorialFest
P. Madhusudan University of Illinois at Urbana-Champaign, Adithya Murali University of Illinois at Urbana-Champaign
09:00 - 10:30
Morning Track 2TutorialFest at Marconi Room
09:00
90m
Talk
MetaCoq Tutorial
TutorialFest
Yannick Forster Inria, Meven Lennon-Bertrand University of Cambridge, Matthieu Sozeau Inria, Théo Winterhalter INRIA Saclay
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning Track 1TutorialFest at Haslett Room
11:00
90m
Tutorial
Automated Datastructure Verification using Unfoldings and SMT Solving: Foundations and FO-CompletenessRemote
TutorialFest
P. Madhusudan University of Illinois at Urbana-Champaign, Adithya Murali University of Illinois at Urbana-Champaign
11:00 - 12:30
Morning Track 2TutorialFest at Marconi Room
11:00
90m
Talk
MetaCoq Tutorial
TutorialFest
Yannick Forster Inria, Meven Lennon-Bertrand University of Cambridge, Matthieu Sozeau Inria, Théo Winterhalter INRIA Saclay
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Afternoon Track 1TutorialFest at Haslett Room
14:00
90m
Tutorial
Scaling Verification of Concurrent Programs with the Civl Verifier
TutorialFest
Constantin Enea Ecole Polytechnique / LIX / CNRS, Shaz Qadeer Facebook
14:00 - 15:30
Afternoon Track 2TutorialFest at Marconi Room
14:00
90m
Tutorial
String Solving for Verification
TutorialFest
Matthew Hague Royal Holloway University of London, Artur Jez University of Wroclaw, Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS, Philipp Ruemmer University of Regensburg and Uppsala University
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Afternoon Track 1TutorialFest at Haslett Room
16:00
90m
Tutorial
Scaling Verification of Concurrent Programs with the Civl Verifier
TutorialFest
Constantin Enea Ecole Polytechnique / LIX / CNRS, Shaz Qadeer Facebook
16:00 - 17:30
Afternoon Track 2TutorialFest at Marconi Room
16:00
90m
Tutorial
String Solving for Verification
TutorialFest
Matthew Hague Royal Holloway University of London, Artur Jez University of Wroclaw, Anthony Widjaja Lin TU Kaiserslautern; MPI-SWS, Philipp Ruemmer University of Regensburg and Uppsala University

Mon 15 Jan

Displayed time zone: London change

09:00 - 10:30
Morning Track 3TutorialFest at Flowers Room
09:00
90m
Tutorial
Foundations of Type-Driven Probabilistic Modelling
TutorialFest
Ohad Kammar University of Edinburgh
Pre-print
09:00 - 10:30
Morning Track 1TutorialFest at Haslett Room
09:00
90m
Tutorial
Arm Architecture and Formal Artifacts: Memory Model and Instruction Semantics
TutorialFest
Jade Alglave Arm and University College London, Artem Khyzha Tel Aviv University, Israel, Luc Maranget Inria, Nikos Nikoleris Arm Research, Hugo O'Keeffe ARM, Hadrien Renaud UCL
09:00 - 10:30
09:00
90m
Tutorial
Pulse: Proof-oriented Programming in a Concurrent Separation Logic DSL in F*
TutorialFest
Thibault Dardinier ETH Zurich, Megan Frisella Brown University, Guido Martínez Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research
10:30 - 11:00
10:30
30m
Coffee break
Break
Catering

11:00 - 12:30
Morning Track 3TutorialFest at Flowers Room
11:00
90m
Tutorial
Foundations of Type-Driven Probabilistic Modelling
TutorialFest
Ohad Kammar University of Edinburgh
Pre-print
11:00 - 12:30
Morning Track 1TutorialFest at Haslett Room
11:00
90m
Tutorial
Arm Architecture and Formal Artifacts: Memory Model and Instruction Semantics
TutorialFest
Jade Alglave Arm and University College London, Artem Khyzha Tel Aviv University, Israel, Luc Maranget Inria, Nikos Nikoleris Arm Research, Hugo O'Keeffe ARM, Hadrien Renaud UCL
11:00 - 12:30
11:00
90m
Tutorial
Pulse: Proof-oriented Programming in a Concurrent Separation Logic DSL in F*
TutorialFest
Thibault Dardinier ETH Zurich, Megan Frisella Brown University, Guido Martínez Microsoft Research, Tahina Ramananandro Microsoft Research, Aseem Rastogi Microsoft Research, Nikhil Swamy Microsoft Research
12:30 - 14:00
12:30
90m
Lunch
Lunch
Catering

14:00 - 15:30
Afternoon Track 3TutorialFest at Flowers Room
14:00
90m
Tutorial
Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types
TutorialFest
Jonas Kastberg Hinrichsen Aarhus University, Denmark, Jules Jacobs Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
File Attached
14:00 - 15:30
Afternoon Track 1TutorialFest at Haslett Room
14:00
90m
Tutorial
Machine Learning Meets Program Synthesis
TutorialFest
Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute
14:00 - 15:30
14:00
90m
Talk
Cedar: A language for expressing fast, safe, and fine-grained authorization policies
TutorialFest
Michael Hicks Amazon Web Services and the University of Maryland
15:30 - 16:00
15:30
30m
Coffee break
Break
Catering

16:00 - 17:30
Afternoon Track 3TutorialFest at Flowers Room
16:00
90m
Tutorial
Verified Message-Passing Concurrency in Iris: Separation Logic Meets Session Types
TutorialFest
Jonas Kastberg Hinrichsen Aarhus University, Denmark, Jules Jacobs Radboud University Nijmegen, Robbert Krebbers Radboud University Nijmegen
File Attached
16:00 - 17:30
Afternoon Track 1TutorialFest at Haslett Room
16:00
90m
Tutorial
Machine Learning Meets Program Synthesis
TutorialFest
Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute
16:00 - 17:30
16:00
90m
Talk
Cedar: A language for expressing fast, safe, and fine-grained authorization policies
TutorialFest
Michael Hicks Amazon Web Services and the University of Maryland

Call For Tutorials

                    POPL 2024

      51st ACM SIGPLAN-SIGACT  Symposium on
      Principles of Programming Languages

         Sun 14 - Sat 20, January 2024
            London, United Kingdom

          https://popl24.sigplan.org

The 51st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL 2024) will be held in London, United Kingdom

POPL provides a forum for the discussion of fundamental principles and important innovations in the design, definition, analysis, transformation, implementation, and verification of programming languages, programming systems, and programming abstractions.

Tutorials for POPL 2024 are solicited on any topic relevant to the POPL community. We particularly encourage submissions of introductory tutorials that make the research presented at POPL more accessible to the participants.

Tutorials will be held on Monday, January 15, 2024. The expected length of a tutorial is 3 hours, including questions and discussion (Q&A).

Submission details:

  • Deadline for submission: 15 October 2023
  • Notification of acceptance: 25 October 2023

A tutorial proposal should provide the following information:

  • Tutorial title
  • Presenter(s), affiliation(s), and contact information
  • 1-3 page description (for evaluation). This should include the objectives, topics to be covered, presentation approach, target audience, prerequisite knowledge, and if the tutorial was previously held, the location (i.e. which conference), date, and number of attendees if available.
  • 1-2 paragraph abstract suitable for tutorial publicity.
  • 1 paragraph biography suitable for tutorial publicity.

Proposal must be submitted in pdf or txt form by email to the associated events chairs Anders Miltner miltner@sfu.ca and Christoph Matheja chmat@dtu.dk.

Further information

Any query regarding POPL 2024 tutorial proposals should be addressed to the associated events chairs Anders Miltner miltner@sfu.ca and Christoph Matheja chmat@dtu.dk or to the general chair Philippa Gardner.