The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / The Scala Workshop 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Peony SE

VenueMarina Bay Sands Convention Centre
Room namePeony SE
Floor4
Room number4411
Capacity90
Room Information

Venue floor plan

app-screen

Program

This program is tentative and subject to change.

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
Many Happy ContinuationsOlivierFest at Peony SE
10:50
25m
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 I/O, Arnaud Spiwack Tweag
13:40 - 15:20
It’s All a Matter of Interpretation!OlivierFest at Peony SE
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
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
16:00 - 17:40
Analyze ThisOlivierFest at Peony SE
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
Mixing transformation and symbolic execution with continuation for WebAssembly
OlivierFest
Guannan Wei Tufts University
17:15
25m
Talk
Simple Closure Analysis Revisitedfestschrift
OlivierFest
Fritz Henglein Department of Computer Science, University of Copenhagen (DIKU) and Deon Digital

Wed 15 Oct

Displayed time zone: Perth change

10:50 - 12:05
I know Kung FuOlivierFest at Peony SE
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
13:40 - 15:20
Proof we need. Proof!OlivierFest at Peony SE
13:40
25m
Talk
A Tale of two Zippersfestschrift
OlivierFest
Philip Wadler University of Edinburgh, Ramsay Taylor IOG, Jacco Krijnen Utrecht University
14:05
25m
Talk
Verified Nanopasses for Compiling Conditionalsfestschrift
OlivierFest
Jeremy G. Siek Indiana University, USA
14:30
25m
Talk
Verifying Effectful Programs via Answer-Type Modification
OlivierFest
Taro Sekiyama National Institute of Informatics
14:55
25m
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
On Values and ClosuresOlivierFest at Peony SE
16:00
25m
Talk
Data-Centric Functional Programming with First-Class Finite Maps and Tabulated Abstractions
OlivierFest
Tiark Rompf Purdue University
16:25
25m
Talk
What I Always Wanted to Know About Second Class Valuesfestschrift
OlivierFest
Peter Thiemann University of Freiburg, Germany
16:50
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, S: Chantal Keller Université Paris-Saclay, CNRS, LMF

Mon 13 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

SPLASH Doctoral Symposium

Tue 14 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

OlivierFest

Many Happy Continuations

OlivierFest

It’s All a Matter of Interpretation!

OlivierFest

Analyze This

Wed 15 Oct

Displayed time zone: Perth change

Room10:003011:003012:003013:003014:003015:003016:003017:0030
Peony SE

OlivierFest

I know Kung Fu

OlivierFest

Proof we need. Proof!

OlivierFest

On Values and Closures

Tue 14 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
OlivierFestfestschrift
Continuations in Music
10:50 - 11:15
OlivierFest
Exotic Uses of Continuations
11:15 - 11:40
OlivierFestfestschrift
Invertible Syntax without the Tuples (Functional Pearl)
11:40 - 12:05
OlivierFestfestschrift
Defining Algebraic Effects and Handlers via Trails and Metacontinuations
13:40 - 14:05
OlivierFestfestschrift
Compositional Semantics for eval in Scheme
14:05 - 14:30
OlivierFestfestschrift
Generic Reduction-Based Interpreters
14:30 - 14:55
OlivierFestfestschrift
Safe-for-Space Linked Environments
14:55 - 15:20
OlivierFestfestschrift
On the structure of abstract interpreters
16:00 - 16:25
OlivierFestfestschrift
Understanding Linux-Kernel Code Through Formal Verification: A Case Stu ...
16:25 - 16:50
OlivierFest
Mixing transformation and symbolic execution with continuation for WebA ...
16:50 - 17:15
OlivierFestfestschrift
Simple Closure Analysis Revisited
17:15 - 17:40

Wed 15 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony SE
OlivierFestfestschrift
Controlling Copatterns: There and Back Again
10:50 - 11:15
OlivierFest
Deforestation through refunctionalization
11:15 - 11:40
OlivierFestfestschrift
Encoding Product Types
11:40 - 12:05
OlivierFestfestschrift
A Tale of two Zippers
13:40 - 14:05
OlivierFestfestschrift
Verified Nanopasses for Compiling Conditionals
14:05 - 14:30
OlivierFest
Verifying Effectful Programs via Answer-Type Modification
14:30 - 14:55
OlivierFest
From Delimited Continuations to Staged Logics
14:55 - 15:20
OlivierFest
Data-Centric Functional Programming with First-Class Finite Maps and Ta ...
16:00 - 16:25
OlivierFestfestschrift
What I Always Wanted to Know About Second Class Values
16:25 - 16:50
OlivierFest
More than a Colleague: Celebrating Olivier’s Impact
16:50 - 17:40