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. [Paper][Slides]


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. [Paper][Slides]

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. [Paper][Slides]


Mehdi Bouaziz, Jsx: a symbolic evaluator for JavaScript, unpublished report, Stevens Institute of Technology, February 2011.


Mehdi Bouaziz, TreeKs: un foncteur pour faire passer les domains numériques à l'échelle, master internship report, École normale supérieure, August 2010. [Paper][Slides]


Mathieu Barbin and Mehdi Bouaziz, A Unified Library of Primitives for QML Compilers and Interpreters, technical report, MLstate, September 2009. [Paper]

Mehdi Bouaziz, Optimized Client-Server Distribution of Ajax Web Applications, internship report, MLstate, September 2009. [Paper]


Mehdi Bouaziz, Approximation statique de propriétés d'applications web, internship report, MLstate, September 2008. [Paper]


Search engines

Academia, DBLP, Google Scholar

Last update: January 24, 2014