Antoine Reilles
Software Engineer at The NetBSD Foundation
Greater Paris Metropolitan Region France
Summary
👤
SeniorAntoine Reilles is a software engineer with 21 years of experience blending language design, compiler development, and formal methods to build trustworthy tooling and code generators. Based in Greater Paris, he has driven research-grade projects—such as the Tom language and certified pattern-matching compilation—into practical developer tooling while working at institutions like Loria/CNRS and Dassault Systèmes. His work spans proof systems, model checking, and DSLs for Java EE and web services, reflecting a rare combination of theoretical rigor and applied software architecture. A long-time contributor to open-source (including improvements to the widely used jcommander Java CLI library), he focuses on robustness, testability, and clearer error handling. Colleagues value him for moving formal verification techniques into production contexts and for pragmatic improvements that improve developer experience.
21 years of coding experience
4 years of employment as a software developer
Stackoverflow
10,441reputation
1.6mreached
125answers
0questions
associative-array
top-5%
vim
top-5%
verification
top-5%
java
top-5%
ant
top-5%
Github Skills (17)
testing10
java10
javas10
command-line-parser10
command-line10
verification9
junit9
error-handling9
vim9
associative-array9
ant9
shell6
bash6
erlang6
git6
Programming languages (9)
Github contributions (5)
cbeust/jcommander
Aug 2016 - Nov 2017
Command line parsing framework for Java
Role in this project:
Back-end Developer & QA Engineer
Back-end Developer & QA EngineerContributions:16 commits, 4 PRs, 6 comments in 1 year 3 months
Contributions summary:Antoine primarily contributed to improving the `jcommander` library's error handling and testing capabilities. They implemented features to allow users to retrieve unknown commands and reordered constructor arguments to avoid confusion. Furthermore, the user added tests to validate the functionality of the `MissingCommandException` and the path converter. This work demonstrates a focus on enhancing the library's usability and robustness.
parsingargument-parsingcommand-line-parserjavacommand-line
selliera/jcommander
Aug 2016 - Nov 2017
Contributions:1 PR, 18 pushes in 1 year 3 months
parsingjavacli
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.