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
This program is tentative and subject to change.
Mon 13 OctDisplayed time zone: Perth change
10:10 - 10:50 | |||
10:10 40mCoffee 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 10mDay opening | Welcome to Scala'25 The Scala Workshop 2025 | ||
11:00 45mKeynote | Simpler Scala Builds with Functional and Object-Oriented Programming The Scala Workshop 2025 | ||
11:45 20mTalk | 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 |
12:10 - 13:40 | |||
12:10 90mLunch | 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 20mTalk | The Quest for Mutable Value Semantics in Scala The Scala Workshop 2025 Dimi Racordon EPFL, LAMP | ||
14:00 20mTalk | How Functional is Direct-Style? The Scala Workshop 2025 Adam Warski SoftwareMill | ||
14:20 20mTalk | 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 | ||
14:40 20mTalk | Debugging for Scala Control Flow DSLs The Scala Workshop 2025 | ||
15:00 20mTalk | Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs The Scala Workshop 2025 Yaoyu Zhao EPFL, LAMP |
15:20 - 16:00 | |||
15:20 40mCoffee 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 20mTalk | Case Study: Experiences with Implementation of a CAD Compiler in Scala 3 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 | ||
16:20 20mTalk | Logically Qualified Types for Scala 3 The Scala Workshop 2025 Matt Bovel EPFL | ||
16:40 20mTalk | ScaIR: Type-safe Compiler Framework Compatible with MLIR The Scala Workshop 2025 Maks Kret The University of Edinburgh, Emilien Bauer The University of Edinburgh, Jackson Woodruff University of Edinburgh, Amir Shaikhha University of Edinburgh | ||
17:00 20mTalk | Towards an Educational Fragment of Scala The Scala Workshop 2025 Youyou Cong Institute of Science Tokyo | ||
17:20 20mTalk | Mentoring in the Scala Ecosystem: Insights from Google Summer of Code The Scala Workshop 2025 Kannupriya Kalra None |
18:00 - 20:00 | |||
18:00 2hSocial Event | ICFP SRC Poster Session ICFP Student Research Competition |
Tue 14 OctDisplayed time zone: Perth change
10:50 - 12:05 | Capabilities and ownership in ScalaThe Scala Workshop 2025 at Peony NE Chair(s): Oliver Bračevac EPFL, LAMP, Hamza Remmal EPFL, LAMP Joint session with IWACO on Tuesday October 14 | ||
10:50 35mKeynote | Where Are We With Scala's Capabilities? The Scala Workshop 2025 | ||
11:25 20mTalk | System Capybara: Capture Tracking for Ownership and Borrowing The Scala Workshop 2025 | ||
11:45 20mTalk | Capability-Safe Erasure in Scala The Scala Workshop 2025 |
13:40 - 15:20 | |||
13:40 20mTalk | A Verified Thread-Safe Array in Rust IWACO Sasha Pak The Australian National University, Fabian Muehlboeck Australian National University, Alex Potanin Australian National University | ||
14:00 20mTalk | Unfolding Expressions for Gradual Verification IWACO Hazel Torek Clemson University, Long Tien Nguyen Carnegie Mellon University, Jonathan Aldrich Carnegie Mellon University | ||
14:20 20mTalk | Gradual Verification: Assuring Software Incrementally IWACO Jonathan Aldrich Carnegie Mellon University |
16:00 - 17:40 | |||
16:00 20mTalk | Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning IWACO | ||
16:20 20mTalk | Type Universes as Kripke Worlds: Memory Management Edition IWACO Paulette Koronkevich University of British Columbia |
Accepted Presentations
Title | |
---|---|
Capability-Safe Erasure in Scala The Scala Workshop 2025 | |
Case Study: Experiences with Implementation of a CAD Compiler in Scala 3 The Scala Workshop 2025 | |
Debugging for Scala Control Flow DSLs The Scala Workshop 2025 | |
How Functional is Direct-Style? The Scala Workshop 2025 | |
Logically Qualified Types for Scala 3 The Scala Workshop 2025 | |
Mentoring in the Scala Ecosystem: Insights from Google Summer of Code The Scala Workshop 2025 | |
Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs The Scala Workshop 2025 | |
ScaIR: Type-safe Compiler Framework Compatible with MLIR The Scala Workshop 2025 | |
ScalaF: Functional Refactoring Suggestions for Scala The Scala Workshop 2025 | |
System Capybara: Capture Tracking for Ownership and Borrowing The Scala Workshop 2025 | |
Taking away Mutation The Scala Workshop 2025 | |
The Quest for Mutable Value Semantics in Scala The Scala Workshop 2025 | |
Towards an Educational Fragment of Scala The Scala Workshop 2025 |
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!