Publications

Marco Milanese, Antoine Miné (2024). Under-approximating memory abstractions. In Proc. of the 31th International Static Analysis Symposium (SAS'24), volume 14995 of Lecture Notes in Computer Science (LNCS), Pasadena, California, USA, Oct. 2024. Springer.
PDF
Francesco Parolini, Antoine Miné (2024). Sound abstract nonexploitability analysis. In Proc. of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'24), volume 14499 of Lecture Notes in Computer Science (LNCS), London, UK, Jan. 2024. Springer.
PDF
Raphaël Monat, Marco Milanese, Francesco Parolini, Jérôme Boillot, Abdelraouf Ouadjaout, Antoine Miné (2024). Mopsa-C: Improved verification for C programs, simple validation of correctness witnesses (competition contribution). In Proc. of the 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'24), volume 14572 of Lecture Notes in Computer Science (LNCS), 387-392, Luxembourg City, Luxembourg, Apr. 2024. Springer.
PDF DOI
Marco Milanese, Antoine Miné (2024). Generation of violation witnesses by under-approximating abstract interpretation. In Proc. of the 25th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'24), volume 14499 of Lecture Notes in Computer Science (LNCS), London, UK, Jan. 2024. Springer.
PDF
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2023). Mopsa-C: Modular domains and relational abstract interpretation for C programs (competition contribution). In Proc. of the 29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'23), volume 13994 of Lecture Notes in Computer Science (LNCS), 565-570, Paris, France, Apr. 2023. Springer.
PDF DOI
Milla Valnet, Raphaël Monat, Antoine Miné (2023). Analyse statique de valeurs par interprétation abstraite de programmes fonctionnels manipulant des types algébriques récursifs. In Proc. of Journées Francophones des Langages Applicatifs (JFLA'23), Praz-sur-Arly, France, 31 Jan.–3 Feb. 2023.
PDF
David Delmas (2022). Static analysis of program portability by abstract interpretation. Ph.D report, Sorbonne Université, 268 pages, Dec. 2022.
PDF
Francesco Parolini, Antoine Miné (2022). Sound static analysis of regular expressions for vulnerabilities to denial of service attacks. In Proc. of the 16th International Symposium on Theoretical Aspects of Software Engineering (TASE'22), volume 13299 of Lecture Notes in Computer Science (LNCS), 73–91, Cluj-Napoca, Romania, Jul. 2022. Springer.
PDF DOI
Guillaume Bau, Antoine Miné, Botbol, Bouaziz (2022). Abstract interpretation of Michelson smart-contracts. In Proc. of the 11th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'22), 36–43, San Diego, California, USA, Jun. 2022. ACM.
PDF DOI
Raphaël Monat (2021). Static type and value analysis by abstract interpretation of Python programs with native C libraries. Ph.D report, Sorbonne Université, 275 pages, Nov. 2021.
PDF
David Delmas, Abdelraouf Ouadjaout, Antoine Miné (2021). Static analysis of endian portability by abstract interpretation. In Proc. of the 28th International Static Analysis Symposium (SAS'21), volume 12913 of Lecture Notes in Computer Science (LNCS), 102–123, Chicago, USA and virtual, Oct. 2021. Springer.
PDF DOI
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2021). A multilanguage static analysis of Python programs with native C extensions. In Proc. of the 28th International Static Analysis Symposium (SAS'21), volume 12913 of Lecture Notes in Computer Science (LNCS), 323–345, Chicago, USA and virtual, Oct. 2021. Springer.
PDF DOI
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2020). Value and allocation sensitivity in static Python analyses. In Proc. of the 9th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'20), 8–13, virtual conference, Jun. 2020. ACM.
PDF DOI
Raphaël Monat, Abdelraouf Ouadjaout, Antoine Miné (2020). Static type analysis by abstract interpretation of Python programs. In Proc. of the 34th European Conference on Object-Oriented Programming (ECOOP'20), volume 166 of Leibniz International Proceedings in Informatics (LIPIcs), 17:1–17:29, virtual conference, Jul. 2020. Dagstuhl Publishing.
PDF DOI
Abdelraouf Ouadjaout, Antoine Miné (2020). A library modeling language for the static analysis of C programs. In Proc. of the 27th International Static Analysis Symposium (SAS'20), volume 12389 of Lecture Notes in Computer Science (LNCS), 223–246, virtual conference, Nov. 2020. Springer.
PDF DOI
Abdelraouf Ouadjaout, Antoine Miné (2019). Quantitative static analysis of communication protocols using abstract Markov chains. In Formal Methods in System Design (FMSD), 54(1), 64–109, 2019. Springer.
PDF DOI
Matthieu Journault (2019). Precise and modular static analysis by abstract interpretation for the automatic proof of program soundness and contracts inference. Ph.D report, Sorbonne Université, 176 pages, Nov. 2019.
PDF
Matthieu Journault, Antoine Miné, Raphaël Monat, Abdelraouf Ouadjaout (2019). Combinations of reusable abstract domains for a multilingual static analyzer. In Proc. of the 11th Working Conference on Verified Software: Theories, Tools, and Experiments (VSTTE19), volume 12031 of Lecture Notes in Computer Science (LNCS), 1–18, New York, USA, Jul. 2019. Springer.
PDF DOI
David Delmas, Antoine Miné (2019). Analysis of software patches using numerical abstract interpretation. In Proc. of the 26th International Static Analysis Symposium (SAS'19), volume 11822 of Lecture Notes in Computer Science (LNCS), 225–246, Porto, Portugal, Oct. 2019. Springer.
PDF DOI
David Delmas, Antoine Miné (2019). Analysis of program differences with numerical abstract interpretation. In Proc. of 3rd Workshop on Program Equivalence and Relational Reasoning (PERR19), 1–5, Prague, Czech Republic, Apr. 2019.
PDF
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout (2019). An abstract domain for trees with numeric relations. In Proc. of the 28rd European Symposium on Programming (ESOP'19), volume 11423 of Lecture Notes in Computer Science (LNCS), 724–751, Prague, Czech Republic, Apr. 2019. Springer.
PDF DOI
Aymeric Fromherz, Abdelraouf Ouadjaout, Antoine Miné (2018). Static value analysis of Python programs by abstract interpretation. In Proc. of 10th NASA Formal Methods Symposium (NFM'18), 185–202, Newport News, USA, Apr. 2018. Springer.
PDF DOI
Raphaël Monat (2018). Static analysis by abstract interpretation collecting types of Python programs. Master report, Parisian Master of Research in Computer Science, 41 pages, Sep. 2018.
PDF
Matthieu Journault, Antoine Miné, Abdelraouf Ouadjaout (2018). Modular static analysis of string manipulations in C programs. In Proc. of the 25th International Static Analysis Symposium (SAS'18), volume 11002 of Lecture Notes in Computer Science (LNCS), 243–262, Freiburg im Breisgau, Germany, Sep. 2018. Springer.
PDF DOI
Matthieu Journault, Antoine Miné (2018). Inferring functional properties of matrix manipulating programs by abstract interpretation. In Formal Methods in System Design (FMSD), 53(2), 221–258, Oct. 2018. Springer.
PDF DOI
Antoine Miné, Abdelraouf Ouadjaout, Matthieu Journault (2018). Design of a modular platform for static analysis. In Proc. of 9h Workshop on Tools for Automatic Program Analysis (TAPAS'18), 4 pages, Freiburg im Breisgau, Germany, 28 Aug. 2018.
PDF
Antoine Miné (2017). Tutorial on static inference of numeric invariants by abstract interpretation. In Foundations and Trends in Programming Languages (FnTPL), 4(3–4), 120–372, 2017. Now Publishers..
PDF DOI
Abdelraouf Ouadjaout, Antoine Miné (2017). Quantitative static analysis of communication protocols using abstract Markov chains. In Proc. of the 24st International Static Analysis Symposium (SAS'17), volume 10422 of Lecture Notes in Computer Science (LNCS), 277–29, New York, USA, Aug. 2017. Springer.
PDF DOI
Matthieu Journault, Antoine Miné (2016). Static analysis by abstract interpretation of the functional correctness of matrix manipulating programs. In Proc. of the 23st International Static Analysis Symposium (SAS'16), volume 9837 of Lecture Notes in Computer Science (LNCS), 257–277, Edinburgh, UK, Sep. 2016. Springer.
PDF DOI