NEC Laboratories America, Inc.

Dr. Sriram Sankaranarayanan NEC Laboratories America, Inc. 4 Independence Way, Suite 200 Princeton, NJ 08520 (609) 951-4820

I am a research staff member (RSM) at NEC Laboratories America, Inc., working on verification of software programs .

My current research interests include:

• Program Modeling, Analysis and Verification: Static Analysis
• Hybrid Systems: Modelling, Analysis and Control
• Optimization and Constraint Solving

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

NEC Laboratories America Home

© 2006 NEC Laboratories America, Inc. All rights reserved.