🔬LATEST NEWS FROM THE LAB
I have started as a tenured researcher at CEA in September 2020.
SCP journal (2021): Specify and measure, cover and reveal: A unified framework for automated test generation by Sébastien Bardin, Nikolai Kosmatov, Michaël Marcozzi, Mickaël Delahaye
SPLASH/OOPSLA'19: Compiler Fuzzing: How Much Does It Matter? by Michaël Marcozzi, Qiyi Tang, Alastair F. Donaldson, Cristian Cadar
ICSE'18: Time to Clean Your Test Objectives by Michaël Marcozzi, Sébastien Bardin, Nikolai Kosmatov, Mike Papadakis, Virgile Prevosto, Loïc Correnson
May2021: Bernard Nongpoh has started a postdoc on vulnerability detection under my supervision
March 2021: Marwan Nour from Ecole Polytechnique (X, France) has started an internship on fuzzing under my supervision