• Sign in
  • Sign up
conf.researchr.org / Marc Chevalier
  • POPL 2020 profile
  • SPLASH 2020 profile
  • SPLASH 2022 profile
  • SPLASH 2023 profile
Marc Chevalier

Registered user since Thu 7 Nov 2019

Name:Marc Chevalier
Country:Switzerland
GitHub: https://github.com/githubcommarc-chevalier
Research interests:Abstract Interpretation, Programming Language, Static Analysis

Contributions

2023

Static Analysis Symposium

  • Chair in Artifact Evaluation Committee within the SAS 2023 Artifacts-track
  • Artifact Evaluation Chair in Organizing Committee

2022

Static Analysis Symposium

  • Chair in Artifact Evaluation Committee within the SAS 2022 Artifacts-track
  • Artifact Evaluation Chair in Organizing Committee

2020

Static Analysis Symposium

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

VMCAI

  • Author of Sharing Ghost Variables in a Collection of Abstract Domains within the VMCAI 2020-track
Share
xSat 24 May 14:33
using conf.researchr.org (v1.69.0)
Support page
Sign Up