References
Core compiler infrastructure optimisation
Enhancement and broadening of program analysis tools, UI included
Expertise, support and extension of critical compilers in French tax computation infrastructure
Provide a memory profiler
Extension of TrustInSoft Analyzer to enhance usability
Automated test generator for C programs
Rust prototyping of a modeling framework
Formalisation of a a modeling framework for embedded systems
Evolution and extension of Firefox build system
Create and adapt tools to archive OCaml packaged software
Modernisation and performance enhancement of LearnOCaml learning platform
Extension of a modeling and statistical tool
Need help for a technically challenging project?
