conf.researchr.org / Antoine Miné
Registered user since Sat 29 Oct 2016
Name:Antoine Miné
Country:France
Affiliation:Sorbonne Université
Personal website: https://perso.lip6.fr/Antoine.Mine
GitHub: https://github.com/antoinemine
Research interests:Static Analysis, Abstract Interpretation, Program Verification
Contributions
2026
Static Analysis Symposium
2025
Static Analysis Symposium
ECOOP
2024
Static Analysis Symposium
N40AI
2023
Static Analysis Symposium
2022
Static Analysis Symposium
2021
Static Analysis Symposium
- Author of A Multi-Language Static Analysis of Python Programs with Native C Extensions within the SAS-track
- Committee Member in Program Committee within the SAS-track
- Session Chair of Session 4B (part of SAS)
- Author of Static Analysis of Endian Portability by Abstract Interpretation within the SAS-track