Skip to content

Kvin Mazet

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

2

Venues

2

Active years

2014–2015

Best venue rank

C

Where they publish

Papers

2 indexed papers, newest first.

YearVenueTitleAuthors
2015MEMOCODEAutomatic and configurable instrumentation of C programs with temporal assertion checkers.Martial Chabot, Kvin Mazet, Laurence Pierre
2014ECOOPThe GOOL system: a lightweight object-oriented programming language translator.Pablo Arrighi, Johan Girard, Miguel Lezama, Kvin Mazet