Mehdi Bouaziz
Researcher
Computer Science Department
Ecole Normale Superieure (ENS)
France
Biography
I am a PhD student under the joint supervision of Jérôme Feret and Patrick Cousot, in the team Abstraction of the Computer Science department of the École normale supérieure in Paris. I am working on static analysis of security properties by abstract interpretation. Previously, I was a normalien student of the École normale supérieure (2007 – 2012). I had been a research intern at Microsoft Research, Redmond, WA, with Francesco Logozzo (2011, 2012) and with Ella Bounimova (2011); at the Stevens Institute of Technology, Hoboken, NJ, with David Naumann (2010); at the École normale supérieure, Paris, with Antoine Miné (2010); and at MLstate, Edinburgh (2009) and Paris (2008). I was a bronze medalist (2004, Athens, Greece) and a gold medalist (2005, Nowy SÄ…cz, Poland) at the International Olympiads in Informatics (IOI), and a bronze medalist (2005, Sárospatak, Hungary) at the Central-European Olympiad in Informatics (CEOI), as well as a world finalist (2010, Harbin, China) at the International Collegiate Programming Contest (ACM-ICPC).
Research Interest
programming languages, semantics, abstract interpretation, static analysis, computer security.
Publications
-
Mehdi Bouaziz, TreeKs: A Functor to Make Numerical Abstract Domains Scalable, in 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Elsevier, September 17, 2012.
-
Mehdi Bouaziz, Francesco Logozzo, and Manuel Fähndrich, Inference of Necessary Field Conditions with Abstract Interpretation, in 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Springer, December 2012.
-
Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich, and Francesco Logozzo, A case for static analyzers in the cloud, in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), March 2013.
