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

Personal website: http://sebastien.bardin.free.fr/

Research interests: Program Analysis; Formal Methods; Software Engineering; Security

Contributions

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

ASE 2019-profile
View general profile