Quentin Sabah
Quantum Stack Software Engineer at Quobly
Grenoble, Auvergne-Rhône-Alpes, France
Summary
🤩
Rockstar🎓
Top SchoolQuentin Sabah is a seasoned software engineer with 14 years of experience at the intersection of software and hardware, currently working as a Quantum Stack Software Engineer in Grenoble. His background spans static analysis, compilers, VM internals and optimization—skills honed through roles at MathWorks (Polyspace), INRIA/PhD research on JVM isolation, and R&D work accelerating smart-contract evaluation into native code. He has a track record of leading technical teams, designing proprietary SSA IRs and contributing to high-profile open-source projects like Soufflé and Soot, where he improved core analysis and performance components. Comfortable across C/C++, functional languages (SML/OCaml), Datalog and LLVM toolchains, he blends formal language theory with practical tool-building for safety- and performance-critical systems. Quentin often surfaces non-obvious gains by combining whole-program static analyses with low-level profiling and JIT/IR optimizations to turn research ideas into production-grade tooling.
14 years of coding experience
17 years of employment as a software developer
Master 2 Ingénierie des Systèmes d'Information, Master 2 Ingénierie des Systèmes d'Information at National School of Computer Science and Applied Mathematics of GrenobleMaster 2 Management des Systèmes d'Information et d'Organisation, Master 2 Management des Systèmes d'Information et d'Organisation at IAE GrenobleDoctor of Philosophy (PhD) Mathematics and Computer Science, Doctor of Philosophy (PhD) Mathematics and Computer Science at Université de GrenobleDUT Informatique, DUT Informatique at IUT Orsay
French, English, German
Github Skills (26)
datalog10
static-analysis10
c-language10
java10
javas10
optimisation10
bytecode10
csv10
cprogramming-language10
compiler-development9
analyser9
soot9
analyse9
optimization9
datastructures-algorithms8
Programming languages (14)
Github contributions (5)
souffle-lang/souffle
Apr 2021 - Jan 2023
Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:2 releases, 76 reviews, 155 commits in 1 year 9 months
Contributions summary:Quentin primarily focused on enhancing the Soufflé Datalog compiler's functionality. Their contributions included implementing a RFC4180 CSV reader and writer with error handling and added a feature to enable any delimiter, with the default being a comma when RFC4180 is enabled. They also made improvements to record table performance and added support for a more flexible system for managing include paths. Further modifications included code formatting and refactoring.
logic-programminganalysesc-plus-plusc-programlogic
soot-oss/soot
Nov 2012 - Jun 2013
Soot - A Java optimization framework
Role in this project:Back-end Developer
Back-end DeveloperContributions:12 commits in 6 months
Contributions summary:Quentin primarily contributed to the Soot Java optimization framework by adding and modifying core functionality within the `BitVector` and related classes. Their work involved implementing the `intersects` method for bit vectors, fixing potential null pointer exceptions, and addressing infinite recursion issues within pointer analysis. Additionally, the user made several updates to the codebase, including translating UTF-8 characters to ASCII, and fixing indentation.
java-optimization-frameworksootjava-optimizationoptimization-frameworkoptimization
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.