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
-
Compiler Fuzzing: How Much Does It Matter?
Michael Marcozzi, Qiyi Tang, Alastair Donaldson, Cristian Cadar
Proceedings of the ACM on Programming Languages (OOPSLA 2019)
Talks
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Seminar of the Verimag Lab, Université Grenoble Alpes
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Seminar of the Software Safety and Security Lab, CEA LIST institute
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ Papers We Love London - CREST/PWL Special Event
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ MTV2 Workshop (co-located with IFIP-ICTSS 2019)
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ SPLASH 2019 OOPSLA
-
Compiler Fuzzing: How Much Does It Matter?
Talk @ S-REPLS 10