Write a Blog >>
Marc Chevalier

Registered user since Thu 7 Nov 2019

Name: Marc Chevalier

Country: France

Affiliation: ENS, CNRS, PSL University, INRIA

Research interests: Abstract Interpretation


VMCAI 2020Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track
Show activities from other conferences

POPL 2020-profile
View general profile