Marc Chevalier

Registered user since Thu 7 Nov 2019

Name: Marc Chevalier

Country: France

Affiliation: ENS, CNRS, PSL University, INRIA

Research interests: Abstract Interpretation

Contributions

SAS 2020Committee Member in Artifact Evaluation Committee within the SAS-track
VMCAI 2020Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track