• Sign in
  • Sign up
conf.researchr.org / David Delmas
  • ETAPS 2019 profile
  • SPLASH 2021 profile
  • SPLASH 2022 profile
  • SPLASH 2024 profile
David Delmas

Registered user since Fri 8 Mar 2019

Name:David Delmas
Country:France
Affiliation:Airbus
Personal website: https://www.di.ens.fr/~delmas/
Research interests:Static Analysis, Abstract Interpretation, Program Verification

Contributions

2024

Static Analysis Symposium

  • Committee Member in Program Committee within the SAS 2024-track

2022

SPLASH

  • Author of Static Analysis of Endian Portability by Abstract Interpretation within the COVID Time Papers In Person-track

2021

Static Analysis Symposium

  • Author of Static Analysis of Endian Portability by Abstract Interpretation within the SAS-track

2019

PERR

  • Author of Analysis of program differences with numerical abstract interpretation within the PERR-track
Share
xWed 1 Oct 10:18
using conf.researchr.org (v1.72.1)
Support page
Sign Up