Ghjuvan Lacambre

AdaCore/Static analysis engineer — Paris, France

• Developed new lightweight bug-finding analyses.
• Maintained the static analyzer’s frontend.
• Fixed deep system-level bugs.
• Maintained build/infrastructure scripts, automated many tasks.
• Performance optimizations in multiple parts of the static analyzer.

AdaCore/Compiler engineer — Paris, France

• Fixed front/middle-end bugs in GNAT, the Ada compiler based on GCC & LLVM.
• Implemented language-level support for GPU programming with CUDA.
• Added Stack Map Frame support to JGNAT, GNAT’s JVM backend.
• Refactoring and new features for compiler messages (e.g. implemented JSON output).
• Maintained and refactored python testsuites.

Silkan/Compiler engineer — 8 months in Montpellier, France

Upkeep of Evarix, a compiler that took in MATLAB code and output OpenMP and CUDA-parallelised C++. Fixed many bugs, rewrote the lexer and parser.

AdaCore/Intern — 6 months in Paris, France

Added support for GPU programming with OpenACC to GNAT, created the corresponding testsuite in Python.

Maintaining Firenvim, a browser extension written in TypeScript

• ~2000 users, ~1000 commits, end to end testsuite.
• Heavy use of type reflection/introspection to get well-typed proxies.

Contributed to Tridactyl, a browser extension written in TypeScript

• ~10000 users at its peak, ~20000 lines of typescript, ~3000 commits.
• Wrote custom typescript backend to make code metadata available at runtime.

Occasional contributions to Vim and Neovim, text editors written in C

Master’s degree in Computer Science — Université Pierre et Marie Curie, Paris

Programming language theory (abstract interpretation, formal verification, typing, compilers) and algorithms (compression, random generation, dynamic programming).