Sylvie Putot -

Registered user since Fri 10 Apr 2015

Name:Sylvie Putot

Affiliation:École Polytechnique

Personal website: http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/

Contributions

2022

SPLASH

Author of Static analysis of ReLU neural networks with tropical polyhedra within the COVID Time Papers In Person-track

2021

Static Analysis Symposium

Author of Static analysis of ReLU neural networks with tropical polyhedra within the SAS-track

2020

Static Analysis Symposium

Committee Member in Program Committee within the SAS-track

POPL

Committee Member in Program Committee within the Research Papers-track

2019

VMCAI

2016

POPL