The GOOL system: a lightweight object-oriented programming language translator. - Pablo Arrighi; Johan Girard; Miguel Lezama; Kévin Mazet (ICOOOLPS@ECOOP, 2014)

Automatic and configurable instrumentation of C programs with temporal assertion checkers. - Martial Chabot; Kévin Mazet; Laurence Pierre (MEMOCODE, 2015)