Sriram Sankaranarayanan -

Not registered as user yet

Name:Sriram Sankaranarayanan

Country:United States

Affiliation:University of Colorado, Boulder

Personal website: http://www.cs.colorado.edu/~srirams/

Contributions

2024

NFM

Committee Member in Program Committee within the NFM 2024-track

2022

SPLASH

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

VMCAI

PC Member in Program Committee within the VMCAI 2022-track

2021

Static Analysis Symposium

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

POPL

Committee Member in Program Committee within the POPL-track

2019

HSB

Committee Member in Program Committee within the HSB-track

2017

VMCAI

Committee Member in Program committee

2015

WAX

Committee Member in Program Committee within the WAX-track