Publications
2013
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]
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. [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]
2011
Mehdi Bouaziz, Jsx: a symbolic evaluator for JavaScript, unpublished report, Stevens Institute of Technology, February 2011.
2010
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]
2009
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]
2008
Mehdi Bouaziz, Approximation statique de propriétés d'applications web, internship report, MLstate, September 2008. [Paper]
Co-authors
- Mathieu Barbin (1)
- Michael Barnett (1)
- Manuel Fähndrich (2)
- Francesco Logozzo (2)
Search engines
Academia, DBLP, Google Scholar
Last update: January 24, 2014