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

This program is tentative and subject to change.

Mon 13 Oct 2025 16:00 - 16:20 at Peony West - Afternoon Chair(s): Oliver Bračevac, Hamza Remmal

This case study explores our experiences implementing a hardware compiler (place-and-route CAD tool) using Scala 3. Our initial development was in Python, but challenges with mutability led us to adopt Scala, drawing from positive experiences with the Chisel hardware construction language and the FIRRTL compiler. We initially used JavaSMT for SMT solver interactions but opted to develop our own SMT abstractions for finer control. Our approach emphasised a “locally mutable, globally immutable” architecture and type classes for reusability. The Li Haoyi ecosystem (Mill, uPickle, Ammonite) proved essential for productive development. Despite Scala’s advantages, challenges such as limited library support and recruitment difficulties persist.

This program is tentative and subject to change.

Mon 13 Oct

Displayed time zone: Perth change

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