POPL 2025
Sun 19 - Sat 25 January 2025
Denver, Colorado, United States
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Supporting POPL
Registration
Requesting a Visa
Code of Conduct
Program
POPL Program
Your Program
Filter by Day
Sun 19 Jan
Mon 20 Jan
Tue 21 Jan
Wed 22 Jan
Thu 23 Jan
Fri 24 Jan
Sat 25 Jan
Tracks
POPL 2025
Artifact Evaluation
POPL
Student Research Competition
Student Volunteers
Tutorials
Workshops and Co-located Events
Co-hosted Conferences
CPP
VMCAI
Workshops
CoqPL
Dafny
LAFI
PEPM
PLMW @ POPL
PLanQC
PriSC
TPSA
WAW
WITS
Co-hosted Symposia
PADL
Organization
POPL 2025 Committees
Organizing Committee
AV Committee
Student Volunteers
Track Committees
Artifact Evaluation
POPL
Student Research Competition
Contributors
People Index
Co-hosted Conferences
CPP
Organizing Committee
Program Committee
Steering Committee
VMCAI
Organizing Committee
Program Committee
Artifact Evaluation Committee
Workshops
CoqPL
Program Committee
Dafny
Program Committee Chairs
Program Committee
Steering Committee Chairs
LAFI
Program Committee
Steering Committee
PEPM
Chairs
Programme Committee
PLMW @ POPL
Organizing Committee
Speakers
Panelists
PLanQC
Organizing Committee
Program Committee
PriSC
Program Committee
Steering Committee
TPSA
Organizing Committee
Program Committee
WAW
Organizers
Program Committee
WITS
Program Committee
Co-hosted Symposia
PADL
Programme Chairs
Program Committee
Search
Series
Series
POPL 2025
POPL 2024
POPL 2023
POPL 2022
POPL 2021
POPL 2020
POPL 2019
POPL 2018
POPL 2017
POPL 2016
Sign in
Sign up
POPL 2025
(
series
) /
Curtis Hotel Denver
/
Room information: Jax
Venue
Curtis Hotel Denver
Room name
Jax
Floor
2
Capacity
50
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
This program is tentative and subject to change.
Program Display Configuration
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
(GMT-12:00) AoE (Anywhere On Earth)
(GMT-11:00) Midway Island, Samoa
(GMT-10:00) Hawaii-Aleutian
(GMT-10:00) Hawaii
(GMT-09:30) Marquesas Islands
(GMT-09:00) Gambier Islands
(GMT-09:00) Alaska
(GMT-08:00) Tijuana, Baja California
(GMT-08:00) Pitcairn Islands
(GMT-08:00) Pacific Time (US & Canada)
(GMT-07:00) Mountain Time (US & Canada)
(GMT-06:00) Chihuahua, La Paz, Mazatlan
(GMT-07:00) Arizona
(GMT-06:00) Saskatchewan, Central America
(GMT-05:00) Guadalajara, Mexico City, Monterrey
(GMT-05:00) Easter Island
(GMT-06:00) Central Time (US & Canada)
(GMT-05:00) Eastern Time (US & Canada)
(GMT-05:00) Cuba
(GMT-05:00) Bogota, Lima, Quito, Rio Branco
(GMT-04:00) Caracas
(GMT-03:00) Santiago
(GMT-04:00) La Paz
(GMT-03:00) Faukland Islands
(GMT-04:00) Manaus, Amazonas, Brazil
(GMT-04:00) Atlantic Time (Goose Bay)
(GMT-04:00) Atlantic Time (Canada)
(GMT-03:30) Newfoundland
(GMT-03:00) UTC-3
(GMT-03:00) Montevideo
(GMT-03:00) Miquelon, St. Pierre
(GMT-03:00) Greenland
(GMT-03:00) Buenos Aires
(GMT-03:00) Brasilia, Distrito Federal, Brazil
(GMT-02:00) Mid-Atlantic
(GMT-01:00) Cape Verde Is.
(GMT-01:00) Azores
(UTC) Coordinated Universal Time
(GMT) Belfast
(GMT) Dublin
(GMT) Lisbon
(GMT) London
(GMT) Monrovia, Reykjavik
(GMT+01:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna
(GMT+01:00) Belgrade, Bratislava, Budapest, Ljubljana, Prague
(GMT+01:00) Brussels, Copenhagen, Madrid, Paris
(GMT+01:00) West Central Africa
(GMT+02:00) Windhoek
(GMT+02:00) Athens
(GMT+02:00) Beirut
(GMT+02:00) Cairo
(GMT+02:00) Gaza
(GMT+02:00) Harare, Pretoria
(GMT+02:00) Jerusalem
(GMT+03:00) Minsk
(GMT+03:00) Syria
(GMT+03:00) Moscow, St. Petersburg, Volgograd
(GMT+03:00) Nairobi
(GMT+03:30) Tehran
(GMT+04:00) Abu Dhabi, Muscat
(GMT+04:00) Yerevan
(GMT+04:30) Kabul
(GMT+05:00) Ekaterinburg
(GMT+05:00) Tashkent
(GMT+05:30) Chennai, Kolkata, Mumbai, New Delhi
(GMT+05:45) Kathmandu
(GMT+06:00) Astana, Dhaka
(GMT+07:00) Novosibirsk
(GMT+06:30) Yangon (Rangoon)
(GMT+07:00) Bangkok, Hanoi, Jakarta
(GMT+07:00) Krasnoyarsk
(GMT+08:00) Beijing, Chongqing, Hong Kong, Urumqi
(GMT+08:00) Irkutsk, Ulaan Bataar
(GMT+08:00) Perth
(GMT+08:45) Eucla
(GMT+09:00) Osaka, Sapporo, Tokyo
(GMT+09:00) Seoul
(GMT+09:00) Yakutsk
(GMT+10:30) Adelaide
(GMT+09:30) Darwin
(GMT+10:00) Brisbane
(GMT+11:00) Hobart
(GMT+10:00) Vladivostok
(GMT+11:00) Lord Howe Island
(GMT+11:00) Solomon Is., New Caledonia
(GMT+11:00) Magadan
(GMT+12:00) Norfolk Island
(GMT+12:00) Anadyr, Kamchatka
(GMT+13:00) Auckland, Wellington
(GMT+12:00) Fiji, Kamchatka, Marshall Is.
(GMT+13:45) Chatham Islands
(GMT+13:00) Nuku'alofa
(GMT+14:00) Kiritimati
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 program
Specify 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 1
PriSC
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 2
PriSC
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
12:15
15m
Talk
Lightning talks
PriSC
14:00 - 15:30
Session 3
PriSC
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
15:15
15m
Talk
Lightning talks
PriSC
16:00 - 17:30
Session 4
PriSC
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
16:50
24m
Talk
SNIP: Speculative Execution and Non-Interference Preservation for Compiler Transformations
PriSC
Sören van der Wall
PhD Student
,
Roland Meyer
TU Braunschweig
17:15
15m
Day closing
Closing Remarks
PriSC
Marco Patrignani
University of Trento
,
Marco Vassena
Utrecht University
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
30
10:00
30
11:00
30
12:00
30
13:00
30
14:00
30
15:00
30
16:00
30
17:00
30
Jax
PriSC
Session 1
PriSC
Session 2
PriSC
Session 3
PriSC
Session 4
Mon 20 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
9:00
15
30
45
10:00
15
30
45
11:00
15
30
45
12:00
15
30
45
13:00
15
30
45
14:00
15
30
45
15:00
15
30
45
16:00
15
30
45
17:00
15
30
45
Jax
PriSC
Opening Remarks
09:00 - 09:04
PriSC
Keynote: Bringing Verified Cryptographic Protocols to Practice
09:05 - 10:04
PriSC
A Semantic Approach to Robust Property Preservation
10:05 - 10:30
PriSC
ILA: Correctness via Type Checking for Fully Homomorphic Encryption
11:00 - 11:25
PriSC
Leveraging Duality for Programming with zkSNARKs
11:25 - 11:49
PriSC
Preservation of Speculative Constant-time by Compilation
11:50 - 12:14
PriSC
Lightning talks
12:15 - 12:30
PriSC
Auditing Rust Crates Effectively
14:00 - 14:24
PriSC
Automatic Inference of Enclave Placement in LLVM Compiler
14:25 - 14:49
PriSC
Counterexamples in Safe Rust
14:50 - 15:14
PriSC
Lightning talks
15:15 - 15:30
PriSC
BeePL: Correct-by-compilation kernel extensions
16:00 - 16:24
PriSC
Non-Interference Preserving and Optimising Compilation with Hyperproper ...
16:25 - 16:49
PriSC
SNIP: Speculative Execution and Non-Interference Preservation for Compi ...
16:50 - 17:14
PriSC
Closing Remarks
17:15 - 17:30
x
Sat 21 Dec 12:36