Skip to content
View nicolasstucki's full-sized avatar
🌴
On vacation
🌴
On vacation
131 followers · 1 following
  • LAMP / EPFL
  • Switzerland

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Achievements

Achievement: Starstruckx2Achievement: Pair Extraordinairex3Achievement: QuickdrawAchievement: Galaxy BrainAchievement: Arctic Code Vault ContributorAchievement: Pull Sharkx4

Block or report nicolasstucki

Block user

Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.

You must be logged in to block users.

Please don't include any personal information such as legal names or email addresses. Maximum 100 characters, markdown supported. This note will be visible to only you.
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