Blogs (1) >>
ASE 2019
Sun 10 - Fri 15 November 2019 San Diego, California, United States
Sébastien Bardin

Registered user since Sun 11 Aug 2019

Name:Sébastien Bardin
Country:France
Affiliation:CEA LIST
Research interests:Program Analysis; Formal Methods; Software Engineering; Security

Contributions

ASE 2019 Get rid of inline assembly through verification-oriented lifting
SEAD 2019 Committee Member in Program Committee within the SEAD 2019-track
Show activities from other conferences

ASE 2019-profile
View general profile