• Sign in
  • Sign up
conf.researchr.org / Sébastien Bardin
  • * ICSE 2018 * profile
  • ASE 2019 profile
  • ECOOP and ISSTA 2021 profile
  • ICSE 2021 profile
  • POPL 2020 profile
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

Share
xTue 26 Jan 14:16
using conf.researchr.org (v1.40.2)
Support page
Sign Up