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
Sun 14 JanDisplayed time zone: London change
Sun 14 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 90mTutorial | 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 | |||
09:00 90mTalk | 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 30mCoffee break | Break Catering | ||
10:30 - 11:00 | |||
10:30 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTutorial | 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 | |||
11:00 90mTalk | 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 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | Scaling Verification of Concurrent Programs with the Civl Verifier TutorialFest | ||
14:00 - 15:30 | |||
14:00 90mTutorial | 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 30mCoffee break | Break Catering | ||
15:30 - 16:00 | |||
15:30 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | Scaling Verification of Concurrent Programs with the Civl Verifier TutorialFest | ||
16:00 - 17:30 | |||
16:00 90mTutorial | 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 JanDisplayed time zone: London change
Mon 15 Jan
Displayed time zone: London change
09:00 - 10:30 | |||
09:00 90mTutorial | Foundations of Type-Driven Probabilistic Modelling TutorialFest Ohad Kammar University of Edinburgh Pre-print | ||
09:00 - 10:30 | |||
09:00 90mTutorial | 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 90mTutorial | 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 30mCoffee break | Break Catering | ||
11:00 - 12:30 | |||
11:00 90mTutorial | Foundations of Type-Driven Probabilistic Modelling TutorialFest Ohad Kammar University of Edinburgh Pre-print | ||
11:00 - 12:30 | |||
11:00 90mTutorial | 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 90mTutorial | 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 90mLunch | Lunch Catering | ||
14:00 - 15:30 | |||
14:00 90mTutorial | 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 | |||
14:00 90mTutorial | Machine Learning Meets Program Synthesis TutorialFest Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute | ||
14:00 - 15:30 | |||
14:00 90mTalk | 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 30mCoffee break | Break Catering | ||
16:00 - 17:30 | |||
16:00 90mTutorial | 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 | |||
16:00 90mTutorial | Machine Learning Meets Program Synthesis TutorialFest Nathanaël Fijalkow CNRS, LaBRI, and Alan Turing Institute | ||
16:00 - 17:30 | |||
16:00 90mTalk | Cedar: A language for expressing fast, safe, and fine-grained authorization policies TutorialFest Michael Hicks Amazon Web Services and the University of Maryland | ||
List of Tutorials
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.