
|
|
I am a research staff member (RSM) at NEC Laboratories America, Inc., working on verification of software programs .
My current research interests include:
Recent Publications ( Complete List )
| [SIG07] | Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta, Program Analysis Using Symbolic Ranges , SAS 2007 (to appear). |
| [KYSG07] | Vineet Kahlon, Yu Yang, Sriram Sankaranarayanan and Aarti Gupta. Fast and Accurate Static Data-Race Detection for Concurrent Programs , CAV 2007 (to appear). |
| [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. |
My personal website is at http://theory.stanford.edu/~srirams
© 2006 NEC Laboratories America, Inc. All rights reserved.