Skip to content
View nicolasstucki's full-sized avatar
😀
😀
  • LAMP / EPFL
  • Switzerland

Block or report nicolasstucki

Report abuse

Contact GitHub support about this user’s behavior. Learn more about reporting abuse.

Report abuse
nicolasstucki/README.md

Nicolas Stucki

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.

Maintainer

Talks

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

Thesis

  • [Ph.D. EPFL 2022] Scalable Metaprogramming in Scala 3 (PDF)

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)

Popular repositories Loading

  1. scala-rrb-vector scala-rrb-vector Public archive

    Implementation and benchmarking of Scala Vectors with relaxed radix balanced trees for more efficient concatenations

    Scala 55 4

  2. multisets multisets Public archive

    Open source implementation of multi-sets (or bags) for Scala collection

    Scala 52 7

  3. scala-days-2023 scala-days-2023 Public

    Scala 10 1

  4. specialized specialized Public archive

    Scala 9

  5. dotty-staging-gpce-2018 dotty-staging-gpce-2018 Public archive

    Scala 6

  6. scala-metaprogramming-exercise scala-metaprogramming-exercise Public

    Scala 6 1