OlivierFest 2025

About
Program

The proceedings of the workshop are available, in a single PDF file, at ACM Digital Library.

This two-day event celebrates the career and accomplishments of Olivier Danvy on the occasion of his 64th birthday.

Olivier is a visionary in the field of programming languages and is well-known for his seminal work on control operators, partial evaluation, inter-derivation of program semantics, and applications of mechanised theorem provers in Computer Science research and education. Olivier’s research on abstract machines, interpreters, and program manipulation techniques has been instrumental in building common understanding of how programs compute, transform, and interact. His contributions inspired several generations of researchers to study connections between programs and data, syntax and semantics, interpreters and compilers. Known for being an extraordinarily kind and approachable person, Olivier has been a supportive mentor and a role model for his students, collaborators, and colleagues. Last but not least, a dedicated educator, Olivier has authored many influential courses on understanding and designing programs, and a number of papers on elegant and instructive uses of functional programming and proof assistants.

We invite you to join us in honouring Olivier with this workshop, featuring a series of distinguished talks and papers by his students, colleagues, and friends, on the topics in the many areas of Computer Science that he has contributed to.

Contributed Papers and Talks

	Title
	A Compositional Semantics for eval in Schemefestschrift OlivierFest Peter D. Mosses DOI File Attached
	A Pair of tricksfestschrift OlivierFest Oleg Kiselyov DOI
	A Tale of Two Zippersfestschrift OlivierFest Philip Wadler, Ramsay Taylor, Jacco Krijnen DOI
	Continuations in Musicfestschrift OlivierFest Youyou Cong DOI
	Controlling Copatterns: There and Back Againfestschrift OlivierFest Paul Downen DOI
	Danvy’s Mystery Functions in Slangfestschrift OlivierFest Stefan Hallerstede, Robby , John Hatcliff DOI
	Data-Centric Functional Programming with First-Class Finite Maps and Tabulated Abstractions OlivierFest Tiark Rompf
	Defining Algebraic Effects and Handlers via Trails and Metacontinuationsfestschrift OlivierFest Kenichi Asai, Maika Fujii DOI
	Deforestation through refunctionalization OlivierFest Lionel Parreaux
	Encoding Product Typesfestschrift OlivierFest Sam Lindley DOI
	Exotic Uses of Continuations OlivierFest Michael D. Adams
	From continuation models to shift without reset and an intuitionistic arithmetical hierarchy OlivierFest Danko Ilik
	From Delimited Continuations to Staged Logics OlivierFest Wei-Ngan Chin, Darius Foo, Yahui Song
	Functional Programming and Computational Quantum Structuresfestschrift OlivierFest Jerzy Karczmarczuk DOI
	Generic Reduction-Based Interpretersfestschrift OlivierFest Casper Bach DOI
	How to Fold a Tree: Programming Exercises on Calder’s Mobilesfestschrift OlivierFest Thibaut Balabonski DOI
	Invertible Syntax without the Tuples (Functional Pearl)festschrift OlivierFest Mathieu Boespflug, Arnaud Spiwack Link to publication DOI Pre-print
	Mixing transformation and symbolic execution with continuation for WebAssembly OlivierFest Guannan Wei
	More than a Colleague: Celebrating Olivier’s Impact OlivierFest Charles Consel, Andrzej Filinski, David Schmidt, Torben Amtoft, Jens Palsberg, Jacob Johannsen, Chantal Keller, Kira Kutscher, Paola Quaglia
	On the Structure of Abstract Interpretersfestschrift OlivierFest Wonyeol Lee, Matthieu Lemerre, Xavier Rival, Hongseok Yang DOI
	Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functionsfestschrift OlivierFest Jan Midtgaard DOI
	Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semanticsfestschrift OlivierFest Robert Glück, Maurizio Proietti DOI
	Safe-for-Space Linked Environmentsfestschrift OlivierFest Matthew Flatt, Robert Bruce Findler DOI
	Simple Closure Analysis Revisitedfestschrift OlivierFest Fritz Henglein DOI
	Towards Metaprogramming Defunctionalization in Rocqfestschrift OlivierFest Chantal Keller, Camille Noûs DOI
	Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_corefestschrift OlivierFest Julia Lawall, Keisuke Nishimura, Jean-Pierre Lozi DOI
	Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstractionfestschrift OlivierFest Patrycja Balik, Dariusz Biernacki, Piotr Polesiuk DOI
	Verified Nanopasses for Compiling Conditionalsfestschrift OlivierFest Jeremy G. Siek DOI
	Verifying Effectful Programs via Answer-Type Modification OlivierFest Taro Sekiyama
	What I Always Wanted to Know about Second Class Valuesfestschrift OlivierFest Peter Thiemann DOI

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:10 - 10:50	Coffee breakCatering at Orchid Dining Hall

10:10 40m Coffee break		Break Catering

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

12:10 - 13:40	LunchCatering at Orchid Dining Hall

12:10 90m Lunch		Lunch Catering

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

15:20 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:20 40m Coffee break		Break Catering

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:10 - 10:50	Coffee breakCatering at Orchid Dining Hall

10:10 40m Coffee break		Break Catering

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

12:10 - 13:40	LunchCatering at Orchid Dining Hall

12:10 90m Lunch		Lunch Catering

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

15:20 - 16:00	Coffee breakCatering at Orchid Dining Hall

15:20 40m Coffee break		Break Catering

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

Unscheduled Events

	Not scheduled Paper		Danvy’s Mystery Functions in Slangfestschrift OlivierFest Stefan Hallerstede Aarhus University, Robby Kansas State University, John Hatcliff Kansas State University DOI
	Not scheduled Paper		Towards Metaprogramming Defunctionalization in Rocqfestschrift OlivierFest Chantal Keller LMF - University Paris-Saclay, Camille Noûs Laboratoire Cogitamus - Université Publique DOI
	Not scheduled Paper		Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semanticsfestschrift OlivierFest Robert Glück University of Copenhagen, Maurizio Proietti IASI-CNR DOI
	Not scheduled Paper		Functional Programming and Computational Quantum Structuresfestschrift OlivierFest Jerzy Karczmarczuk University of Caen DOI
	Not scheduled Paper		Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functionsfestschrift OlivierFest Jan Midtgaard Independent DOI
	Not scheduled Paper		A Pair of tricksfestschrift OlivierFest Oleg Kiselyov Tohoku University DOI
	Not scheduled Talk		From continuation models to shift without reset and an intuitionistic arithmetical hierarchy OlivierFest Danko Ilik Trusted Labs
	Not scheduled Paper		Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstractionfestschrift OlivierFest Patrycja Balik University of Wrocław, Dariusz Biernacki University of Wrocław, Piotr Polesiuk University of Wrocław DOI
	Not scheduled Talk		How to Fold a Tree: Programming Exercises on Calder’s Mobilesfestschrift OlivierFest Thibaut Balabonski LMF, CNRS, Université Paris-Saclay DOI

Contributed Papers and Talks

Program Display Configuration

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Unscheduled Events

Fritz HengleinOrganizer

University of Copenhagen

Denmark

Julia LawallOrganizer

Inria

France

Jens PalsbergOrganizer

University of California, Los Angeles (UCLA)

United States

Ilya SergeyOrganizer

National University of Singapore

Singapore

Arnaud Spiwack

Tweag

France

Casper Bach

University of Southern Denmark

Denmark

Chantal Keller

LMF - University Paris-Saclay

France

Dariusz Biernacki

University of Wrocław

Poland

Hongseok Yang

KAIST

Republic of Korea

Jan Midtgaard

Independent

Denmark

Jeremy G. Siek

Indiana University

United States

John Hatcliff

Kansas State University

Kenichi Asai

Ochanomizu University

Japan

Martin Henz

National University of Singapore

Singapore

Mathieu Boespflug

Tweag

France

Matthew Flatt

University of Utah

United States

Matthieu Lemerre

Université Paris-Saclay - CEA List

France

Maurizio Proietti

IASI-CNR

Italy

Oleg Kiselyov

Tohoku University

Japan

Paul Downen

University of Massachusetts at Lowell

United States

Peter D. Mosses

Delft University of Technology; Swansea University

Netherlands

Peter Thiemann

University of Freiburg

Germany

Philip Wadler

IOG; University of Edinburgh

United Kingdom

Robert Bruce Findler

Northwestern University

United States

Robert Glück

University of Copenhagen

Denmark

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change