Accueil > Recherche > Étudiants/Post-docs > Julien Henry (Thèse)
Julien Henry (Thèse)
Analyse de programmes par interprétation abstraite
lundi 13 août 2012
Thèse soutenue le lundi 13 octobre 2014
Années: 2011, 2012, 2013, 2014 (Ph. D)Co-encadrant: David Monniaux
Sujet: Analyse de programmes par interprétation abstraite
Résumé:
Julien a travaillé sur l’analyse statique par interprétation abstraite, qui est une technique permettant de découvrir des propriétés sur un programme (invariants de boucle, ...). Cette technique calcule des surapproximations des états possibles du programme. Le sujet de Julien était de raffiner cette technique en utilisant des procédures de décisions (SMT-solving), pour calculer des invariants plus précis.
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
-
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
-
Voir en ligne : Home page
| Se connecter |
Plan du site |
RSS 2.0
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License