Sébastien Bardin -

Registered user since Sun 11 Aug 2019

Name:Sébastien Bardin

Country:France

Affiliation:CEA LIST, University Paris-Saclay

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

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

Contributions

SOAP 2021	Invited Speaker in Invited Speakers within the SOAP 2021-track Author of [Invited talk] Towards Security-Oriented Program analysis within the SOAP 2021-track
ESEC/FSE 2022	Committee Member in Program Committee within the Research Papers-track
ISSTA 2021	PC Member in Program Committee Session Chair of Session 10 (time band 3) Symbolic Execution 1 (part of Technical Papers)
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 Author of RusTINA: Automatically checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation) within the AE - Artifact Evaluation-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