Sébastien Bardin

Registered user since Sun 11 Aug 2019

Name:Sébastien Bardin
Affiliation:CEA LIST, University Paris-Saclay
Research interests:Program Analysis; Formal Methods; Security; Software Engineering


ISSTA 2022 Programme Committee in Program Committee within the Technical Papers-track
SAS 2022 Committee Member in Program Committee within the SAS 2022 Papers-track
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