Guillaume Martres
Staff Software Engineer at Arteris
Lausanne, Vaud, Switzerland
Summary
🤩
Rockstar🎓
Top School
Top expert inScala Ecosystem and Reactive Programming
Guillaume Martres is a Staff Software Engineer with 17 years of experience specializing in language design, compilers, and build tooling, and is a long-time core developer of the Scala 3 compiler. He recently completed a PhD at EPFL under Martin Odersky and has worked on both research and production compilers, including significant contributions to scala/scala3, scala/scala and the sbt ecosystem. Guillaume blends deep theoretical knowledge with practical engineering—improving incremental compilation, type checking, and cross-compiler compatibility across high-profile projects like ScalaTest, ZIO, Mill and ScalaCheck. His open-source impact spans not only language internals but also developer ergonomics and build reliability, such as making sbt Dotty-aware and resolving subtle Dotty-related type and build issues. Based in Lausanne, he now focuses on DSL design for hardware construction while remaining active in the Scala Improvement Process committee and community-driven tooling. An underrated strength is his cross-domain experience in video codec engineering (VP9/AV1) which demonstrates strong low-level optimization skills beyond compiler work.
17 years of coding experience
2 years of employment as a software developer
Bachelor's degree, Computer Science, Bachelor's degree, Computer Science at EPFL (École polytechnique fédérale de Lausanne)
Stackoverflow
393reputation
3kreached
6answers
1question
Github Skills (64)
algorithm10
property-based-testing10
dependency-management10
asynchronous10
rate-limiting10
flow-control10
jvm10
congestion-control10
async10
encoder10
testing10
sbt10
test-framework10
build-system10
c1110
Programming languages (25)
Github contributions (5)
scala/scala3-example-project
Dec 2015 - Mar 2022
An example sbt project that compiles using Dotty
Role in this project:
Back-end Developer
Back-end DeveloperContributions:110 commits, 3 PRs, 112 pushes in 6 years 3 months
Contributions summary:Guillaume primarily contributed to the configuration and maintenance of an example project for the Scala 3 programming language, particularly concerning the Dotty compiler. Their commits focused on adapting the project to Dotty's evolving features, including changes to build configurations, dependencies, and resolving compatibility issues. They also addressed updates related to the Scala compiler bridge and sbt-dotty plugin.
sbt-pluginscala3scalasbtdotty
scala/scala3
Apr 2014 - Jan 2023
The Scala 3 compiler, also known as Dotty.
Role in this project:Back-end Developer
Back-end DeveloperContributions:1936 reviews, 2628 commits, 2018 PRs in 8 years 10 months
Contributions summary:Guillaume's contributions primarily focus on the implementation of improvements to the Scala 3 compiler, specifically addressing issues related to type checking, overloading resolution, and bytecode generation. Their work involved fixing bugs related to type variable instantiation, union type erasure, and the handling of Java annotations. Furthermore, the user was instrumental in introducing enhancements to the processing of Java varargs and ensuring the proper operation of SAM types within the compiler.
compilerscala3scaladottyepfl
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.