POPL 2025
Sun 19 - Sat 25 January 2025 Denver, Colorado, United States

Lunch, Dinner, Coffee-breaks

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

Sun 19 Jan

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

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

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

Mon 20 Jan

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

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

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

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

Tue 21 Jan

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

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

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

12:30 - 14:00
SIGPLAN SC MeetingCatering at Virtual Only
12:30
90m
Meeting
SIGPLAN SC Meeting
Catering

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

19:30 - 22:00
POPL PC and SC DinnerCatering at Panzano Restaurant

Wed 22 Jan

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

10:00 - 10:40
10:00
40m
Coffee break
Break
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
Mentoring LunchCatering at Hopscotch
12:00
80m
Lunch
Mentoring Lunch
Catering

12:00 - 13:20
PLMW Steering Committee LunchCatering at Kick the Can
12:00
80m
Lunch
PLMW Steering Committee Lunch
Catering

14:20 - 15:00
14:20
40m
Coffee break
Break
Catering

16:20 - 17:00
16:20
40m
Coffee break
Break
Catering

18:00 - 20:00
POPL Networking ReceptionCatering at Four Square Ballroom
18:00
2h
Social Event
POPL Networking Reception
Catering

18:00 - 20:00
18:00
2h
Poster
Efficient Strong Simulation of High-level Quantum Gates
Student Research Competition
18:00
2h
Poster
Value semantics in reference-based languages
Student Research Competition
Hamza Remmal EPFL, LAMP
18:00
2h
Poster
Intermittent Concurrency
Student Research Competition
Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University
18:00
2h
Poster
APIdemic: Verifying Idempotency of REST API Clients
Student Research Competition
Bhavik Kamlesh Goplani University of Kansas
18:00
2h
Poster
Formalizing Erlang’s Success Typings
Student Research Competition
Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park
18:00
2h
Poster
A Complete Translation from Planning Problems to linear logic
Student Research Competition
Luis Hernan Garcia Paucar Aston University, Chris Martens Northeastern University
18:00
2h
Poster
Wanco: WebAssembly AOT Compiler that supports Live Migration
Student Research Competition
Raiki Tamura Kyoto University, Daisuke Kotani Kyoto University, Yasuo Okabe Kyoto University
18:00
2h
Poster
Increasing the Expressiveness of a Gradual Verifier
Student Research Competition
Priyam Gupta Purdue University
18:00
2h
Poster
M3: A Multi-Stage ML with Mutation
Student Research Competition
Maite Kramarz University of Toronto
18:00
2h
Poster
Loop Invariants Using Neural Networks
Student Research Competition
Atticus Kuhn University of Cambridge, Abhinandan Pal University of Birmingham, Mirco Giacobbe University of Birmingham
18:00
2h
Poster
Property Testing Trace Languages
Student Research Competition
Jed Koh Jin Keat National University of Singapore
18:00
2h
Poster
Optimizing Asynchronous Rust with Hydroflow
Student Research Competition
Ryan Alameddine University of California, Berkeley
18:00
2h
Poster
Relational Hoare Logic for Sequential Program Verification
Student Research Competition
Shushu Wu Shanghai Jiao Tong University
18:00
2h
Poster
Expanding the Scope of Grammar-Based Enumerative Testing
Student Research Competition
Thea Kjeldsmark University of California, Irvine
18:00
2h
Poster
System $F^\omega$ with Coherent Implicit Resolution
Student Research Competition
18:00
2h
Poster
The Store-Order Consistency Testing Problem for C-like Memory Models
Student Research Competition
Grace Tan National University of Singapore
18:00
2h
Poster
Formalizing Representation Transformations: A Case Study of Bit Vector Types
Student Research Competition
Katherine Philip Portland State University
19:30 - 22:00
Women @ POPL DinnerCatering at Panzano Restaurant
19:30
2h30m
Dinner
Women @ POPL Dinner
Catering

Thu 23 Jan

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

10:00 - 10:40
10:00
40m
Coffee break
Break
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
SIGPLAN EC MeetingCatering at Kick the Can
12:00
80m
Lunch
SIGPLAN EC meeting
Catering

12:00 - 13:20
LGBTQ+ LunchCatering at Patty Cake
12:00
80m
Lunch
LGBTQ+ Lunch
Catering

14:20 - 15:00
14:20
40m
Coffee break
Break
Catering

16:20 - 17:00
16:20
40m
Coffee break
Break
Catering

Fri 24 Jan

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

10:00 - 10:40
10:00
40m
Coffee break
Break
Catering

12:00 - 13:20
12:00
80m
Lunch
Lunch
Catering

12:00 - 13:20
12:00 - 13:20
URM LunchCatering at Patty Cake
12:00
80m
Lunch
URM Lunch
Catering

14:20 - 15:00
14:20
40m
Coffee break
Break
Catering

16:20 - 17:00
16:20
40m
Coffee break
Break
Catering

Sat 25 Jan

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

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

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

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

Unscheduled Events

Not scheduled
Dinner
POPL PC and SC Dinner
Catering

Not scheduled
Dinner
Dinner
Catering

Not scheduled
Dinner
Student Volunteer Dinner
Catering