In September 2020, Michaël has left Imperial College London to become a tenured researcher at the CEA LIST institute from Université Paris-Saclay (France).

From 2018 to 2020, Michaël was a postdoc in the Software Reliability Group (SRG) and Multicore Programming Group. During his time at Imperial, he experimentally evaluated the practical importance of compiler bugs found by fuzzing, as well as the interest of using coverage-directed fuzzing to find bugs in compilers.

Up-to-date information about Michaël can be found at www.marcozzi.net.

Group Publications

Talks

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Seminar of the Verimag Lab, Université Grenoble Alpes

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Seminar of the Software Safety and Security Lab, CEA LIST institute

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ Papers We Love London - CREST/PWL Special Event

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ SPLASH 2019 OOPSLA

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ MTV2 Workshop (co-located with IFIP-ICTSS 2019)

  • Compiler Fuzzing: How Much Does It Matter?

    Michael Marcozzi

    Talk @ S-REPLS 10