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

ISSTA 2021	PC Member in Program Committee
PLanQC 2020	Author of Qbricks: formal verification in quantum computing within the PLanQC-track Author of Formalization of a Programming Language for Quantum Circuits with Measurement and Classical Control within the PLanQC-track
SEAD 2019	Committee Member in Program Committee within the SEAD 2019-track
ICSE 2021	Author of Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine within the Technical Track-track
ASE 2019	Author 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