The Scala Workshop 2025 Contributors

Filter

Role Type

Contributing to

Number of Roles

Country

Results (48)

A Jonathan AldrichAldrich, Jonathan Carnegie Mellon UniversityUnited States Unfolding Expressions for Gradual Verification Gradual Verification: Assuring Software Incrementally
B Shiv Kiran BagathiBagathi, Shiv Kiran Indian Institute of Technology Bombay ScalaF: Functional Refactoring Suggestions for Scala
Clark BarrettBarrett, Clark Stanford UniversityUnited States Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective
Emilien BauerBauer, Emilien University of Edinburgh ScaIR: Type-safe Compiler Framework Compatible with MLIR
Ivan BeschastnikhBeschastnikh, Ivan The University of British ColumbiaCanada Debugging for Scala Control Flow DSLs
Aleksander Boruch-GruszeckiBoruch-Gruszecki, Aleksander Charles UniversityCzechia Committee Member in Organizing Committee within the IWACO-track
Matt BovelBovel, Matt EPFL Logically Qualified Types for Scala 3
Oliver BračevacBračevac, Oliver EPFL, LAMPSwitzerland Session Chair of Noon (part of The Scala Workshop) Session Chair of Afternoon (part of The Scala Workshop) Session Chair of Morning (part of The Scala Workshop) Welcome to Scala'25 System Capybara: Capture Tracking for Ownership and Borrowing PC Chair in Program Committee within the The Scala Workshop-track Organizer in Organizing Committee within the The Scala Workshop-track Session Chair of Capabilities and ownership in Scala (part of IWACO)
C Yiyuan CaoCao, Yiyuan Peking University Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning
Elias CastegrenCastegren, Elias Uppsala UniversitySweden Committee Member in Organizing Committee within the IWACO-track
Youyou CongCong, Youyou Institute of Science TokyoJapan Towards an Educational Fragment of Scala
D Luca DanielDaniel, Luca Massachusetts Institute of Technology Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective
Jenna DiVincenzo (Wise)DiVincenzo (Wise), Jenna Purdue University Committee Member in Program Committee within the The Scala Workshop-track
F Eugene FlesselleFlesselle, Eugene EPFLSwitzerland Capability-Safe Erasure in Scala
G Hemant GouniGouni, Hemant Carnegie Mellon UniversityUnited States Session Chair of Type systems 1 (part of IWACO) Session Chair of Type systems 2 (part of IWACO) Round table on ownership challenges Committee Member in Organizing Committee within the IWACO-track
H Finn HackettHackett, Finn University of British ColumbiaCanada Debugging for Scala Control Flow DSLs
Li HaoyiHaoyi, Li IndependentSingapore Simpler Scala Builds with Functional and Object-Oriented Programming
Dasari Gnana HeemmanshuuHeemmanshuu, Dasari Gnana Indian Institute of Technology Bombay ScalaF: Functional Refactoring Suggestions for Scala
K Kannupriya KalraKalra, Kannupriya SKY HQ, LondonUnited Kingdom Mentoring in the Scala Ecosystem: Insights from Google Summer of Code
Paulette KoronkevichKoronkevich, Paulette University of British Columbia Type Universes as Kripke Worlds: Memory Management Edition
Maks KretKret, Maks The University of Edinburgh ScaIR: Type-safe Compiler Framework Compatible with MLIR
L Edward LeeLee, Edward University of Waterloo; University of Toronto ScarboroughCanada Taking away Mutation Committee Member in Program Committee within the The Scala Workshop-track
Ondřej LhotákLhoták, Ondřej University of WaterlooCanada Taking away Mutation
M Shrikha MahantyMahanty, Shrikha Indian Institute of Technology Mandi ScalaF: Functional Refactoring Suggestions for Scala
Mae MilanoMilano, Mae Princeton UniversityUnited States Bringing Fearless Concurrency to Swift
Fabian MuehlboeckMuehlboeck, Fabian Australian National UniversityAustralia A Verified Thread-Safe Array in Rust
N Long Tien NguyenNguyen, Long Tien Carnegie Mellon University Unfolding Expressions for Gradual Verification
James NobleNoble, James Independent. Wellington, NZNew Zealand Against Borrowing: Own the forest, not the trees! Committee Member in Organizing Committee within the IWACO-track
O Martin OderskyOdersky, Martin EPFLSwitzerland System Capybara: Capture Tracking for Ownership and Borrowing Where Are We With Scala's Capabilities?
P Sasha PakPak, Sasha Australian National UniversityAustralia A Verified Thread-Safe Array in Rust
Alex PotaninPotanin, Alex Australian National UniversityAustralia A Verified Thread-Safe Array in Rust
R Dimi RacordonRacordon, Dimi EPFL, LAMPSwitzerland Taking away Mutation The Quest for Mutable Value Semantics in Scala Capability-Safe Erasure in Scala Committee Member in Program Committee within the The Scala Workshop-track Round table on ownership challenges Committee Member in Organizing Committee within the IWACO-track
Björn RegnellRegnell, Björn Lund UniversitySweden Committee Member in Program Committee within the The Scala Workshop-track
Hamza RemmalRemmal, Hamza EPFL, LAMPSwitzerland Session Chair of Noon (part of The Scala Workshop) Session Chair of Afternoon (part of The Scala Workshop) Session Chair of Morning (part of The Scala Workshop) Welcome to Scala'25 Capability-Safe Erasure in Scala Organizer in Organizing Committee within the The Scala Workshop-track Session Chair of Capabilities and ownership in Scala (part of IWACO)
S Taro SekiyamaSekiyama, Taro National Institute of InformaticsJapan Temporal Resource Typing: Enriching Substructural Typing for Liveness Reasoning
Amir ShaikhhaShaikhha, Amir University of EdinburghUnited Kingdom ScaIR: Type-safe Compiler Framework Compatible with MLIR Committee Member in Program Committee within the The Scala Workshop-track
T Manas ThakurThakur, Manas IIT BombayIndia ScalaF: Functional Refactoring Suggestions for Scala
Peter ThiemannThiemann, Peter University of FreiburgGermany Committee Member in Organizing Committee within the IWACO-track
Hazel TorekTorek, Hazel Clemson UniversityUnited States Unfolding Expressions for Gradual Verification
W Edward WangWang, Edward Massachusetts Institute of Technology Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective
Adam WarskiWarski, Adam SoftwareMillPoland How Functional is Direct-Style?
Guannan WeiWei, Guannan Tufts UniversityUnited States Committee Member in Program Committee within the The Scala Workshop-track
Jackson WoodruffWoodruff, Jackson University of EdinburghUnited Kingdom ScaIR: Type-safe Compiler Framework Compatible with MLIR
Tobias WrigstadWrigstad, Tobias Uppsala UniversitySweden Round table on ownership challenges Committee Member in Organizing Committee within the IWACO-track
X Yichen XuXu, Yichen EPFL System Capybara: Capture Tracking for Ownership and Borrowing
Y James YouYou, James University of WaterlooCanada Taking away Mutation
Z Yaoyu ZhaoZhao, Yaoyu EPFL, LAMPSwitzerland Migrating Large-scale Scala Projects to Explicit-nulls with the Help from LLMs
Yoni ZoharZohar, Yoni Bar Ilan UniversityUnited States Lessons from Building a Hardware Compiler in Scala 3: A Practitioner Perspective

Results (48)

Tracks

ICFP/SPLASH 2025

Co-hosted Conferences

Workshops

Co-hosted Symposia