conf.researchr.org / Antoine Miné
Registered user since Sat 29 Oct 2016
Name:Antoine Miné
Country:France
Affiliation:Sorbonne Université
Personal website: https://www-apr.lip6.fr/~mine/
Research interests:Static Analysis, Abstract Interpretation, Program Verification
Contributions
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