Recherche - Archive ouverte HAL Accéder directement au contenu

Filtrer vos résultats

11 résultats
Page :
triés par
Image document

Value and Allocation Sensitivity in Static Python Analyses

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Jun 2020, London, United Kingdom. pp.8-13, ⟨10.1145/3394451.3397205⟩
Communication dans un congrès hal-02876667v1
Image document

Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs

 Milla Valnet , Raphaël Monat , Antoine Miné
JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.211-242
Communication dans un congrès hal-03936718v2
Image document

Precise Thread-Modular Abstract Interpretation of Concurrent Programs Using Relational Interference Abstractions

 Raphaël Monat , Antoine Miné
Verification, Model Checking, and Abstract Interpretation (VMCAI) 2017, Jan 2017, Paris, France. pp.386-404, ⟨10.1007/978-3-319-52234-0_21⟩
Communication dans un congrès hal-01490178v1
Image document

A Multilanguage Static Analysis of Python Programs with Native C Extensions

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
Static Analysis Symposium (SAS), Oct 2021, Chicago, Illinois, United States
Communication dans un congrès hal-03313409v1
Image document

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

 Raphaël Monat , Aymeric Fromherz , Denis Merigoux
ESOP 2024 - 33rd European Symposium on Programming, Apr 2024, Luxembourg City, Luxembourg. pp.421-450, ⟨10.1007/978-3-031-57267-8_16⟩
Communication dans un congrès hal-04536403v1
Image document

Étude formelle de l'implémentation du code des impôts

 Denis Merigoux , Raphaël Monat , Christophe Gaie
JFLA 2020 - 31ème Journées Francophones des Langages Applicatifs, Jan 2020, Gruissan, France
Communication dans un congrès hal-02320347v3
Image document

Static Type Analysis by Abstract Interpretation of Python Programs

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
34th European Conference on Object-Oriented Programming (ECOOP 2020), Nov 2020, Berlin (Virtual / Covid), Germany. ⟨10.4230/LIPIcs.ECOOP.2020.17⟩
Communication dans un congrès hal-02994000v1
Image document

Mopsa-C: Improved Verification for C Programs, Simple Validation of Correctness Witnesses (Competition Contribution)

 Raphaël Monat , Marco Milanese , Francesco Parolini , Jérôme Boillot , Abdelraouf Ouadjaout , et al.
Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2024, Apr 2024, Luxembourg City, Luxembourg. pp.387 - 392, ⟨10.1007/978-3-031-57256-2_26⟩
Communication dans un congrès hal-04536418v1
Image document

Mopsa-C: Modular Domains and Relational Abstract Interpretation for C Programs (Competition Contribution)

 Raphaël Monat , Abdelraouf Ouadjaout , Antoine Miné
Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2023), Apr 2023, Paris, France. pp.565-570, ⟨10.1007/978-3-031-30820-8_37⟩
Communication dans un congrès hal-04077678v1
Image document

Static Analysis by Abstract Interpretation Collecting Types of Python Programs

 Raphaël Monat
[Internship report] LIP6 - Laboratoire d'Informatique de Paris 6. 2018
Rapport hal-01869049v1
Image document

Combinations of Reusable Abstract Domains for a Multilingual Static Analyzer

 Matthieu Journault , Antoine Miné , Raphaël Monat , Abdelraouf Ouadjaout
VSTTE 2019 : 11th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2019, New York, United States. pp.1-18, ⟨10.1007/978-3-030-41600-3_1⟩
Communication dans un congrès hal-02890500v1
Page :