Marco Campion -

Registered user since Mon 29 Mar 2021

Name:Marco Campion

Country:Italy

Affiliation:University of Verona

Research interests:Static Program Analysis, Abstract Intepretation, Computability

Contributions

POPL 2023	Committee Member in Artifact Evaluation Committee within the Artifact Evaluation-track
SAS 2022	Committee Member in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
ECOOP 2022	Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the Hub Talks-track
POPL 2022	Author of Partial (In)Completeness in Abstract Interpretation: Limiting the Imprecision in Program Analysis within the POPL-track
SAS 2021	Committee Member in Artifact Evaluation Committee within the SAS-track