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
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.
sf.snu.ac.kr
Chung-Kil Hur 허충길 | Software Foundations Laboratory
http://sf.snu.ac.kr/gil.hur
Department of Computer Science and Engineering, Seoul National University. Assistant Professor, Department of Computer Science and Engineering. Adjunct Professor, Department of Mathematical Sciences. 1 Gwanak-ro, Gwanak-gu. Gilhur#sf:snu:ac:kr where # is @ and : is . Tel: 82 (0)2 880 1844. I lead the Software Foundations Laboratory. 102004 10.2009 : Ph.D. in Computer Science. At University of Cambridge. 031995 02.2000 : B.S. in Mathematics. At Seoul National University. At Seoul National University.
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.
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].