Plan du site

• Accueil
  • À propos de moi
  • Contact
  • Publications
    • A case for static analyzers in the cloud
    • Inference of Necessary Field Conditions with Abstract Interpretation
    • TreeKs: A Functor to Make Numerical Abstract Domains Scalable
    • Jsx: a symbolic evaluator for JavaScript
    • TreeKs: un foncteur pour faire passer les domains numériques à l'échelle
    • A Unified Library of Primitives for QML Compilers and Interpreters
    • Optimized Client-Server Distribution of Ajax Web Applications
    • Approximation statique de propriétés d'applications web
    • all.bib
  • Exposés
    • CodeContracts & Clousot
    • Scalable Numerical Abstact Domains
    • Spécification et vérification de programmes avec CodeContracts
    • A Case for Static Analyzers in the Cloud
    • Inference of Necessary Field Conditions with Abstract Interpretation
    • Cloudot: Lifting Clousot into the Cloud
    • TreeKs: A Functor to Make Numerical Abstract Domains Scalable
    • An Introduction to Computer Security
    • Some Improvements to CodeContracts
    • Towards "Continuous SAGE"
    • TreeKs: A Functor to Make Numerical Abstract Domains Scalable
    • A symbolic evaluator for Javascript
    • TreeKs: un foncteur pour faire passer les domains numériques à l'échelle
    • Optimized Client-Server Distribution of Ajax Web Applications
• Plan du site
  • sitemap.xml

Accueil | Contact | Plan du site

Dernière mise à jour : 24 janvier 2014