Talks
2013
CodeContracts & Clousot. 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. 2e Forum méthodes formelles (FMF 2013), Laboratoire d'Analyse et d'Architecture des Systèmes, Toulouse, France. June 28, 2013. [Slides]
A Case for Static Analyzers in the Cloud. 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), Rome, Italy. March 23, 2013. [Slides]
2012
Inference of Necessary Field Conditions with Abstract Interpretation. 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japan. December 12, 2012. [Slides]
Cloudot: Lifting Clousot into the Cloud. End of internship talk, Microsoft Research, Redmond, WA, USA. October 12, 2012. [Slides]
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Deauville, France. September 10, 2012. [Slides]
An Introduction to Computer Security. Computer Science department meeting, École normale supérieure, Paris, France. May 11, 2012. [Slides]
2011
Some Improvements to CodeContracts. End of internship talk, Microsoft Research, Redmond, WA, USA. November 3, 2011. [Slides]
Towards "Continuous SAGE". End of internship talk, Microsoft Research, Redmond, WA, USA. July 8, 2011. [Slides]
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. MSR Interns 7-minute talks, Microsoft Research, Redmond, WA, USA. July 7, 2011. [Slides]
A symbolic evaluator for Javascript. End of internship talk, Stevens Institute of Technology, Hoboken, NJ, USA. February 25, 2011. [Slides]
2010
TreeKs: un foncteur pour faire passer les domains numériques à l'échelle. Masters defense, École normale supérieure, Paris, France. September 6, 2010. [Slides]
2009
Optimized Client-Server Distribution of Ajax Web Applications. Masters defense, École normale supérieure, Paris, France. September 21, 2009.
Last update: January 24, 2014