Nishant Sinha

Research Staff Member
System Analysis and Verification Group
NEC Labs, USA

off: 4 Independence Way, Suite 200, Princeton, NJ 08540
ph: 609-951-2720
fax: 609-951-2483
email: nishants nec-labs com

I work as a Research Staff Member in the System Analysis and Verification group at NEC Labs, Princeton. My interests lie in analysis algorithms for sequential and concurrent programs, automated compositional analysis, rewriting and decision procedures.

I obtained my Ph.D. and M.S. in Computer Engineering from ECE, CMU, and B.Tech. (Hons.) in Computer Sc. and Engg. from IIT Kharagpur.

My old web page is here.

Research:

The complete list of publications can be found on the research page.

Recent Publications:

[FSE'09] Static Data Race Detection for Concurrent Programs with Asynchronous Calls. V. Kahlon, N, Sinha, Y. Zhang and E. Kruus. Amsterdam, The Netherlands. Aug. 2009.
[FMCAD'08] Symbolic Program Analysis using Term Rewriting and Generalization, Nishant Sinha, Nov. 2008. PDF
[FMSD'08] Verification of Evolving Software via Component Substitutability Analysis, Sagar Chaki, Edmund Clarke, Natasha Sharygina, Nishant Sinha.

Misc. Talks:

Symbolic Program Analysis using Term Rewriting and Generalization, FMCAD, Nov 2008.