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

SAS 2023	PC Member in Program Committee within the SAS 2023-track
SPLASH 2022	Author of Static Analysis of Endian Portability by Abstract Interpretation within the COVID Time Papers In Person-track
SAS 2022	Committee Member in Program Committee within the SAS-track
SOAP 2022	Author of Abstract interpretation of Michelson smart-contracts within the SOAP 2022-track
SAS 2021	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
SOAP 2021	Committee Member in Program Committee within the SOAP 2021-track
VMCAI 2021	Committee Member in Program Committee within the VMCAI-track
SAS 2020	Author of A Library Modeling Language for the Static Analysis of C Programs within the SAS-track Committee Member in Program Committee within the SAS-track Session Chair of 4 (part of SAS)
ECOOP 2020	Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Artifacts-track Author of Static Type Analysis by Abstract Interpretation of Python Programs within the Research Papers-track
SOAP 2020	Author of Value and Allocation Sensitivities in Static Python Analyses within the SOAP 2020-track
ESOP 2019	Author of An abstract domain for trees with numeric relations within the ESOP 2019-track
PERR 2019	Author of Analysis of program differences with numerical abstract interpretation within the PERR-track
N40AI 2017	Session Chair of Industrial Panel 1 (part of Next 40 years of Abstract Interpretation) Committee Member in Organizer within the Next 40 years of Abstract Interpretation-track
VMCAI 2017	Author of Precise Thread-Modular Abstract Interpretation of Concurrent Programs using Relational Interference Abstractions within the VMCAI-track