Write a Blog >>
ICSE 2021
Sun 16 May - Sat 5 June 2021
Sébastien Bardin

Registered user since Sun 11 Aug 2019

Name: Sébastien Bardin

Country: France

Affiliation: CEA LIST, University Paris-Saclay, France

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

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

Contributions

ICSE 2021 Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation)
Show activities from other conferences

ICSE 2021-profile
View general profile