Sriram Sankaranarayanan
Artificial Intelligence · 2003–2019
A researcher in the Science corpus: 11 papers; trusts 16 researchers and is trusted by 4 researchers here, as inferred from the citation graph.
Subfields
- Artificial Intelligence — 35 citations into it; #31,563 of 35,345 by trust here, #17,412 by citations
- Computational Theory and Mathematics — 26 citations into it; #10,745 of 12,182 by trust here, #3,796 by citations
- Safety, Robustness & Interpretability — 15 citations into it
- Software — 14 citations into it
- Hardware and Architecture — 13 citations into it
- Program Analysis & Verification — 9 citations into it
- Management Science and Operations Research — 8 citations into it
- Computer Networks and Communications — 7 citations into it
Whom Sriram Sankaranarayanan trusts overall
Their strongest outbound trust, strongest first, inferred from their citations.
- Luca Pulina
- Manuvir Das
- Xiaowei Huang
- Alexandre Donzé
- David A. Wagner
- Armando Tacchella
- Clark W. Barrett
- Robert E. Bixby
- André Platzer
- Bruno Blanchet
Who trusts Sriram Sankaranarayanan overall
Papers from Sriram Sankaranarayanan's perspective
Ordered by how strongly the researchers Sriram Sankaranarayanan trusts endorse each paper. Same corpus, a different order for every researcher.
- Intriguing properties of neural networks
- Deep Residual Learning for Image Recognition (Computer Vision and Pattern Recognition)
- ImageNet classification with deep convolutional neural networks
- Practical Black-Box Attacks against Deep Learning Systems using Adversarial Examples
- TensorFlow: A system for large-scale machine learning
- Safety Verification of Deep Neural Networks ∗
- An approach to reachability analysis for feed-forward ReLU neural networks
- Theory of linear and integer programming
- A static analyzer for large safety-critical software (ACM-SIGPLAN Symposium on Programming Language Design and Implementation)
- Large-Scale Machine Learning with Stochastic Gradient Descent
Their papers
- Output Range Analysis for Deep Feedforward Neural Networks (2018) — 298 citations
- LOLA: runtime monitoring of synchronous systems (2005) — 296 citations
- Linear Invariant Generation Using Non-linear Constraint Solving (2003) — 393 citations
- Flow*: An Analyzer for Non-linear Hybrid Systems (2013) — 564 citations
- Static Analysis in Disjunctive Numerical Domains (2006) — 101 citations
- S-TaLiRo: A Tool for Temporal Logic Falsification for Hybrid Systems (2011) — 486 citations
- A learning-based algorithm to quickly compute good primal solutions for Stochastic Integer Programs (2019) — 31 citations
- Specification-Based Monitoring of Cyber-Physical Systems: A Survey on Theory, Tools and Applications (2018) — 329 citations
- Learning and Verification of Feedback Control Systems using Feedforward Neural Networks (2018) — 74 citations
- Output Range Analysis for Deep Neural Networks (2017) — 125 citations
- Non-linear loop invariant generation using Gröbner bases (2004) — 305 citations