ICFP 2025
Sun 12 - Sat 18 October 2025 Singapore
co-located with ICFP/SPLASH 2025
ICFP/SPLASH 2025 (series) / ICFP 2025 (series) / Marina Bay Sands Convention Centre /

Room information: Peony West

VenueMarina Bay Sands Convention Centre
Room namePeony West
Floor4
Room number4511-4512
Capacity180
Room Information

Venue floor plan

app-screen

Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 13 Oct

Displayed time zone: Perth change

10:50 - 12:05
MorningThe Scala Workshop at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
10:50
10m
Day opening
Welcome to Scala'25
The Scala Workshop
Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
11:00
45m
Keynote
Simpler Scala Builds with Functional and Object-Oriented Programming
The Scala Workshop
K: Li Haoyi Independent
11:45
20m
Talk
Taking away Mutation
The Scala Workshop
Edward Lee University of Waterloo; University of Toronto Scarborough, James You University of Waterloo, Dimi Racordon EPFL, LAMP, Ondřej Lhoták University of Waterloo
13:40 - 15:20
NoonThe Scala Workshop at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
13:40
20m
Talk
The Quest for Mutable Value Semantics in Scala
The Scala Workshop
Dimi Racordon EPFL, LAMP
File Attached
14:00
20m
Talk
How Functional is Direct-Style?
The Scala Workshop
Adam Warski SoftwareMill
File Attached
14:20
20m
Talk
ScalaF: Functional Refactoring Suggestions for Scala
The Scala Workshop
Shiv Kiran Bagathi Indian Institute of Technology Bombay, Shrikha Mahanty Indian Institute of Technology Mandi, Dasari Gnana Heemmanshuu Indian Institute of Technology Bombay, Manas Thakur IIT Bombay
File Attached
14:40
20m
Talk
Debugging for Scala Control Flow DSLs
The Scala Workshop
Finn Hackett University of British Columbia, Ivan Beschastnikh The University of British Columbia
15:00
20m
Talk
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
The Scala Workshop
Yaoyu Zhao EPFL, LAMP
File Attached
16:00 - 17:40
AfternoonThe Scala Workshop at Peony West
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
16:00
20m
Talk
Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective
The Scala Workshop
Edward Wang Massachusetts Institute of Technology, Luca Daniel Massachusetts Institute of Technology, Yoni Zohar Bar Ilan University, Clark Barrett Stanford University
File Attached
16:20
20m
Talk
Logically Qualified Types for Scala 3
The Scala Workshop
Matt Bovel EPFL
File Attached
16:40
20m
Talk
ScaIR: Type-safe Compiler Framework Compatible with MLIR
The Scala Workshop
Maks Kret The University of Edinburgh, Emilien Bauer The University of Edinburgh, Jackson Woodruff University of Edinburgh, Amir Shaikhha University of Edinburgh
File Attached
17:00
20m
Talk
Towards an Educational Fragment of Scala
The Scala Workshop
Youyou Cong Institute of Science Tokyo
File Attached
17:20
20m
Talk
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code
The Scala Workshop
Kannupriya Kalra None

Tue 14 Oct

Displayed time zone: Perth change

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
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
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; 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: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
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
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, Zhenjiang Hu Peking University, David Schmidt Kansas State University, 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

Mon 13 Oct

Displayed time zone: Perth change

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

The Scala Workshop

Morning

The Scala Workshop

Noon

The Scala Workshop

Afternoon

Tue 14 Oct

Displayed time zone: Perth change

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

OlivierFest

Continuations at Work

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 West

OlivierFest

I know Kung Fu

OlivierFest

Proof we need. Proof!

OlivierFest

Closure

Mon 13 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony West
The Scala Workshop
Welcome to Scala'25
10:50 - 11:00
The Scala Workshop
Simpler Scala Builds with Functional and Object-Oriented Programming
11:00 - 11:45
The Scala Workshop
Taking away Mutation
11:45 - 12:05
The Scala Workshop
The Quest for Mutable Value Semantics in Scala
13:40 - 14:00
The Scala Workshop
How Functional is Direct-Style?
14:00 - 14:20
The Scala Workshop
ScalaF: Functional Refactoring Suggestions for Scala
14:20 - 14:40
The Scala Workshop
Debugging for Scala Control Flow DSLs
14:40 - 15:00
The Scala Workshop
Migrating Large-scale Scala Projects to Explicit-nulls with the Help fr ...
15:00 - 15:20
The Scala Workshop
Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Pe ...
16:00 - 16:20
The Scala Workshop
Logically Qualified Types for Scala 3
16:20 - 16:40
The Scala Workshop
ScaIR: Type-safe Compiler Framework Compatible with MLIR
16:40 - 17:00
The Scala Workshop
Towards an Educational Fragment of Scala
17:00 - 17:20
The Scala Workshop
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code
17:20 - 17:40

Tue 14 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony West
OlivierFest
Opening
10:50 - 10:55
OlivierFestfestschrift
Continuations in Music
10:55 - 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
A 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
OlivierFestfestschrift
Simple Closure Analysis Revisited
16:50 - 17:15
OlivierFest
Mixing transformation and symbolic execution with continuation for WebA ...
17:15 - 17:30
OlivierFest
Data-Centric Functional Programming with First-Class Finite Maps and Ta ...
17:30 - 17:45

Wed 15 Oct

Displayed time zone: Perth change

Room10:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
Peony West
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
What I Always Wanted to Know About Second Class Values
13:40 - 14:05
OlivierFestfestschrift
A Tale of two Zippers
14:05 - 14:30
OlivierFestfestschrift
Verified Nanopasses for Compiling Conditionals
14:30 - 14:55
OlivierFest
Verifying Effectful Programs via Answer-Type Modification
14:55 - 15:10
OlivierFest
From Delimited Continuations to Staged Logics
15:10 - 15:25
OlivierFest
More than a Colleague: Celebrating Olivier’s Impact
16:00 - 16:50
OlivierFest
Many Happy Continuations
16:50 - 17:40