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

Lunch, Dinner, Coffee-breaks

Dates
Plenary

This program is tentative and subject to change.

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
PLMW Steering Committee LunchCatering at Duck, Duck Goose
12:00
80m
Lunch
PLMW Steering Committee Lunch
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
Mentoring LunchCatering at Red Rover
12:00
80m
Lunch
Mentoring 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
LGBTQ+ LunchCatering at Duck, Duck Goose
12:00
80m
Lunch
LGBTQ+ Lunch
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
12:00
80m
Lunch
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
URM Lunch
Catering

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

12:00 - 13:20
12:00 - 13:20
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

Hide past events

Unscheduled Events

Not scheduled
Dinner
POPL PC and SC Dinner
Catering

Not scheduled
Dinner
Dinner
Catering

Not scheduled
Dinner
Student Volunteer Dinner
Catering