bouaziz.info
Publications [Mehdi Bouaziz]
http://bouaziz.info/pubs.en.htm
Mehdi Bouaziz, Manuel Fähndrich. A case for static analyzers in the cloud. In 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013). March 2013. [Paper]. Mehdi Bouaziz, Francesco Logozzo. Inference of Necessary Field Conditions with Abstract Interpretation. In 10th Asian Symposium on Programming Languages and Systems (APLAS 2012). December 2012. [Paper]. A Functor to Make Numerical Abstract Domains Scalable. September 17, 2012. [Paper]. August 2010. [Paper].
mehdi.bouaziz.org
TreeKs: A Functor to Make Numerical Abstract Domains Scalable - Mehdi Bouaziz
http://mehdi.bouaziz.org/p/Bouaziz-NSAD12.en.htm
A Functor to Make Numerical Abstract Domains Scalable. In 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012). September 17, 2012. 12 pages, 575 KB. Author = {Bouaziz, Mehdi},. Title = { textsf{TreeKs}: A Functor to Make Numerical Abstract Domains Scalable},. Year = {2012},. Month = {September},. Booktitle = {4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012)},. Volume = {287},. Pages = {41- 52},. Publisher = {Elsevier},.
mehdi.bouaziz.org
Talks [Mehdi Bouaziz]
http://mehdi.bouaziz.org/talks.en.htm
Course on Abstract Interpretation. East China Normal University. Shanghai, China. November 26, 2013. Scalable Numerical Abstact Domains. 2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013). National University of Defense Technology. Changsha, China. November 23, 2013. [Slides]. Spécification et vérification de programmes avec CodeContracts. Forum méthodes formelles (FMF 2013). Laboratoire d'Analyse et d'Architecture des Systèmes. Ot: Lifting Clousot into the Cloud.
mehdi.bouaziz.org
Mehdi Bouaziz - École normale supérieure
http://mehdi.bouaziz.org/index.fr.htm
Je suis en thèse avec Jérôme Feret. Dans l' équipe Abstraction. De l' École normale supérieure. À Paris. Je travaille sur l'analyse statique de propriétés de sécurité par interprétation abstraite. Avant cela, j'étais normalien. 2007 2012). J'ai fait des stages de recherche à Microsoft Research. À Redmond, WA, avec Francesco Logozzo. 2011, 2012) et avec Ella Bounimova. 2011) ; au Stevens Institute of Technology. À Hoboken, NJ, avec David Naumann. 2010) ; à l' École normale supérieure. 2010) ; et à MLstate.
mehdi.bouaziz.org
Mehdi Bouaziz - École normale supérieure
http://mehdi.bouaziz.org/index.en.htm
I am a PhD student under the joint supervision of Jérôme Feret. 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.
akira.ruc.dk
John Gallagher
http://akira.ruc.dk/~jpg
DK-4000 Roskilde, Denmark. Phone: 45 4674 2196. Fax: 45 4674 3075. Member of the Programming, Logic and Intelligent Systems. Research group in the Institut for Mennesker og Teknologi. Research Professor (part time) at the IMDEA Software Institute. Research Interests: Program transformation and generation, program analysis, constraint logic programming, rewrite systems, temporal logics, semantics-based emulation of languages and systems, and verification using abstraction, interactive installations. Compu...
bouaziz.info
Mehdi Bouaziz - École normale supérieure
http://bouaziz.info/index.fr.htm
Je suis en thèse avec Jérôme Feret. Dans l' équipe Abstraction. De l' École normale supérieure. À Paris. Je travaille sur l'analyse statique de propriétés de sécurité par interprétation abstraite. Avant cela, j'étais normalien. 2007 2012). J'ai fait des stages de recherche à Microsoft Research. À Redmond, WA, avec Francesco Logozzo. 2011, 2012) et avec Ella Bounimova. 2011) ; au Stevens Institute of Technology. À Hoboken, NJ, avec David Naumann. 2010) ; à l' École normale supérieure. 2010) ; et à MLstate.
bouaziz.info
Talks [Mehdi Bouaziz]
http://bouaziz.info/talks.en.htm
Course on Abstract Interpretation. East China Normal University. Shanghai, China. November 26, 2013. Scalable Numerical Abstact Domains. 2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013). National University of Defense Technology. Changsha, China. November 23, 2013. [Slides]. Spécification et vérification de programmes avec CodeContracts. Forum méthodes formelles (FMF 2013). Laboratoire d'Analyse et d'Architecture des Systèmes. Ot: Lifting Clousot into the Cloud.
mehdi.bouaziz.org
Publications [Mehdi Bouaziz]
http://mehdi.bouaziz.org/pubs.en.htm
Mehdi Bouaziz, Manuel Fähndrich. A case for static analyzers in the cloud. In 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013). March 2013. [Paper]. Mehdi Bouaziz, Francesco Logozzo. Inference of Necessary Field Conditions with Abstract Interpretation. In 10th Asian Symposium on Programming Languages and Systems (APLAS 2012). December 2012. [Paper]. A Functor to Make Numerical Abstract Domains Scalable. September 17, 2012. [Paper]. August 2010. [Paper].
