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

This program is tentative and subject to change.

Tue 21 Jan 2025 16:45 - 17:25 at Dodgeball - Macros, lenses, and LLMs Chair(s): Y. Annie Liu

This program is tentative and subject to change.

Tue 21 Jan

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

16:00 - 17:30
Macros, lenses, and LLMsPEPM at Dodgeball
Chair(s): Y. Annie Liu Stony Brook University
16:00
15m
Short-paper
Type-Sensitive Algebraic Macros (Short Paper)Remote
PEPM
April Gonçalves University of Strathclyde, Robert Atkey University of Strathclyde
File Attached
16:15
30m
Research paper
Characterizations of Partial Well-Behaved Lenses
PEPM
Keishi HASHIBA The University of Osaka, Keisuke Nakano Tohoku University, Kazuyuki Asada Tohoku University, Kentaro Kikuchi Tohoku University
16:45
40m
Panel
Semantics-based program manipulation in the age of LLMs
PEPM
William J. Bowman University of British Columbia, Brigitte Pientka McGill University, Satnam Singh Groq, Sam Lindley The University of Edinburgh
17:25
5m
Day closing
Farewell
PEPM
Y. Annie Liu Stony Brook University