Accueil > Recherche > Étudiants/Post-docs > Marc Pegon

Marc Pegon

Analyse de programmes par interprétation abstraite

vendredi 27 mai 2011

Années: 2011 (IRL Ensimag)
Co-encadrant: David Monniaux
Sujet: Analyse de programmes par interprétation abstraite
Résumé:

L’interprétation abstraite est une méthode d’analyse statique utilisée dans plusieurs outils industriels d’analyse de programmes. Dans ce document, nous montrons comment il est possible de réaliser très rapidement un analyseur de programmes C par interprétation abstraite à l’aide d’outils biens choisis ­ les bibliothèques LLVM et Apron. Après un bref rappel sur l’interpré- tation abstraite, nous présentons ces outils, puis nous donnons les détails d’implémentation de notre analyseur. Enfin nous présentons les résultats obtenus sur des programmes simples.


2023

Journal articles

ref_biblio
Michael Goldman, Benoît Merlet, Marc Pegon, Sylvia Serfaty. Compactness and structure of zero-states for unoriented Aviles-Giga functionals. Journal of the Institute of Mathematics of Jussieu, In press, pp.1-42. ⟨10.1017/S1474748023000075⟩. ⟨hal-03472756⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03472756/file/zero_states_unoriented_aviles_giga.pdf BibTex

Preprints, Working Papers, ...

ref_biblio
Michael Goldman, Benoît Merlet, Marc Pegon. Uniform $C^{1,\alpha}$-regularity for almost-minimizers of some nonlocal perturbations of the perimeter. 2023. ⟨hal-03623418v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03623418/file/uniform_regularity.pdf BibTex

2021

Journal articles

ref_biblio
Benoît Merlet, Marc Pegon. Large mass rigidity for a liquid drop model in 2D with kernels of finite moments. Journal de l'École polytechnique — Mathématiques, 2021, 9, pp.63-100. ⟨10.5802/jep.178⟩. ⟨hal-03181775v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-03181775/file/2d_isop_nonlocal_accepted_final.pdf BibTex
ref_biblio
Marc Pegon. Large mass minimizers for isoperimetric problems with integrable nonlocal potentials. Nonlinear Analysis: Theory, Methods and Applications, 2021, 211, pp.112395. ⟨10.1016/j.na.2021.112395⟩. ⟨hal-02496313v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02496313/file/isoperimetric_nonlocal.pdf BibTex
ref_biblio
Vincent Millot, Marc Pegon, Armin Schikorra. Partial regularity for fractional harmonic maps into spheres. Archive for Rational Mechanics and Analysis, 2021, 242 (2), pp.747-825. ⟨10.1007/s00205-021-01693-w⟩. ⟨hal-02297231v3⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02297231/file/MPS-Arxiv3.pdf BibTex

2020

Journal articles

ref_biblio
Vincent Millot, Marc Pegon. Minimizing 1/2-harmonic maps into spheres. Calculus of Variations and Partial Differential Equations, 2020, 59 (2), pp.55. ⟨10.1007/s00526-020-1704-z⟩. ⟨hal-01985037⟩
Accès au texte intégral et bibtex
https://hal.science/hal-01985037/file/MilPeg-submit.pdf BibTex

2019

Theses

ref_biblio
Marc Pegon. Some contributions to geometric variational problems involving nonlocal energies. Algebraic Geometry [math.AG]. Université Paris Cité, 2019. English. ⟨NNT : 2019UNIP7130⟩. ⟨tel-03103920⟩
Accès au texte intégral et bibtex
https://theses.hal.science/tel-03103920/file/PEGON_Marc_va2.pdf BibTex

Voir en ligne : Page de résultats sur Ensiwiki

Documents joints

  • Rapport

    27 mai 2011
    info document : PDF
    428.3 ko
  • Transparents

    27 mai 2011
    info document : PDF
    292.3 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