The Scala Workshop 2025
Mon 13 - Tue 14 October 2025 Singapore
co-located with ICFP/SPLASH 2025

The Scala Workshop is the continuation of the Scala Symposium, providing a forum for researchers and practitioners to discuss the design, implementation, and applications of the Scala programming language. Topics include language features, compiler internals, type systems, libraries, tools, and industrial applications.

This year, the workshop follows a simplified format, focusing on talk proposals rather than full papers. The goal is to facilitate discussion and exchange of ideas without the overhead of formal publications. Talks can cover ongoing research, practical experience, or perspectives on Scala and its ecosystem.

News

The workshop will have a joint session with IWACO on Tuesday October 14 on capabilities, featuring Martin Odersky’s keynote as well as two talks.

Keynotes

Dates
Tracks
Plenary
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:10 - 10:50
10:10
40m
Coffee break
Break
ICFP/SPLASH Catering

10:50 - 12:05
MorningThe Scala Workshop 2025 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 2025
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 2025
K: Li Haoyi Independent
11:45
20m
Talk
Taking away Mutation
The Scala Workshop 2025
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
File Attached
12:10 - 13:40
12:10
90m
Lunch
Lunch
ICFP/SPLASH Catering

13:40 - 15:20
NoonThe Scala Workshop 2025 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 2025
Dimi Racordon EPFL, LAMP
File Attached
14:00
20m
Talk
How Functional is Direct-Style?
The Scala Workshop 2025
Adam Warski SoftwareMill
File Attached
14:20
20m
Talk
ScalaF: Functional Refactoring Suggestions for Scala
The Scala Workshop 2025
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 2025
Finn Hackett University of British Columbia, Ivan Beschastnikh The University of British Columbia
File Attached
15:00
20m
Talk
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
The Scala Workshop 2025
Yaoyu Zhao EPFL, LAMP
File Attached
15:20 - 16:00
15:20
40m
Coffee break
Break
ICFP/SPLASH Catering

16:00 - 17:40
AfternoonThe Scala Workshop 2025 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 2025
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 2025
Media Attached File Attached
16:40
20m
Talk
ScaIR: Type-safe Compiler Framework Compatible with MLIR
The Scala Workshop 2025
Maks Kret The University of Edinburgh, Emilien Bauer 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 2025
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 2025
Kannupriya Kalra SKY HQ, London
Media Attached File Attached
18:00 - 20:00
18:00
2h
Social Event
ICFP SRC Poster Session
ICFP Student Research Competition

Tue 14 Oct

Displayed time zone: Perth change

10:50 - 12:05
Capabilities and ownership in ScalaThe Scala Workshop 2025 / IWACO at Peony NE
Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP
10:50
35m
Keynote
Where Are We With Scala's Capabilities?
The Scala Workshop 2025
File Attached
11:25
20m
Talk
System Capybara: Capture Tracking for Ownership and Borrowing
The Scala Workshop 2025
File Attached
11:45
20m
Talk
Capability-Safe Erasure in ScalaRemote
The Scala Workshop 2025
Eugene Flesselle EPFL, Dimi Racordon EPFL, LAMP, Hamza Remmal EPFL, LAMP
File Attached
13:40 - 15:20
Type systems 1IWACO at Peony NE
Chair(s): Hemant Gouni Carnegie Mellon University
13:40
35m
Keynote
Against Borrowing: Own the forest, not the trees!
IWACO
James Noble Independent. Wellington, NZ
14:15
25m
Talk
A Verified Thread-Safe Array in Rust
IWACO
Sasha Pak Australian National University, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University
14:40
25m
Talk
Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning
IWACO
Yiyuan Cao Peking University, Taro Sekiyama National Institute of Informatics
15:05
25m
Talk
Bringing Fearless Concurrency to Swift
IWACO
Mae Milano Princeton University
16:00 - 17:40
Type systems 2IWACO at Peony NE
Chair(s): Hemant Gouni Carnegie Mellon University
16:00
25m
Talk
Type Universes as Kripke Worlds: Memory Management Edition
IWACO
Paulette Koronkevich University of British Columbia
16:25
25m
Talk
Gradual Verification: Assuring Software Incrementally
IWACO
Jonathan Aldrich Carnegie Mellon University
16:50
25m
Talk
Unfolding Expressions for Gradual Verification
IWACO
Hazel Torek Clemson University, Long Tien Nguyen Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University
17:15
25m
Panel
Round table on ownership challenges
IWACO
Dimi Racordon EPFL, LAMP, Tobias Wrigstad Uppsala University, Hemant Gouni Carnegie Mellon University

Accepted Presentations

Title
Capability-Safe Erasure in ScalaRemote
The Scala Workshop 2025
File Attached
Debugging for Scala Control Flow DSLs
The Scala Workshop 2025
File Attached
How Functional is Direct-Style?
The Scala Workshop 2025
File Attached
Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective
The Scala Workshop 2025
File Attached
Logically Qualified Types for Scala 3
The Scala Workshop 2025
Media Attached File Attached
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code
The Scala Workshop 2025
Media Attached File Attached
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
The Scala Workshop 2025
File Attached
ScaIR: Type-safe Compiler Framework Compatible with MLIR
The Scala Workshop 2025
File Attached
ScalaF: Functional Refactoring Suggestions for Scala
The Scala Workshop 2025
File Attached
System Capybara: Capture Tracking for Ownership and Borrowing
The Scala Workshop 2025
File Attached
Taking away Mutation
The Scala Workshop 2025
File Attached
The Quest for Mutable Value Semantics in Scala
The Scala Workshop 2025
File Attached
Towards an Educational Fragment of Scala
The Scala Workshop 2025
File Attached

Call for Presentations

The Scala Workshop 2025 invites talk proposals on all aspects of the Scala programming language, including but not limited to:

  • Language design and implementation
  • Type systems and functional/object-oriented programming paradigms
  • Compiler development and optimizations
  • Libraries, frameworks, and tooling
  • Applications of Scala in industry and research
  • Experience reports and case studies
  • Performance, scalability, and concurrency
  • Interoperability with other languages and ecosystems

Talks are expected to be around 20 minutes long total, including Q&A time.

Submission Format

We encourage submissions in the form of a talk description (about two pages excluding bibliography), outlining the topic, key ideas, and relevance to the Scala community. Submissions should not be anonymous and should be in PDF format. We recommend LaTeX-produced PDFs with the current ACM Template using the option \documentclass[sigplan,nonacm]{acmart}. Talk proposals will be published in form of post-proceedings on the workshop website, where presenters may optionally include their talk slides as well. The page limit is not strictly enforced, but we encourage authors to keep submissions concise and to the point. Please avoid going overboard.

Evaluation Criteria

Submissions will be evaluated based on the following criteria (not all criteria need to be satisfied):

  • Relevance: Alignment with topics of interest to the Scala community.
  • Clarity: Effectiveness of communication and structure of the submission.
  • Originality: Novelty of ideas, techniques, or applications presented.
  • Discussion Potential: Likelihood of inspiring engaging and productive conversations.
  • Rigor: Technical accuracy, depth, and soundness of arguments.

How to Submit

Submissions will be accepted through the workshop’s hotcrp instance. For any questions, feel free to contact the organizers at scala-workshop@epfl.ch.
Note that this is not hosted on hotcrp.com and requires registering with a new account.

Attendance

We will support hybrid participation to make the workshop accessible to a wider audience. While we encourage in-person attendance for the best experience, remote participation will be fully supported to ensure everyone can contribute and engage.

We look forward to your contributions!

Questions? Use the The Scala Workshop contact form.