Site map

• Home
  • About me
  • 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
  • Talks
    • 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
• Site map
  • sitemap.xml

Home | Contact | Site map

Last update: January 24, 2014