Core contributor to Scala language design and implementation. Extensively worked on Scala 3 and Scala.js compilers and libraries. A decade and a half of JVM-languages experience. Contributed: 3'700+ commits, 500'000+ LOC, 2'000+ PRs to Scala open source projects.
Interested in programming language design, implementation and theory.
- Scala 3 (lamp/dotty)
- Scala Syntax for VSCode (scala/vscode-scala-syntax)
- [ScalaDays23] Implementing a Macro (YouTube, Slides, Code)
- [EPFL 2023] Public Ph.D. defense (YouTube, Slides)
- [EPFL 2022] Private Ph.D. defense (Slides)
- [GPCE21] Multi-Stage Programming with Generative and Analytical Macros (YouTube)
- [ScalaCon21] Scala 3 Macros (YouTube)
- [ScalaDays19] Metaprogramming in Dotty (YouTube)
- [Ph.D. EPFL 2022] Scalable Metaprogramming in Scala 3 (PDF)
- [GPCE21] Multi-Stage Programming with Generative and Analytical Macros (DOI, EPFL:Report+Proofs)
- [MPLR21] Virtual ADTs for Portable Metaprogramming (DOI)
- [Scala20] Semantics-preserving inlining for metaprogramming (DOI, EPFL)
- [Scala18] Truly abstract interfaces for algebraic data types: the extractor typing problem (DOI, EPFL)
- [GPCE18] A practical unification of multi-stage programming and macros (DOI, EPFL)
- [ICFP15] RRB vector: a practical general purpose immutable sequence (DOI, EPFL)
- [Scala13] Bridging Islands of Specialized Code using Macros and Reified Types (DOI, EPFL)