Currently working on

My Ph.D. thesis. Implemented, formalizing and improving the Scala 3 metaprogramming features.

Maintainer

• Scala 3 (lamp/dotty)
• Scala Syntax for VSCode (scala/vscode-scala-syntax)

Recorded Talks

• [GPCE21] Multi-Stage Programming with Generative and Analytical Macros (YouTube)
• [ScalaCon21] Scala 3 Macros (YouTube)
• [ScalaDays19] Metaprogramming in Dotty (YouTube)

Papers

• [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)