Exposés
2013
CodeContracts & Clousot. Course on Abstract Interpretation, École normale supérieure de l'Est de la Chine, Shanghai, Chine. 26 novembre 2013.
Scalable Numerical Abstact Domains. 2nd Workshop on Analysis and Verification of Dependable Cyber Physical Software (AVDCPS 2013), National University of Defense Technology, Changsha, Chine. 23 novembre 2013. [Transparents]
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. 28 juin 2013. [Transparents]
A Case for Static Analyzers in the Cloud. 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), Rome, Italie. 23 mars 2013. [Transparents]
2012
Inference of Necessary Field Conditions with Abstract Interpretation. 10th Asian Symposium on Programming Languages and Systems (APLAS 2012), Kyoto, Japon. 12 décembre 2012. [Transparents]
Cloudot: Lifting Clousot into the Cloud. Exposé de fin de stage, Microsoft Research, Redmond, WA, États-Unis. 12 octobre 2012. [Transparents]
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. 4th International Workshop on Numerical and Symbolic Abstract Domains (NSAD 2012), Deauville, France. 10 septembre 2012. [Transparents]
An Introduction to Computer Security. Rencontres du Département d'Informatique, École normale supérieure, Paris, France. 11 mai 2012. [Transparents]
2011
Some Improvements to CodeContracts. Exposé de fin de stage, Microsoft Research, Redmond, WA, États-Unis. 3 novembre 2011. [Transparents]
Towards "Continuous SAGE". Exposé de fin de stage, Microsoft Research, Redmond, WA, États-Unis. 8 juillet 2011. [Transparents]
TreeKs: A Functor to Make Numerical Abstract Domains Scalable. MSR Interns 7-minute talks, Microsoft Research, Redmond, WA, États-Unis. 7 juillet 2011. [Transparents]
A symbolic evaluator for Javascript. Exposé de fin de stage, Stevens Institute of Technology, Hoboken, NJ, États-Unis. 25 février 2011. [Transparents]
2010
TreeKs: un foncteur pour faire passer les domains numériques à l'échelle. Soutenance de master, École normale supérieure, Paris, France. 6 septembre 2010. [Transparents]
2009
Optimized Client-Server Distribution of Ajax Web Applications. Soutenance de master, École normale supérieure, Paris, France. 21 septembre 2009.
Dernière mise à jour : 24 janvier 2014