• Sign in
  • Sign up
conf.researchr.org / Sylvie Putot
  • POPL 2016 profile
  • POPL 2019 profile
  • POPL 2020 profile
  • SPLASH 2020 profile
  • SPLASH 2021 profile

Registered user since Fri 10 Apr 2015

Name:Sylvie Putot
Affiliation:École Polytechnique
Personal website:http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/

Contributions

SAS 2021 Author of Static analysis of ReLU neural networks with tropical polyhedra within the SAS-track
SAS 2020 Committee Member in Program Committee within the SAS-track
POPL 2020 Committee Member in Program Committee within the Research Papers-track
VMCAI 2019 Invited Speaker in Invited Speakers within the VMCAI 2019-track
Author of Under and Over Approximated Reachability Analysis for the Verifcation of Control Systems within the VMCAI 2019-track
Committee Member in Program Committee within the VMCAI 2019-track
POPL 2016 ERC member in External Reviewing Committee
ERC member in External Reviewing Committee within the Research Papers-track

Share
xTue 16 Aug 02:27
using conf.researchr.org (v1.56.0)
Support page
Sign Up