OLIVIERFEST 2025 – Proceedings

Workshop Dedicated to Olivier Danvy on the Occasion of His 64th Birthday (OLIVIERFEST 2025)

Controlling Copatterns: There and Back Again
Paul Downen
(University of Massachusetts at Lowell, USA)

Publisher's Version Published Artifact Info Artifacts Available

Danvy’s Mystery Functions in Slang
Stefan Hallerstede, Robby, and John Hatcliff
(Aarhus University, Denmark; Kansas State University, USA)

Publisher's Version

Defining Algebraic Effects and Handlers via Trails and Metacontinuations
Kenichi Asai and Maika Fujii
(Ochanomizu University, Japan)

Publisher's Version

Simple Closure Analysis Revisited
Fritz Henglein
(University of Copenhagen, Denmark)

Publisher's Version

Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics
Robert Glück and Maurizio Proietti
(University of Copenhagen, Denmark; IASI-CNR, Italy)

Publisher's Version

Continuations in Music
Youyou Cong
(Institute of Science Tokyo, Japan)

Publisher's Version

On the Structure of Abstract Interpreters
Wonyeol Lee, Matthieu Lemerre, Xavier Rival, and Hongseok Yang
(POSTECH, Republic of Korea; Université Paris-Saclay - CEA List, France; Inria - CNRS - Ecole Normale Superieure de Paris - PSL University, France; KAIST, Republic of Korea)

Publisher's Version

A Compositional Semantics for eval in Scheme
Peter D. Mosses
(Delft University of Technology, Netherlands; Swansea University, UK)

Publisher's Version Published Artifact Artifacts Available

How to Fold a Tree: Programming Exercises on Calder’s Mobiles
Thibaut Balabonski
(Université Paris-Saclay - CNRS - ENS Paris-Saclay - LMF, France)

Publisher's Version

Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core
Julia Lawall, Keisuke Nishimura, and Jean-Pierre Lozi
(Inria, France)

Publisher's Version Published Artifact Artifacts Available

Verified Nanopasses for Compiling Conditionals
Jeremy G. Siek
(Indiana University, USA)

Publisher's Version Published Artifact Artifacts Available

What I Always Wanted to Know about Second Class Values
Peter Thiemann
(University of Freiburg, Germany)

Publisher's Version Published Artifact Artifacts Available

Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction
Patrycja Balik, Dariusz Biernacki, and Piotr Polesiuk
(University of Wrocław, Poland)

Publisher's Version Published Artifact Artifacts Available

Encoding Product Types
Sam Lindley
(University of Edinburgh, UK)

Publisher's Version

A Pair of tricks
Oleg Kiselyov
(Tohoku University, Japan)

Publisher's Version Info

Generic Reduction-Based Interpreters
Casper Bach
(University of Southern Denmark, Denmark)

Publisher's Version Published Artifact Artifacts Available

Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functions
Jan Midtgaard
(Independent, Denmark)

Publisher's Version

Safe-for-Space Linked Environments
Matthew Flatt and Robert Bruce Findler
(University of Utah, USA; Northwestern University, USA)

Publisher's Version

Towards Metaprogramming Defunctionalization in Rocq
Chantal Keller and Camille Noûs
(LMF - University Paris-Saclay, France; Laboratoire Cogitamus - Université Publique, France)

Publisher's Version

Invertible Syntax without the Tuples (Functional Pearl)
Mathieu Boespflug and Arnaud Spiwack
(Tweag, France)

Publisher's Version

Functional Programming and Computational Quantum Structures
Jerzy Karczmarczuk
(University of Caen, France)

Publisher's Version Published Artifact Artifacts Available

A Tale of Two Zippers
Philip Wadler, Ramsay Taylor, and Jacco O.G. Krijnen
(IOG, UK; University of Edinburgh, UK; Utrecht University, Netherlands)

Publisher's Version Published Artifact Artifacts Available

proc time: 0.02