Kévin Mazet

According to our database, Kévin Mazet authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Automatic and configurable instrumentation of C programs with temporal assertion checkers.

Martial Chabot, Kévin Mazet, Laurence Pierre

Proceedings of the 13. ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2015

2014

The GOOL system: a lightweight object-oriented programming language translator.

Pablo Arrighi, Johan Girard, Miguel Lezama, Kévin Mazet

Proceedings of the 9th International Workshop on Implementation, 2014