References
Core compiler infrastructure optimisation
Janestreet
Enhancement and broadening of program analysis tools, UI included
MERCE
Expertise, support and extension of critical compilers in French tax computation infrastructure
DGFIP
Provide a memory profiler
Siemens
Extension of TrustInSoft Analyzer to enhance usability
Trust In Soft
Cybersecurity: EAL6+ certification for a microcontroller
Samsung
Automated test generator for C programs
Thales
Rust prototyping of a modeling framework
CEA List
Formalisation of a a modeling framework for embedded systems
GE HealthCare
Evolution and extension of Firefox build system
Mozilla
Create and adapt tools to archive OCaml packaged software
Software Heritage
Modernisation and performance enhancement of LearnOCaml learning platform
OCaml Foundation
Designing and implementing a financial DSL
Inekto
Extension of a modeling and statistical tool
Université Lyon 1
Technical support for maintenance and evolutions of genealogy software
Roglo
Training to the Optimisation of OCaml programs
Wolfram