LAFI 2025
Sun 19 Jan 2025
Denver, Colorado, United States
co-located with
POPL 2025
Toggle navigation
Attending
Venue: Curtis Hotel Denver
Program
LAFI Program
Your Program
Sun 19 Jan
Track/Call
Organization
LAFI 2025 Committees
Track Committees
Program Committee
Steering Committee
Contributors
People Index
Search
Series
Series
LAFI 2025
LAFI 2024
LAFI 2023
LAFI 2022
LAFI 2021
LAFI 2020
LAFI 2019
PPS 2018
PPS 2017
PPS 2016
Sign in
Sign up
POPL 2025
(
series
) /
LAFI 2025 (
series
) /
Curtis Hotel Denver
/
Room information: Four Square Corridor
Venue
Curtis Hotel Denver
Room name
Four Square Corridor
Floor
0
Room Information
No extra information available
Program
Detailed Table
Session Timeline
Detailed Timeline
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
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
18:00 - 20:00
SRC Poster Session
POPL Student Research Competition
at
Four Square Corridor
18:00
2h
Poster
Efficient Strong Simulation of High-level Quantum Gates
POPL Student Research Competition
Adam Husted Kjelstrøm
18:00
2h
Poster
Value semantics in reference-based languages
POPL Student Research Competition
Hamza Remmal
EPFL, LAMP
18:00
2h
Poster
Intermittent Concurrency
POPL 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
POPL Student Research Competition
Bhavik Kamlesh Goplani
University of Kansas
18:00
2h
Poster
Formalizing Erlang’s Success Typings
POPL 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
POPL 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
POPL 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
POPL Student Research Competition
Priyam Gupta
Purdue University
18:00
2h
Poster
M3: A Multi-Stage ML with Mutation
POPL Student Research Competition
Maite Kramarz
University of Toronto
18:00
2h
Poster
Loop Invariants Using Neural Networks
POPL 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
POPL Student Research Competition
Jed Koh Jin Keat
National University of Singapore
18:00
2h
Poster
Optimizing Asynchronous Rust with Hydroflow
POPL Student Research Competition
Ryan Alameddine
University of California, Berkeley
18:00
2h
Poster
Relational Hoare Logic for Sequential Program Verification
POPL Student Research Competition
Shushu Wu
Shanghai Jiao Tong University
18:00
2h
Poster
Expanding the Scope of Grammar-Based Enumerative Testing
POPL Student Research Competition
Thea Kjeldsmark
University of California, Irvine
18:00
2h
Poster
System $F^\omega$ with Coherent Implicit Resolution
POPL Student Research Competition
Eugene Flesselle
EPFL
18:00
2h
Poster
The Store-Order Consistency Testing Problem for C-like Memory Models
POPL Student Research Competition
Grace Tan
National University of Singapore
18:00
2h
Poster
Formalizing Representation Transformations: A Case Study of Bit Vector Types
POPL Student Research Competition
Katherine Philip
Portland State University
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
18:00
30
19:00
30
Four Square Corridor
POPL Student Research Competition
SRC Poster Session
Wed 22 Jan
Displayed time zone:
Mountain Time (US & Canada)
change
Room
18:00
15
30
45
19:00
15
30
45
Four Square Corridor
POPL Student Research Competition
Efficient Strong Simulation of High-level Quantum Gates
18:00 - 20:00
Value semantics in reference-based languages
18:00 - 20:00
Intermittent Concurrency
18:00 - 20:00
APIdemic: Verifying Idempotency of REST API Clients
18:00 - 20:00
Formalizing Erlang’s Success Typings
18:00 - 20:00
A Complete Translation from Planning Problems to linear logic
18:00 - 20:00
Wanco: WebAssembly AOT Compiler that supports Live Migration
18:00 - 20:00
Increasing the Expressiveness of a Gradual Verifier
18:00 - 20:00
M3: A Multi-Stage ML with Mutation
18:00 - 20:00
Loop Invariants Using Neural Networks
18:00 - 20:00
Property Testing Trace Languages
18:00 - 20:00
Optimizing Asynchronous Rust with Hydroflow
18:00 - 20:00
Relational Hoare Logic for Sequential Program Verification
18:00 - 20:00
Expanding the Scope of Grammar-Based Enumerative Testing
18:00 - 20:00
System $F^\omega$ with Coherent Implicit Resolution
18:00 - 20:00
The Store-Order Consistency Testing Problem for C-like Memory Models
18:00 - 20:00
Formalizing Representation Transformations: A Case Study of Bit Vector ...
18:00 - 20:00
x
Mon 31 Mar 10:30
:
: