Program - POPL 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT-07:00) Mountain Time (US & Canada).

Use conference time zone: (GMT-07:00) Mountain Time (US & Canada)Select other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

09:00 - 10:30	Session 1PriSC at Jax

09:00 4m Day opening		Opening Remarks PriSC Marco Patrignani University of Trento, Marco Vassena Utrecht University
09:05 59m Keynote		Keynote: Bringing Verified Cryptographic Protocols to Practice PriSC Bryan Parno Carnegie Mellon University
10:05 25m Talk		A Semantic Approach to Robust Property Preservation PriSC Niklas Mück MPI-SWS, Michael Sammler Institute of Science and Technology Austria, Aina Linn Georges Max Planck Institute for Software Systems (MPI-SWS), Derek Dreyer MPI-SWS, Deepak Garg MPI-SWS

11:00 - 12:30	Session 2PriSC at Jax

11:00 25m Talk		ILA: Correctness via Type Checking for Fully Homomorphic Encryption PriSC Tarakaram Gollamudi None, Anitha Gollamudi University of Massachusetts Lowell, Joshua Gancher Northeastern University
11:25 24m Talk		Leveraging Duality for Programming with zkSNARKs PriSC Rahul Krishnan University of Wisconsin-Madison, Ethan Cecchetti University of Wisconsin-Madison
11:50 24m Talk		Preservation of Speculative Constant-time by Compilation PriSC Santiago Arranz Olmos Max Planck Institute for Security and Privacy, Gilles Barthe MPI-SP; IMDEA Software Institute, Lionel Blatter Max Planck Institute for Security and Privacy, Benjamin Gregoire INRIA, Vincent Laporte Inria

14:00 - 15:30	Session 3PriSC at Jax

14:00 24m Talk		Auditing Rust Crates Effectively PriSC Lydia Zoghbi University of California, San Diego, David Thien University of California, San Diego, Ranjit Jhala UCSD, Deian Stefan University of California at San Diego, Caleb Stanford University of California, Davis
14:25 24m Talk		Automatic Inference of Enclave Placement in LLVM Compiler PriSC Wesley B Nuzzo University of Massachusetts, Lowell (UML), Mohamed Elwakil U.S. Coast Guard Academy, Anitha Gollamudi University of Massachusetts Lowell
14:50 24m Talk		Counterexamples in Safe Rust PriSC Muhammad Hassnain University of California, Davis, Caleb Stanford University of California, Davis

16:00 - 17:30	Session 4PriSC at Jax

16:00 24m Talk		BeePL: Correct-by-compilation kernel extensions PriSC Swarn Priya Virginia Tech, Tim Steenvoorden Open Universiteit, Connor Sughrue Virginia Tech, Frédéric Besson Inria, Rennes, Freek Verbeek Open Universiteit & Virginia Tech
16:25 24m Talk		Non-Interference Preserving and Optimising Compilation with Hyperproperty Simulations PriSC Julian Rosemann Saarland University, Saarland Informatics Campus, Sebastian Hack Saarland University, Saarland Informatics Campus, Deepak Garg MPI-SWS File Attached
16:50 24m Talk		SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations PriSC Sören van der Wall TU Braunschweig, Roland Meyer TU Braunschweig Link to publication DOI
17:15 15m Day closing		Closing Remarks PriSC Marco Patrignani University of Trento, Marco Vassena Utrecht University

PriSC 2025 Program

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

PriSC 2025 Program

Switch Program View

Program Display Configuration

Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change

Get Calendar (iCal)

Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change