Marc Chevalier

Registered user since Thu 7 Nov 2019

Name: Marc Chevalier

Country: France

Affiliation: ENS, CNRS, PSL University, INRIA

Research interests: Abstract Interpretation


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