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 based in Lausanne with 17 years of experience specializing in language design and compiler engineering. He is a long-time core developer of the Scala 3 compiler, a member of the Scala Improvement Process committee, and completed a PhD working on Scala under Martin Odersky. His technical strengths span compiler internals (type checking, overloading resolution, bytecode generation) and the surrounding ecosystem—contributing to sbt, Mill, ZIO, ScalaTest and ScalaCheck to ensure Dotty/Scala 3 compatibility. He has a rare combination of research depth and production-grade engineering, recently working on a Scala-based DSL for hardware at Arteris. Early career contributions to video codecs (VP9, AV1/rav1e) underscore his ability to move between high-performance systems and language tooling.
17 years of coding experience
2 years of employment as a software developer
EPFL (École polytechnique fédérale de Lausanne)
Stackoverflow
393reputation
3kreached
6answers
1question
Github Skills (74)
dependency-management10
flow-control10
testing10
test-framework10
c1110
interop10
scala210
c1710
zinc10
javas10
type-system10
controls10
scala-310
encoding10
concurrency10
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.