UBC Computer Science makes waves at programming language conference ICFP/SPLASH
From papers to talks to leadership roles, UBC researchers from the Software Practice Lab head to conferences on functional programming, programming languages, and software engineering
The Software Practices Lab is representing UBC Computer Science in Singapore for the joint International Conference on Functional Programming (ICFP) and Systems, Programming, Languages, and Applications: Software for Humanity (SPLASH) conference from Oct 12-18, 2025 with leadership roles, numerous papers and presentations.
The ICFP/SPLASH joint conference has associated smaller conferences, workshops, and symposiums focused on different aspects of programming language and software engineering research.
UBC Computer Science has several papers that will be presented as talks at the conferences:
Fast and Extensible Hybrid Embeddings with Micros
Sean Bocirnea, William J. Bowman
Scheme and Functional Programming Workshop
Place Capability Graphs: A General-Purpose Model of Rust’s Ownership and Borrowing Guarantees
Zachary Grannan, Aurel Bílý, Jonas Fiala, Jasper Geer, Markus de Medeiros, Peter Müller, Alexander J. Summers
OOPSLA
Several UBC Computer Science graduate students are presenting talks at workshops and co-located events:
Debugging for Scala Control Flow DSLs
Finn Hackett, Ivan Beschastnikh
The Scala Workshop 2025
How to Get the Most Out of a Conference
Paulette Koronkevich
Programming Languages Mentoring Workshop
Towards a Performance Comparison of Syntax and Type-Directed NbE
Chester Gould, William J. Bowman
Workshop on Type-Driven Development (TyDe)
Type Universes as Kripke Worlds: Memory Management Edition
Paulette Koronkevich
International Workshop on Aliasing, Capabilities and Ownership (IWACO)
Numerous UBC Computer Science researchers are serving as part of the conference organizing committees:
Professor of Teaching Dr. Elisa Baniassad is part of the program committee for the SPLASH-E symposium.
Assistant Professor Dr. William J. Bowman is part of the program committee for ICFP, Onward! Essays and the Higher-Order Programming with Effects (HOPE) workshop.
Professor Dr. Ronald Garcia and Assistant Professor Dr. Caroline Lemieux are review committee members for the Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) conference within SPLASH.
Professor Dr. Reid Holmes is part of the program committee for the Onward! conference.
Ph.D. student Paulette Koronkevich from Dr. Bowman’s group is the Chair of the Macros and Denotational Semantics talks at the SCHEME workshop and a program committee member for SCHEME.
Professor Dr. Alex Summers is Chair of the Rust talks at OOPSLA.