OlivierFest 2025

About
Program

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
	A Pair of tricksfestschrift OlivierFest Oleg Kiselyov
	A Tale of two Zippersfestschrift OlivierFest Philip Wadler, Ramsay Taylor, Jacco Krijnen
	Continuations in Musicfestschrift OlivierFest Youyou Cong
	Controlling Copatterns: There and Back Againfestschrift OlivierFest Paul Downen
	Danvy's Mystery Functions in Slangfestschrift OlivierFest Stefan Hallerstede, Robby , John Hatcliff
	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
	Deforestation through refunctionalization OlivierFest Lionel Parreaux
	Encoding Product Typesfestschrift OlivierFest Sam Lindley
	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
	Generic Reduction-Based Interpretersfestschrift OlivierFest Casper Bach
	Invertible Syntax without the Tuples (Functional Pearl)festschrift OlivierFest Mathieu Boespflug, Arnaud Spiwack
	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, Zhenjiang Hu, David Schmidt, Torben Amtoft, Jens Palsberg, Jacob Johannsen, Chantal Keller
	On the structure of abstract interpretersfestschrift OlivierFest Wonyeol Lee, Matthieu Lemerre, Xavier Rival, Hongseok Yang
	Programming Exercises on Calder’s Mobilesfestschrift OlivierFest Thibaut Balabonski
	Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functionsfestschrift OlivierFest Jan Midtgaard
	Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semanticsfestschrift OlivierFest Robert Glück, Maurizio Proietti
	Safe-for-Space Linked Environmentsfestschrift OlivierFest Matthew Flatt, Robert Bruce Findler
	Simple Closure Analysis Revisitedfestschrift OlivierFest Fritz Henglein
	Towards Metaprogramming Defunctionalization in Rocqfestschrift OlivierFest Chantal Keller, Camille Noûs
	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
	Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstractionfestschrift OlivierFest Patrycja Balik, Dariusz Biernacki, Piotr Polesiuk
	Verified Nanopasses for Compiling Conditionalsfestschrift OlivierFest Jeremy G. Siek
	Verifying Effectful Programs via Answer-Type Modification OlivierFest Taro Sekiyama
	What I Always Wanted to Know About Second Class Valuesfestschrift OlivierFest Peter Thiemann

This program is tentative and subject to change.

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 Garden Walk

10:10 40m Coffee break		Break Catering

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

10:50 5m Day opening		Opening OlivierFest Julia Lawall Inria, Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital, 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
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

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, Germany

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

15:20 - 16:00	Coffee breakCatering at Garden Walk

15:20 40m Coffee break		Break Catering

16:00 - 17:45	Analyze ThisOlivierFest at Peony West

16:00 25m Talk		On the structure of abstract interpretersfestschrift OlivierFest Wonyeol Lee POSTECH, Matthieu Lemerre Université Paris-Saclay - CEA LIST, Xavier Rival Inria; ENS; CNRS; PSL University, Hongseok Yang KAIST
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
16:50 25m Talk		Simple Closure Analysis Revisitedfestschrift OlivierFest Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital
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 Garden Walk

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
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 The University of Edinburgh

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; ENS; CNRS; PSL University

13:40 25m Talk		What I Always Wanted to Know About Second Class Valuesfestschrift OlivierFest Peter Thiemann University of Freiburg, Germany
14:05 25m Talk		A Tale of two Zippersfestschrift OlivierFest Philip Wadler University of Edinburgh, Ramsay Taylor IOG, Jacco Krijnen Utrecht University
14:30 25m Talk		Verified Nanopasses for Compiling Conditionalsfestschrift OlivierFest Jeremy G. Siek Indiana University, USA
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 Garden Walk

15:20 40m Coffee break		Break Catering

16:00 - 17:40	ClosureOlivierFest at Peony West Chair(s): Ilya Sergey National University of Singapore

16:00 50m Talk		More than a Colleague: Celebrating Olivier’s Impact OlivierFest Charles Consel Bordeaux-INP, Andrzej Filinski DIKU, University of Copenhagen, Zhenjiang Hu Peking University, David Schmidt , Torben Amtoft Kansas State University, Jens Palsberg University of California, Los Angeles (UCLA), Jacob Johannsen Independent, Chantal Keller Université Paris-Saclay, CNRS, LMF
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
	Not scheduled Paper		Towards Metaprogramming Defunctionalization in Rocqfestschrift OlivierFest Chantal Keller Université Paris-Saclay, CNRS, LMF, Camille Noûs Laboratoire Cogitamus, Université Publique
	Not scheduled Paper		Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semanticsfestschrift OlivierFest Robert Glück University of Copenhagen, Maurizio Proietti IASI-CNR
	Not scheduled Paper		Functional Programming and Computational Quantum Structuresfestschrift OlivierFest Jerzy Karczmarczuk University of Caen
	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
	Not scheduled Paper		A Pair of tricksfestschrift OlivierFest Oleg Kiselyov Tohoku University
	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
	Not scheduled Paper		Programming Exercises on Calder’s Mobilesfestschrift OlivierFest Thibaut Balabonski LMF, CNRS, Université Paris-Saclay

Contributed Papers and Talks

This program is tentative and subject to change.

Program Display Configuration

Tue 14 OctDisplayed time zone: Perth change

Wed 15 OctDisplayed time zone: Perth change

Unscheduled Events

Fritz HengleinOrganizer

Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital

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

Université Paris-Saclay, CNRS, LMF

France

Dariusz Biernacki

University of Wrocław

Poland

Hongseok Yang

KAIST

South Korea

Jan Midtgaard

Independent

Denmark

Jeremy G. Siek

Indiana University, USA

United States

John Hatcliff

Kansas State University

Kenichi Asai

Ochanomizu University

Japan

Martin Henz

National University of Singapore

Singapore

Mathieu Boespflug

Tweag

Greece

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

Swansea University and Delft University of Technology

Netherlands

Peter Thiemann

University of Freiburg, Germany

Philip Wadler

University of Edinburgh

Robert Bruce Findler

Northwestern University

United States

Robert Glück

University of Copenhagen

Denmark

Sam Lindley

Tue 14 Oct
Displayed time zone: Perth change

Wed 15 Oct
Displayed time zone: Perth change