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.
2022
Conference papers
- ref_biblio
- Élise Maigné, Céline Noirot, Jérôme Mariette, Yaa Adu Kesewaah, Sébastien Déjean, et al.. ASTERICS: A Tool for the ExploRation and Integration of omiCS data. Journées Ouvertes en Biologie, Informatique et Mathématiques (JOBIM 2022), Inria; INRAE, Jun 2022, Rennes, France. ⟨hal-03697843⟩
- Accès au bibtex
-
2021
Journal articles
- ref_biblio
- Jérôme Avouac, Elodie Drumez, Eric Hachulla, Raphaèle Seror, Sophie Georgin-Lavialle, et al.. COVID-19 outcomes in patients with inflammatory rheumatic and musculoskeletal diseases treated with rituximab: a cohort study. The Lancet Rheumatology, Elsevier, 2021, 3 (6), pp.e419-e426. ⟨10.1016/S2665-9913(21)00059-X⟩. ⟨hal-03365306⟩
- Accès au bibtex
-
2020
Journal articles
- ref_biblio
- Florence Aeschlimann, Nassim Ait-Abdallah, Jean-David Albert, Didier Alcais, Yannick Allanore, et al.. Severity of COVID-19 and survival in patients with rheumatic and inflammatory diseases: data from the French RMD COVID-19 cohort of 694 patients. Annals of the Rheumatic Diseases, BMJ Publishing Group, 2020, pp.annrheumdis-2020-218310. ⟨10.1136/annrheumdis-2020-218310⟩. ⟨hal-03105409⟩
- Accès au texte intégral et bibtex
-
2019
Journal articles
- ref_biblio
- Salam Abbara, Raphaele Seror, Julien Henry, Pascale Chretien, Aude Gleizes, et al.. Anti-RNP positivity in primary Sjogren's syndrome is associated with a more active disease and a more frequent muscular and pulmonary involvement. RMD Open : Rheumatic & Musculoskeletal Diseases, BMJ, 2019, 5 (2), ⟨10.1136/rmdopen-2019-001033⟩. ⟨hal-03295371⟩
- Accès au texte intégral et bibtex
-
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 texte intégral et 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
-
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
-
- 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
-
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
-
- 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
-
- 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
-
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
-