Program - ICFP/SPLASH 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

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 programSpecify 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

Tue 14 Oct
Displayed time zone: Perth change

10:50 - 12:05	Continuations at WorkOlivierFest at Peony West Chair(s): Sam Lindley University of Edinburgh

10:50 5m Day opening		Opening OlivierFest Julia Lawall Inria, Fritz Henglein University of Copenhagen, Jens Palsberg University of California, Los Angeles (UCLA), Ilya Sergey National University of Singapore
10:55 20m Talk		Continuations in Musicfestschrift OlivierFest Youyou Cong Institute of Science Tokyo DOI
11:15 25m Talk		Exotic Uses of Continuations OlivierFest Michael D. Adams National University of Singapore
11:40 25m Talk		Invertible Syntax without the Tuples (Functional Pearl)festschrift OlivierFest Mathieu Boespflug Tweag, Arnaud Spiwack Tweag Link to publication DOI Pre-print

13:40 - 15:20	It’s All a Matter of Interpretation!OlivierFest at Peony West Chair(s): Peter Thiemann University of Freiburg

13:40 25m Talk		Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift OlivierFest Kenichi Asai Ochanomizu University, Maika Fujii Ochanomizu University DOI
14:05 25m Talk		A Compositional Semantics for eval in Schemefestschrift OlivierFest Peter D. Mosses Delft University of Technology; Swansea University DOI File Attached
14:30 25m Talk		Generic Reduction-Based Interpretersfestschrift OlivierFest Casper Bach University of Southern Denmark DOI
14:55 25m Talk		Safe-for-Space Linked Environmentsfestschrift OlivierFest Matthew Flatt University of Utah, Robert Bruce Findler Northwestern University DOI

16:00 - 17:45	Analyze ThisOlivierFest at Peony West Chair(s): Jens Palsberg University of California, Los Angeles (UCLA)

16:00 25m Talk		On the Structure of Abstract Interpretersfestschrift OlivierFest Wonyeol Lee POSTECH, Matthieu Lemerre Université Paris-Saclay - CEA List, Xavier Rival Inria - CNRS - Ecole Normale Superieure de Paris - PSL University, Hongseok Yang KAIST DOI
16:25 25m Talk		Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_corefestschrift OlivierFest Julia Lawall Inria, Keisuke Nishimura Inria, Jean-Pierre Lozi Inria DOI
16:50 25m Talk		Simple Closure Analysis Revisitedfestschrift OlivierFest Fritz Henglein University of Copenhagen DOI
17:15 15m Talk		Mixing transformation and symbolic execution with continuation for WebAssembly OlivierFest Guannan Wei Tufts University
17:30 15m Talk		Data-Centric Functional Programming with First-Class Finite Maps and Tabulated Abstractions OlivierFest Tiark Rompf Purdue University

Wed 15 Oct
Displayed time zone: Perth change

10:50 - 12:05	I know Kung FuOlivierFest at Peony West Chair(s): Youyou Cong Institute of Science Tokyo

10:50 25m Talk		Controlling Copatterns: There and Back Againfestschrift OlivierFest Paul Downen University of Massachusetts at Lowell DOI
11:15 25m Talk		Deforestation through refunctionalization OlivierFest Lionel Parreaux HKUST (The Hong Kong University of Science and Technology)
11:40 25m Talk		Encoding Product Typesfestschrift OlivierFest Sam Lindley University of Edinburgh DOI

13:40 - 15:25	Proof we need. Proof!OlivierFest at Peony West Chair(s): Xavier Rival Inria - CNRS - Ecole Normale Superieure de Paris - PSL University

13:40 25m Talk		What I Always Wanted to Know about Second Class Valuesfestschrift OlivierFest Peter Thiemann University of Freiburg DOI
14:05 25m Talk		A Tale of Two Zippersfestschrift OlivierFest Philip Wadler IOG; University of Edinburgh, Ramsay Taylor IOG, Jacco Krijnen Utrecht University DOI
14:30 25m Talk		Verified Nanopasses for Compiling Conditionalsfestschrift OlivierFest Jeremy G. Siek Indiana University DOI
14:55 15m Talk		Verifying Effectful Programs via Answer-Type Modification OlivierFest Taro Sekiyama National Institute of Informatics
15:10 15m Talk		From Delimited Continuations to Staged Logics OlivierFest Wei-Ngan Chin National University of Singapore, Darius Foo National University of Singapore, Yahui Song Standard Chartered Bank

16:00 - 17:40	ClosureOlivierFest at Peony West Chair(s): Julia Lawall Inria

16:00 50m Talk		More than a Colleague: Celebrating Olivier’s Impact OlivierFest Charles Consel Bordeaux-INP, Andrzej Filinski DIKU, University of Copenhagen, David Schmidt Kansas State University, Torben Amtoft Kansas State University, Jens Palsberg University of California, Los Angeles (UCLA), Jacob Johannsen Independent, Chantal Keller LMF - University Paris-Saclay, Kira Kutscher , Paola Quaglia University of Trento
16:50 50m Talk		Many Happy Continuations OlivierFest Olivier Danvy Yale-NUS College and School of Computing, Singapore

OlivierFest 2025 Program

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change

Tracks

Co-hosted Conferences

Workshops

Co-hosted Symposia

OlivierFest 2025 Program

Switch Program View

Program Display Configuration

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change