Antoine Miné

Registered user since Sat 29 Oct 2016

Name:Antoine Miné
Country:France
Affiliation:Sorbonne Université
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