Martin Odersky
where else to find them
what they talk about
all 13 in the filters
where they keep going back
- OOPSLA3 editions2020–2025
- Scala Days2 editions2023–2025
- Scale By the Bay2 editions2018–2020
all 25 in the filters
on a stage with
all 38 in the filters
who talks about the same things
- Guillaume Martres10 talks
- Adriaan Moors11 talks
- Jon Pretty24 talks
- Miles Sabin13 talks
- Bill Venners21 talks
- Nicolas Rinaudo13 talks
| title | conference | date |
|---|---|---|
| How can we trust our agents? | Scalar 2026 | 2026-03-26 |
Argues that static capability tracking in types makes agent safety model independent and compiler-enforced, not reliant on LLM alignment. Implements a… | ||
| What's in the Box: Ergonomic and Expressive Capture Tracking over Generic Data(…) | OOPSLA 2025 | 2025-10-16 |
Claims a new calculus System Capless with existential and universal capture-set quantification and a named mechanism rcaps that lets generic boxed capabilities… | ||
| System Capybara: Capture Tracking for Ownership and Borrowing | The Scala Workshop 2025 | 2025-10-12 |
System Capybara extends capture checking to track ownership and borrowing by adding access-mode-qualified captures (read vs owned), enforcing separation and… | ||
| Where Are We With Scala's Capabilities? | The Scala Workshop 2025 | 2025-10-12 |
Scala 3 uses using clauses and context functions to pass capabilities implicitly, and a capture type system that tracks which capabilities lambdas and objects… | ||
| Where Are We With Scala's Capabilities? | Scala Days 2025 | 2025-08-19 |
Scala now ships an opt‑in capture checking system (nightly/Scala 3.8+ via a language import) that tracks which capabilities a lambda or object closes over… | ||
| Functional Programming And the Real World | Scala Days 2025 | 2025-08-19 |
Panelists argue concrete claims: Rust is argued to be effectively functional in safe code and NAS translates Rust to Lean for verification; Zig and Rust trade… | ||
| Evolving Scala | Scalar Conference 2025 | 2025-03-27 |
Scala stays at rank 14 over 11 years while the compiler in the lab compiles about 10,000 lines a second, showing real performance progress. Language evolution… | ||
| Yin-Yang: Concealing the Deep Embedding of DSLs (Most Influential Paper) | GPCE 2024 | 2024-10-21 |
Framework automatically translates user-friendly shallow EDSL programs to fast deep EDSLs using Scala macros and a type-translation scheme that guarantees… | ||
| Degrees of Separation: A Flexible Type System for Safe Concurrency | OOPSLA 2024 | 2024-10-20 |
A new calculus, Capture Separation Calculus (System CSC), tracks aliases via capturing types and lets code run unmodified by default but enforces separation… | ||
| Inside the Scala Capture Checker | WITS 2024 | 2024-01-20 |
Scala compiler now runs a separate pass after typing that computes and enforces capability flow: implicit capability arguments model effects, boxed generic… | ||
| Capturing Types (TOPLAS) | POPL 2024 | 2024-01-14 |
A minimal calculus called CC<:◻ capture calculus extends System F<: with capture sets so types record which capability-like free variables values may retain… | ||
| Capture Tracking in Scala | IWACO 2023 | 2023-10-24 |
Claim: compile-time capture tracking makes effect- and resource-typing work without exploding higher‑order APIs by treating effects as capabilities as implicit… | ||
| Degrees of Separation: A Flexible Type System for Data Race Prevention | IWACO 2023 | 2023-10-24 |
Proposes Capture Separation Calculus (CSC) that lets aliasing remain common but tracks and restricts aliases only where races matter, proving type safety and… | ||
| Scala's Role in the Programming Languages Ecosystem | Scala Days 2023 Madrid | 2023-09-12 |
Scala claims a concrete niche: a single language that unifies object and functional programming, scales from REPL scripts to 10M+ line systems, and pioneered… | ||
| DIRECT STYLE SCALA | Scalar Conference 2023 | 2023-03-23 |
Scala now ships boundary/break in Scala 3.3 as an efficient non‑local return primitive; on top of that designs implement suspensions (limited continuations)… | ||
| Simply Scala | ScalaIO 2022 | 2022-10-27 |
Claim: Scala itself is simple and Scala 3 reduces language surface, but ecosystem choices create complexity. Evidence: compiler has close to 100 phases… | ||
| Simply Scala | ScalaCon 2022 | 2022-10-04 |
Scala 3 reduces language surface and the main complexity comes from libraries, frameworks and tooling rather than core syntax. Examples: the compiler uses a… | ||
| Type-Level Programming with Match Types | POPL 2022 | 2022-01-16 |
Formalizes a type‑level pattern matching mechanism in a System F sub calculus and proves soundness with a Coq mechanization of about 6,000 lines, implements… | ||
| Multi-Stage Programming with Generative and Analytical Macros | GPCE 2021 | 2021-10-17 |
Defines a formal lambda-triangle calculus that models generative and analytical macros, quote patterns, and separate compilation; implements it in Scala 3… | ||
| Scala 3 | Scala Love in the City 2021 | 2021-02-13 |
Release candidate for Scala 3 is imminent and claims final language and APIs; a community survey gets 578 responses and 413 comments, with enums most… | ||
| A Type-and-Effect System for Object Initialization | OOPSLA 2020 | 2020-11-15 |
Type-and-effect design enforces a concretely checkable initialization discipline: cold, warm, hot types plus potentials and effects track field accesses… | ||
| Countdown to 3 | Scale By the Bay 2020 | 2020-11-12 |
Scala 3 reaches milestone M1 and plans RC1 for December with a final release around Jan–Feb; the new compiler and a Metals-based language server, Scala 3 doc… | ||
| Preview: Keynotes | Scale By the Bay 2020 | 2020-11-12 |
ai.bythebay.io Nov 2025, Oakland, full-stack AI conference SBTB 2020 is keynoted by Martin Odersky, creator of Scala, Anima Anandkumar, Director of AI at… | ||
| Panel discussion: Types for All: From weak to strong, from static to dynamic | Code Mesh LDN 2020 | 2020-11-05 |
Panelists compare concrete systems and trade-offs: dependent types in Idris 2 (about 50,000 lines of Idris, with tests taking ~3x the build time) eliminate… | ||
| Implicits Revisited | Lambda World Cádiz 2019 | 2019-10-17 |
An empirical study mines 7,280 projects (18M LOC, 8M implicit call sites, 370k implicit declarations) and finds implicits pervasive but error-prone: name-based… | ||
| Keynote: Some Mistakes We Made When Designing Implicits | Typelevel Summit Lausanne 2019 | 2019-06-14 |
Traces how Scala's implicits grew from conversions to parameters, lists concrete usability failures (name-based resolution causes shadowing and forced odd… | ||
| Opening Keynote: New Functional Constructs in Scala 3 | Scale By The Bay 2018 | 2018-11-15 |
Scala 3 adds concrete, tested constructs: enums as ADTs/GADTs replace verbose sealed-trait + case-class boilerplate and support Java interop (implementation… | ||
| Towards Scala 3 - A Status Report | ScalaIO 2018 | 2018-10-29 |
Roadmap claims: feature freeze in 2019 and Scala 3 release by 2020, with Dotty as the new compiler and a proof‑of‑concept that compiles Scala 2 Vector into… | ||
| Keynote: Preparing for Scala 3 | Scala Days New York 2018 | 2018-06-19 |
Road map lays out concrete changes: Scala 2.13 collection migration (M4 → M5) and a shared backend using Tasty as a typed interchange format to enable… | ||
| Opening Keynote: Preparing for Scala 3 | Scala Days Berlin 2018 | 2018-05-14 |
Scala 3 moves from idea to concrete roadmap: a new compiler (dotc/dotty) with rolling releases every six weeks and a feature freeze in ~1 year targets a 2020… | ||
| Plain Functional Programming | Devoxx Belgium 2017 | 2017-11-06 |
Argues that the useful core of functional programming is plain, specific tools: introduces implicit function types and a configured[T] alias to hide repetitive… | ||
| Keynote - What's Different In Dotty | Scala Days Copenhagen 2017 | 2017-05-30 |
A technology preview ships as dotc compiler plus a VS Code language‑server IDE and an IntelliJ integration; roadmap targets Scala 2.13 / early 2018, a 6‑week… | ||
| Keynote - What to Leave Implicit | Scala Days Copenhagen 2017 | 2017-05-30 |
Scala’s implicits are evaluated as concrete design changes: Dotty already merges a tighter implicit conversion rule and implicit converters, and adds lazy… | ||
| Using Scala.js and functional reactive programming for developing (enterprise) applications | Scala Days Copenhagen 2017 | 2017-05-30 |
SAP builds a Scala-based cloud app stack that compiles server Scala and front-end Scala.js code, generates UI bindings against SAP UI5, and pulls labels and… | ||
| Welcome | Voxxed Days CERN 2017 | 2017-02-25 |
Event organizers recount how local teams rode trains and pooled ideas to launch Voxxed Days at CERN and confirm two parallel tracks plus a digital panel… | ||
| From DOT to Dotty | Voxxed Days CERN 2017 | 2017-02-25 |
A formal, minimal calculus called DOT (Dependent Object Types) serves as the blueprint for Scala’s next core and exposes the real tradeoffs: proving type… | ||
| Interview | Voxxed Days CERN 2017 | 2017-02-25 |
A next‑generation compiler called Dotty has been under development for about four years and targets a radically smaller, more principled typechecker based on… | ||
| State of Dotty | Scala.IO 2016 | 2016-10-27 |
Dotty claims a sound core calculus (DOT) proven after eight years and ships a working compiler that is about two thirds the size of the old compiler while… | ||
| Keynote: Scala's Road Ahead | Scala Days Berlin 2016 | 2016-06-15 |
Road map gives concrete milestones: Scala 2.12 requires Java 8 and ships JVM lambda and default-method support; Scala 2.13 focuses on simpler, modular… | ||
| Keynote: Scala's Road Ahead | Scala Days Berlin 2016 | 2016-06-15 |
Community now has a funded Scala Center, and Scala 2.12 is near release with 33 listed features, 336 PRs closed and 65 committers. A new compiler codebase… | ||
| Compilers are Databases | JVM Language Summit 2015 | 2015-08-10 |
A new compiler backend called Dotty rethinks Scala compilation as a time‑indexed, functional database: every value (signatures, denotations) is keyed by… | ||
| Scala: The Simple Parts | GOTO Chicago 2014 | 2014-05-20 |
Scala centers on a compact claim: seven composable primitives — expressions, nesting scopes, pattern matching & case classes, recursion, function values… | ||
| The Trouble With Types | Strange Loop 2013 | 2013-09-18 |
Argues that static typing becomes practical by collapsing generics, existentials and higher-kinded types into name-based refinements, outlines a prototype… | ||
| nothing matches | ||