Accueil > Recherche > Étudiants/Post-docs > Julien Henry (M2R)

Julien Henry (M2R)

Static Analysis by Path Focusing

jeudi 16 juin 2011

Années: 2010, 2011 (M2R)
Co-encadrant: David Monniaux
Sujet: Static Analysis by Path Focusing
Résumé:

La vérification de programme consiste à découvrir statiquement des propriétés sur des programmes, comme l’ensemble des valeurs que peuvent prendre les variables durant l’exécution. L’Interprétation Abstraite est une technique permettant de calculer une approximation de cet ensemble, le véritable ensemble étant impossible à calculer en général. Ce rapport s’inscrit dans la lignée des travaux visant à améliorer la précision de l’analyse par interprétation abstraite, et propose une technique tirant parti du SMT-solving pour obtenir de meilleurs résultats à un coût raisonnable.


2018

Journal articles

ref_biblio
David Montani, Julien Henry, Caroline O'Connell, Xavier Jaïs, Vincent Cottin, et al.. Association between Rheumatoid Arthritis and Pulmonary Hypertension: Data from the French Pulmonary Hypertension Registry. Respiration, Karger, 2018, 95 (4), pp.244 - 250. ⟨10.1159/000485631⟩. ⟨hal-01788817⟩
Accès au bibtex
BibTex
ref_biblio
Lucie Demaria, Julien Henry, Raphaèle Seror, Laurent Frenzel, Olivier Hermine, et al.. Rituximab-Bendamustine (R-Benda) in MALT lymphoma complicating primary Sjögren syndrome (pSS). British Journal of Haematology, Wiley, 2018, ⟨10.1111/bjh.15120⟩. ⟨hal-01789025⟩
Accès au bibtex
BibTex

2014

Conference papers

ref_biblio
Julien Henry, Mihail Asavoae, David Monniaux, Claire Maïza. How to Compute Worst-Case Execution Time by Optimization Modulo Theory and a Clever Encoding of Program Semantics. ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems 2014, Jun 2014, Edimbourg, United Kingdom. pp.1-10. ⟨hal-00998138⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00998138/file/Henry_et_al_LCTES2014.pdf BibTex

Theses

ref_biblio
Julien Henry. Static Analysis by Abstract Interpretation and Decision Procedures. Software Engineering [cs.SE]. Université de Grenoble, 2014. English. ⟨tel-01102418⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01102418/file/these.pdf BibTex
ref_biblio
Julien Henry. Analyse statique par interprétation abstraite et procédures de décision. Logic in Computer Science [cs.LO]. Université de Grenoble, 2014. English. ⟨NNT : 2014GRENM037⟩. ⟨tel-01485202⟩
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-01485202/file/41754_HENRY_2014_archivage.pdf BibTex

2012

Conference papers

ref_biblio
Julien Henry, David Monniaux, Matthieu Moy. PAGAI: a path sensitive static analyzer. Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3. ⟨hal-00718438⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00718438/file/pagai_article.pdf BibTex
ref_biblio
Julien Henry, David Monniaux, Matthieu Moy. Succinct Representations for Abstract Interpretation. Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩. ⟨hal-00709833⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00709833/file/implicitization_article.pdf BibTex
ref_biblio
Nicolas Halbwachs, Julien Henry. When the Decreasing Sequence Fails. SAS 2012 The 19th International Static Analysis Symposium, Sep 2012, Deauville, France. pp.198-213, ⟨10.1007/978-3-642-33125-1_15⟩. ⟨hal-00734340⟩
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00734340/file/sas-14.pdf BibTex

2010

Journal articles

ref_biblio
Franck Chotel, Julien Henry, Romain Seil, Julien Chouteau, Bernard Moyen, et al.. Growth disturbances without growth arrest after ACL reconstruction in children. Knee Surgery, Sports Traumatology, Arthroscopy, Springer Verlag, 2010, 18 (11), pp. 1496-1500. ⟨10.1007/s00167-010-1069-5⟩. ⟨hal-00983736⟩
Accès au bibtex
BibTex

Documents joints

  • Rapport

    16 juin 2011
    info document : PDF
    978.6 ko

Valid XHTML 1.0 Transitional
SPIP | | Plan du site | Suivre la vie du site RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License