OlivierFest 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (58)

A Michael D. AdamsAdams, Michael D. National University of SingaporeUnited States Exotic Uses of Continuations
Torben AmtoftAmtoft, Torben Kansas State University More than a Colleague: Celebrating Olivier’s Impact
Kenichi AsaiAsai, Kenichi Ochanomizu UniversityJapan Defining Algebraic Effects and Handlers via Trails and Metacontinuations Programme Committee in Program Committee within the OlivierFest-track
B Casper BachBach, Casper University of Southern DenmarkDenmark Generic Reduction-Based Interpreters Programme Committee in Program Committee within the OlivierFest-track
Thibaut BalabonskiBalabonski, Thibaut LMF, CNRS, Université Paris-Saclay How to Fold a Tree: Programming Exercises on Calder’s Mobiles Programme Committee in Program Committee within the OlivierFest-track
Patrycja BalikBalik, Patrycja University of WrocławPoland Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction
Dariusz BiernackiBiernacki, Dariusz University of WrocławPoland Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction Programme Committee in Program Committee within the OlivierFest-track
Mathieu BoespflugBoespflug, Mathieu TweagFrance Invertible Syntax without the Tuples (Functional Pearl) Programme Committee in Program Committee within the OlivierFest-track
C Wei-Ngan ChinChin, Wei-Ngan National University of SingaporeSingapore From Delimited Continuations to Staged Logics
Youyou CongCong, Youyou Institute of Science TokyoJapan Session Chair of I know Kung Fu (part of OlivierFest) Continuations in Music Programme Committee in Program Committee within the OlivierFest-track
Charles ConselConsel, Charles Bordeaux-INP More than a Colleague: Celebrating Olivier’s Impact
D Olivier DanvyDanvy, Olivier Yale-NUS College and School of Computing, SingaporeSingapore Many Happy Continuations
Paul DownenDownen, Paul University of Massachusetts at LowellUnited States Controlling Copatterns: There and Back Again Programme Committee in Program Committee within the OlivierFest-track
F Andrzej FilinskiFilinski, Andrzej DIKU, University of Copenhagen More than a Colleague: Celebrating Olivier’s Impact
Robert Bruce FindlerFindler, Robert Bruce Northwestern UniversityUnited States Safe-for-Space Linked Environments Programme Committee in Program Committee within the OlivierFest-track
Matthew FlattFlatt, Matthew University of UtahUnited States Safe-for-Space Linked Environments Programme Committee in Program Committee within the OlivierFest-track
Darius FooFoo, Darius National University of Singapore From Delimited Continuations to Staged Logics
Maika FujiiFujii, Maika Ochanomizu University Defining Algebraic Effects and Handlers via Trails and Metacontinuations
G Robert GlückGlück, Robert University of CopenhagenDenmark Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics Programme Committee in Program Committee within the OlivierFest-track
H Stefan HallerstedeHallerstede, Stefan Aarhus University Danvy’s Mystery Functions in Slang
John HatcliffHatcliff, John Kansas State University Danvy’s Mystery Functions in Slang Programme Committee in Program Committee within the OlivierFest-track
Fritz HengleinHenglein, Fritz University of CopenhagenDenmark Opening Simple Closure Analysis Revisited Organizer in Program Committee within the OlivierFest-track
Martin HenzHenz, Martin National University of SingaporeSingapore Programme Committee in Program Committee within the OlivierFest-track
I Danko IlikIlik, Danko Trusted LabsFrance From continuation models to shift without reset and an intuitionistic arithmetical hierarchy
J Jacob JohannsenJohannsen, Jacob IndependentDenmark More than a Colleague: Celebrating Olivier’s Impact
K Jerzy KarczmarczukKarczmarczuk, Jerzy University of CaenFrance Functional Programming and Computational Quantum Structures
Chantal KellerKeller, Chantal LMF - University Paris-SaclayFrance Towards Metaprogramming Defunctionalization in Rocq More than a Colleague: Celebrating Olivier’s Impact Programme Committee in Program Committee within the OlivierFest-track
Oleg KiselyovKiselyov, Oleg Tohoku UniversityJapan A Pair of tricks Programme Committee in Program Committee within the OlivierFest-track
Jacco KrijnenKrijnen, Jacco Utrecht UniversityNetherlands A Tale of Two Zippers
Kira KutscherKutscher, Kira More than a Colleague: Celebrating Olivier’s Impact
L Julia LawallLawall, Julia InriaFrance Session Chair of Closure (part of OlivierFest) Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core Opening Organizer in Program Committee within the OlivierFest-track
Wonyeol LeeLee, Wonyeol POSTECHSouth Korea On the Structure of Abstract Interpreters
Matthieu LemerreLemerre, Matthieu Université Paris-Saclay - CEA ListFrance On the Structure of Abstract Interpreters Programme Committee in Program Committee within the OlivierFest-track
Sam LindleyLindley, Sam University of EdinburghUnited Kingdom Session Chair of Continuations at Work (part of OlivierFest) Encoding Product Types Programme Committee in Program Committee within the OlivierFest-track
Jean-Pierre LoziLozi, Jean-Pierre InriaFrance Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core
M Jan MidtgaardMidtgaard, Jan IndependentDenmark Property-Based Testing of OCaml 5’s Runtime System: Fun and Segfaults with Interpreters and State Transition Functions Programme Committee in Program Committee within the OlivierFest-track
Peter D. MossesMosses, Peter D. Delft University of Technology; Swansea UniversityNetherlands A Compositional Semantics for eval in Scheme Programme Committee in Program Committee within the OlivierFest-track
N Keisuke NishimuraNishimura, Keisuke InriaFrance Understanding Linux Kernel Code through Formal Verification: A Case Study of the Task-Scheduler Function select_idle_core
Camille NoûsNoûs, Camille Laboratoire Cogitamus - Université PubliqueFrance Towards Metaprogramming Defunctionalization in Rocq
P Jens PalsbergPalsberg, Jens University of California, Los Angeles (UCLA)United States Session Chair of Analyze This (part of OlivierFest) Opening More than a Colleague: Celebrating Olivier’s Impact Organizer in Program Committee within the OlivierFest-track
Lionel ParreauxParreaux, Lionel HKUST (The Hong Kong University of Science and Technology)Hong Kong SAR China Deforestation through refunctionalization
Piotr PolesiukPolesiuk, Piotr University of WrocławPoland Untyped Logical Relations at Work: Control Operators, Contextual Equivalence and Full Abstraction
Maurizio ProiettiProietti, Maurizio IASI-CNRItaly Redundancy Checking in Reversible Flowcharts via Logic-Based Operational Semantics Programme Committee in Program Committee within the OlivierFest-track
Q Paola QuagliaQuaglia, Paola University of TrentoItaly More than a Colleague: Celebrating Olivier’s Impact
R Xavier RivalRival, Xavier Inria - CNRS - Ecole Normale Superieure de Paris - PSL UniversityFrance Session Chair of Proof we need. Proof! (part of OlivierFest) On the Structure of Abstract Interpreters Programme Committee in Program Committee within the OlivierFest-track
Robby Robby Kansas State UniversityUnited States Danvy’s Mystery Functions in Slang
Tiark RompfRompf, Tiark Purdue UniversityUnited States Data-Centric Functional Programming with First-Class Finite Maps and Tabulated Abstractions
S David SchmidtSchmidt, David Kansas State UniversityUnited States More than a Colleague: Celebrating Olivier’s Impact
Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Verifying Effectful Programs via Answer-Type Modification
Ilya SergeySergey, Ilya National University of SingaporeSingapore Opening Organizer in Program Committee within the OlivierFest-track
Jeremy G. SiekSiek, Jeremy G. Indiana UniversityUnited States Verified Nanopasses for Compiling Conditionals Programme Committee in Program Committee within the OlivierFest-track
Yahui SongSong, Yahui Standard Chartered BankSingapore From Delimited Continuations to Staged Logics
Arnaud SpiwackSpiwack, Arnaud TweagFrance Invertible Syntax without the Tuples (Functional Pearl) Programme Committee in Program Committee within the OlivierFest-track
T Ramsay TaylorTaylor, Ramsay IOGUnited Kingdom A Tale of Two Zippers
Peter ThiemannThiemann, Peter University of FreiburgGermany Session Chair of It’s All a Matter of Interpretation! (part of OlivierFest) What I Always Wanted to Know about Second Class Values Programme Committee in Program Committee within the OlivierFest-track
W Philip WadlerWadler, Philip IOG; University of EdinburghUnited Kingdom A Tale of Two Zippers Programme Committee in Program Committee within the OlivierFest-track
Guannan WeiWei, Guannan Tufts UniversityUnited States Mixing transformation and symbolic execution with continuation for WebAssembly
Y Hongseok YangYang, Hongseok KAISTRepublic of Korea On the Structure of Abstract Interpreters Programme Committee in Program Committee within the OlivierFest-track