Sriram Sankaranarayanan -

Registered user since Mon 24 Jun 2024

Name:Sriram Sankaranarayanan

Country:United States

Affiliation:University of Colorado, Boulder

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

Contributions

2025

ATVA

PC Member in Programme Committee

VMCAI

2024

NFM

Committee Member in Program Committee within the NFM 2024-track

CAIN

Author of Worst-Case Convergence Time of ML Algorithms via Extreme Value Theory within the Research and Experience Papers-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