Marco Campion -

Registered user since Mon 29 Mar 2021

Name:Marco Campion

Country:France

Affiliation:INRIA & École Normale Supérieure | Université PSL

Personal website: https://marcocampion.github.io

Research interests:Static Program Analysis, Abstract Intepretation, Program Verification, Computability, Formal Languages

Contributions

2024

POPL

Author of Monotonicity and the Precision of Program Analysis within the POPL-track

2023

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS 2023 Artifacts-track
Author of A Formal Framework to Measure the Incompleteness of Abstract Interpretations within the SAS 2023-track

POPL

Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track

2022

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track

ECOOP

Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the Hub Talks-track

POPL

Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the POPL-track

2021

Static Analysis Symposium

Committee Member in Artifact Evaluation Committee within the SAS-track