Sebastien Bardin

Registered user since Sun 11 Aug 2019

Name: Sebastien Bardin

Country: France

Affiliation: CEA LIST

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

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

Contributions

SEAD 2019Committee Member in Program Committee within the SEAD 2019-track
ASE 2019Author of Get rid of inline assembly through verification-oriented lifting within the Research Papers-track
* ICSE 2018 *Author of Time to Clean your Test Objectives within the Technical Papers -track