SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
David Delmas

Registered user since Fri 8 Mar 2019

Name:David Delmas
Country:France
Affiliation:Airbus & Sorbonne Université
Research interests:Static Analysis, Abstract Interpretation, Program Verification

Contributions

SPLASH 2022 Static Analysis of Endian Portability by Abstract Interpretation
Show activities from other conferences

Using general profile