Lunch, Dinner, Coffee-breaks
Dates
Plenary
This program is tentative and subject to change.
Sun 19 JanDisplayed time zone: Mountain Time (US & Canada) change
Sun 19 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
Mon 20 JanDisplayed time zone: Mountain Time (US & Canada) change
Mon 20 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
Tue 21 JanDisplayed time zone: Mountain Time (US & Canada) change
Tue 21 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
12:30 - 14:00 | |||
12:30 90mMeeting | SIGPLAN SC Meeting Catering | ||
19:30 - 22:00 | |||
Wed 22 JanDisplayed time zone: Mountain Time (US & Canada) change
Wed 22 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:00 - 13:20 | |||
12:00 80mLunch | PLMW Steering Committee Lunch Catering | ||
12:00 - 13:20 | |||
12:00 80mLunch | Lunch Catering | ||
12:00 - 13:20 | |||
12:00 80mLunch | Mentoring Lunch Catering | ||
18:00 - 20:00 | |||
18:00 2hSocial Event | POPL Networking Reception Catering | ||
18:00 - 20:00 | |||
18:00 2hPoster | Efficient Strong Simulation of High-level Quantum Gates Student Research Competition | ||
18:00 2hPoster | Value semantics in reference-based languages Student Research Competition Hamza Remmal EPFL, LAMP | ||
18:00 2hPoster | Intermittent Concurrency Student Research Competition Myra Dotzel Carnegie Mellon University, Milijana Surbatovich University of Maryland, Limin Jia Carnegie Mellon University | ||
18:00 2hPoster | APIdemic: Verifying Idempotency of REST API Clients Student Research Competition Bhavik Kamlesh Goplani University of Kansas | ||
18:00 2hPoster | Formalizing Erlang’s Success Typings Student Research Competition Elan Semenova University of Maryland, College Park, Leonidas Lampropoulos University of Maryland, College Park | ||
18:00 2hPoster | A Complete Translation from Planning Problems to linear logic Student Research Competition | ||
18:00 2hPoster | Wanco: WebAssembly AOT Compiler that supports Live Migration Student Research Competition | ||
18:00 2hPoster | Increasing the Expressiveness of a Gradual Verifier Student Research Competition Priyam Gupta Purdue University | ||
18:00 2hPoster | M3: A Multi-Stage ML with Mutation Student Research Competition Maite Kramarz University of Toronto | ||
18:00 2hPoster | 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 2hPoster | Property Testing Trace Languages Student Research Competition Jed Koh Jin Keat National University of Singapore | ||
18:00 2hPoster | Optimizing Asynchronous Rust with Hydroflow Student Research Competition Ryan Alameddine University of California, Berkeley | ||
18:00 2hPoster | Relational Hoare Logic for Sequential Program Verification Student Research Competition Shushu Wu Shanghai Jiao Tong University | ||
18:00 2hPoster | Expanding the Scope of Grammar-Based Enumerative Testing Student Research Competition Thea Kjeldsmark University of California, Irvine | ||
18:00 2hPoster | System $F^\omega$ with Coherent Implicit Resolution Student Research Competition Eugene Flesselle EPFL | ||
18:00 2hPoster | The Store-Order Consistency Testing Problem for C-like Memory Models Student Research Competition Grace Tan National University of Singapore | ||
18:00 2hPoster | Formalizing Representation Transformations: A Case Study of Bit Vector Types Student Research Competition Katherine Philip Portland State University | ||
19:30 - 22:00 | |||
19:30 2h30mDinner | Women @ POPL Dinner Catering | ||
Thu 23 JanDisplayed time zone: Mountain Time (US & Canada) change
Thu 23 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:00 - 13:20 | |||
12:00 80mLunch | LGBTQ+ Lunch Catering | ||
12:00 - 13:20 | |||
12:00 80mLunch | Lunch Catering | ||
Fri 24 JanDisplayed time zone: Mountain Time (US & Canada) change
Fri 24 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:00 - 13:20 | |||
12:00 80mLunch | URM Lunch Catering | ||
12:00 - 13:20 | |||
12:00 80mLunch | Lunch Catering | ||
Sat 25 JanDisplayed time zone: Mountain Time (US & Canada) change
Sat 25 Jan
Displayed time zone: Mountain Time (US & Canada) change
12:30 - 14:00 | |||
12:30 90mLunch | Lunch Catering | ||
Unscheduled Events
| Not scheduled Dinner | POPL PC and SC Dinner Catering | ||
| Not scheduled Dinner | Dinner Catering | ||
| Not scheduled Dinner | Student Volunteer Dinner Catering |
Events
| Title | |
|---|---|
| Break Catering | |
| Dinner Catering | |
| LGBTQ+ Lunch Catering | |
| Lunch Catering | |
| Mentoring Lunch Catering | |
| PLMW Steering Committee Lunch Catering | |
| POPL Networking Reception Catering | |
| POPL PC and SC Dinner Catering | |
| SIGPLAN SC Meeting Catering | |
| Student Volunteer Dinner Catering | |
| URM Lunch Catering | |
| Women @ POPL Dinner Catering |