| [DES09] | Jyotirmoy Deshmukh, E. Allen Emerson, and Sriram Sankaranarayanan, Symbolic Deadlock Analysis in Concurrent Libraries and their Clients, ASE 2009, to appear. |
| [BSIG09] | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Refining the Control Structure of Loops using Static Analysis, EMSOFT 2009, to appear. |
| [CIJSS09] | Richard M. Chang, Franjo Ivancic, Geoff Jiang, Sriram Sankaranarayanan and Vitaly Shmatikov, Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities , Computer Security Foundations (CSF-22). |
| [KASISR09] | Aditya Kanade, Rajeev Alur, Franjo Ivancic, S. Ramesh, Sriram Sankaranarayanan and K.C. Sashidhar, Generating and Analyzing Symbolic Traces of Simulink/Stateflow Models , Computer-aided Verification (CAV 2009). |
| [KSG09] | Vineet Kahlon, Sriram Sankaranarayanan and Aarti Gupta, Semantic Reduction of Thread Interleavings in Concurrent Programs , Tools and Algorithms for Construction and Analysis of Systems (TACAS 2009). |
| [SCIG08] | Sriram Sankaranarayanan, Swarat Chaudhuri, Franjo Ivancic and Aarti Gupta, Dynamic Inference of Data Preconditions over Predicates by Tree Learning , Intl. Symp. on Software Testing and Analysis (ISSTA 2008). |
| [BSI+08] | Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic, Ou Wei and Aarti Gupta, SLR: Path-Sensitive Analysis through Infeasible-Path Detection and Syntactic Language Refinement , SAS 2008. |
| [SIG08] | Sriram Sankaranarayanan, Franjo Ivancic, Aarti Gupta, Mining Library Specifications using Inductive Logic Programming , ICSE 2008. |
| [SDI08b] | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, A Policy Iteration Approach For Time Elapse over Template Polyhedra , HSCC 2008. |
| [GGI+08] | Malay Ganai, Aarti Gupta, Franjo Ivancic, Weihong Li, Nadia Papakonstantinou, Sriram Sankaranarayanan, and Chao Wang, Towards Precise and Scalable Verification of Embedded Software , 2008 Design and Verification Conference (DVCon, Invited Paper). |
| [SDI08a] | Sriram Sankaranarayanan, Thao Dang, Franjo Ivancic, Symbolic Model Checking of Hybrid Systems using Template Polyhedra TACAS 2008. |
| [SSM08] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constructing Invariants for Hybrid Systems. Formal Methods in System Design (invited submission), journal version of [SSM04b], Vol. 32(1), pp. 25-55, Feb. 2008. |
| [SCJI07] | Sriram Sankaranarayanan, Richard M. Chang, Guofei Jiang and Franjo Ivancic, State Space Exploration Using Feedback Constraint Generation and Monte-Carlo Sampling , FSE 2007. |
| [SIG07] | Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Program Analysis Using Symbolic Ranges , SAS 2007. |
| [KYSG07] | Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan and Aarti Gupta. Fast and Accurate Static Data-Race Detection for Concurrent Programs , CAV 2007. |
| [SSSM07] | Matteo Slanina, Sriram Sankaranarayanan, Henny B. Sipma and Zohar Manna. Controller Synthesis of Discrete Linear Plants Using Polyhedra , REACT Technical Report: REACT-TR-2007-01, Computer Science Dept., Stanford University, Jan. 2007. |
| [SISG06] | Sriram Sankaranarayanan, Franjo Ivancic, Ilya Shlyakhter and Aarti Gupta. Static Analysis in Disjunctive Numerical Domains , Static Analysis Symposium (SAS 2006). |
| [SSM06] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna. Fixed Point Iteration for Computing the Time Elapse Operator, Hybrid Systems: Computation and Control, 2006. |
| [SCSM06] | Sriram Sankaranarayanan, Michael Colon, Henny Sipma and Zohar Manna. Efficient Strongly Relational Polyhedral Analysis. Verification, Model Checking and Abstract Interpretation (VMCAI 2006). |
| [S05] | Sriram Sankaranarayanan Mathematical Analysis of Programs. PhD Dissertation, Stanford University, September 2005. |
| [DSS++05] | Ben D'Angelo, Sriram Sankaranarayanan, Cesar Sanchez, Will Robinson, Bernd Finkbeiner, Henny Sipma, Sandeep Mehrotra and Zohar Manna, LOLA: Runtime Monitoring of Synchronous Systems. IEEE Symposium on Temporal Representation and Reasoning (TIME 2005), to appear. |
| [SSM05] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Scalable Analysis of Linear Systems using Mathematical Programming. Verification, Model-Checking, and Abstract Interpretation (VMCAI 2005), Volume 3385 of Lecture Notes in Computer Science, pages 21-47. |
| [FSS04] | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions. Preprint, Formal Methods in System Design , Journal version of [FSS02]. |
| [SSM04c] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constraint-Based Linear-Relations Analysis. Static Analysis Symposium (SAS 2004), Volume 3148 of Lecture Notes in Computer Science, pages 53-68. |
| [SSM04b] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Constructing Invariants for Hybrid Systems. In Hybrid Systems: Computation and Control (HSCC 2004), volume 2993 of Lecture Notes in Computer Science, pages 539-554, March 2004. |
| [SSM04a] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Non-Linear Loop Invariant Generation using Grobner Bases. In ACM SIGPLAN Principles of Programming Languages (POPL 2004), January 2004. |
| [SSM03] | Sriram Sankaranarayanan, Henny Sipma, Zohar Manna, Petri Net Analysis Using Invariant Generation. Verification: Theory and Practice, vol. 2772 of Lecture Notes in Computer Science, 2003. |
| [SSS++03] | Cesar Sanchez, Sriram Sankaranarayanan, Henny Sipma, Ting Zhang, David Dill, and Zohar Manna, Event Correlation: Language and Semantics. Embedded Software (EMSOFT 2003), Lecture Notes in Computer Science, Vol. 2855, pp. 323-339, October 2003. |
| [CSS03] | Michael A. Colon, Sriram Sankaranarayanan, Henny Sipma. Linear Invariant Generation using Non-linear Constraint Solving. In Computer Aided Verification (CAV 2003), vol. 2725 of Lecture Notes in Computer Science, Springer Verlag, pp. 420-433. |
| [FSS02] | Bernd Finkbeiner, Sriram Sankaranarayanan, Henny Sipma. Collecting Statistics over Runtime Executions. In Proc. Workshop on Runtime Verification, Electronic Notes in Theoretical Computer Science, Volume 70, Number 4. |
| [CDDS01] | P.P.Chakarabrti, P.Dasgupta, J.Deka and S.Sankaranarayanan. Min-Max Computation Tree Logic. J. Artificial Intelligence 127(1),pp. 137-162, 2001. |
| [STDC01] | S.Sankaranarayanan, R.Tandon, P. Dasgupta,
P.P.Chakrabarti. Symbolic Verification
of Boolean Constraints over Partially Specified Functions. IEEE
Symposium on Circuits and Systems (ISCAS), May, 2001.
Note: If you are interested, please email me for a hard-copy. |