Publications
2013
Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich et Francesco Logozzo, A case for static analyzers in the cloud, in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), mars 2013. [Article][Transparents]
2012
Mehdi Bouaziz, Francesco Logozzo et Manuel Fähndrich, Inference of Necessary Field Conditions with Abstract Interpretation, in 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Springer, décembre 2012. [Article][Transparents]
Mehdi Bouaziz, TreeKs: A Functor to Make Numerical Abstract Domains Scalable, in 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Elsevier, 17 septembre 2012. [Article][Transparents]
2011
Mehdi Bouaziz, Jsx: a symbolic evaluator for JavaScript, rapport non publié, Stevens Institute of Technology, février 2011.
2010
Mehdi Bouaziz, TreeKs: un foncteur pour faire passer les domains numériques à l'échelle, rapport de stage de master, École normale supérieure, août 2010. [Article][Transparents]
2009
Mathieu Barbin et Mehdi Bouaziz, A Unified Library of Primitives for QML Compilers and Interpreters, rapport technique, MLstate, septembre 2009. [Article]
Mehdi Bouaziz, Optimized Client-Server Distribution of Ajax Web Applications, rapport de stage, MLstate, septembre 2009. [Article]
2008
Mehdi Bouaziz, Approximation statique de propriétés d'applications web, rapport de stage, MLstate, septembre 2008. [Article]
Co-auteurs
- Mathieu Barbin (1)
- Michael Barnett (1)
- Manuel Fähndrich (2)
- Francesco Logozzo (2)
Moteurs de recherche
Academia, DBLP, Google Scholar
Dernière mise à jour : 24 janvier 2014