Program - The Scala Workshop 2025

Detailed Table Session Timeline Detailed Timeline

Time Zone

The program is currently displayed in (GMT+08:00) Perth.

Use conference time zone: (GMT+08:00) PerthSelect other time zone

The GMT offsets shown reflect the offsets at the moment of the conference.

Time Band

By setting a time band, the program will dim events that are outside this time window. This is useful for (virtual) conferences with a continuous program (with repeated sessions).
The time band will also limit the events that are included in the personal iCalendar subscription service.

Display full programSpecify a time band

Save

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 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

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 Media Attached 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

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 Matt Bovel EPFL 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

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 K: Martin Odersky EPFL File Attached
11:25 20m Talk		System Capybara: Capture Tracking for Ownership and Borrowing The Scala Workshop 2025 Yichen Xu EPFL, Oliver Bračevac EPFL, LAMP, Martin Odersky EPFL 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

The Scala Workshop 2025 Program

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change

Tracks

ICFP/SPLASH 2025

Co-hosted Conferences

Workshops

Co-hosted Symposia

The Scala Workshop 2025 Program

Switch Program View

Program Display Configuration

Mon 13 OctDisplayed time zone: Perth change

Tue 14 OctDisplayed time zone: Perth change

Get Calendar (iCal)

Mon 13 Oct
Displayed time zone: Perth change

Tue 14 Oct
Displayed time zone: Perth change