Synthesis of High Performance Low Power Dynamic CMOS Circuits. - Debasis Samanta; Nishant Sinha 001; Ajit Pal (ASP-DAC/VLSI Design, 2002)

Symbolic Model Checking of Software. - Flavio Lerda; Nishant Sinha 001; Michael Theobald (SoftMC@CAV, 2003)

Range Allocation for Separation Logic. - Muralidhar Talupur; Nishant Sinha 001; Ofer Strichman; Amir Pnueli (CAV, 2004)

State/Event-Based Software Model Checking. - Sagar Chaki; Edmund M. Clarke; Joël Ouaknine; Natasha Sharygina; Nishant Sinha 001 (IFM, 2004)

Automated Assume-Guarantee Reasoning for Simulation Conformance. - Sagar Chaki; Edmund M. Clarke; Nishant Sinha 001; Prasanna Thati (CAV, 2005)

Dynamic Component Substitutability Analysis. - Natasha Sharygina; Sagar Chaki; Edmund M. Clarke; Nishant Sinha 001 (FM, 2005)

Program Compatibility Approaches. - Edmund M. Clarke; Natasha Sharygina; Nishant Sinha 001 (FMCO, 2005)

Grand Challenge: Model Check Software. - Edmund M. Clarke; Himanshu Jain; Nishant Sinha 001 (VISSAS, 2005)

Concurrent software verification with states, events, and deadlocks. - Sagar Chaki; Edmund M. Clarke; Joël Ouaknine; Natasha Sharygina; Nishant Sinha 001 (Formal Aspects Comput., 2005)

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. - Vineet Kahlon; Aarti Gupta; Nishant Sinha 001 (CAV, 2006)

Assume-Guarantee Reasoning for Deadlock. - Sagar Chaki; Nishant Sinha 001 (FMCAD, 2006)

SAT-Based Compositional Verification Using Lazy Learning. - Nishant Sinha 001; Edmund M. Clarke (CAV, 2007)

Symbolic Program Analysis Using Term Rewriting and Generalization. - Nishant Sinha 001 (FMCAD, 2008)

Verification of evolving software via component substitutability analysis. - Sagar Chaki; Edmund M. Clarke; Natasha Sharygina; Nishant Sinha 001 (Formal Methods Syst. Des., 2008)

Static data race detection for concurrent programs with asynchronous calls. - Vineet Kahlon; Nishant Sinha 001; Erik Kruus; Yun Zhang (ESEC/SIGSOFT FSE, 2009)

Scalable and precise program analysis at NEC. - Gogul Balakrishnan; Malay K. Ganai; Aarti Gupta; Franjo Ivancic; Vineet Kahlon; Weihong Li; Naoto Maeda; Nadia Papakonstantinou; Sriram Sankaranarayanan 001; Nishant Sinha 001; Chao Wang 001 (FMCAD, 2010)

Modular bug detection with inertial refinement. - Nishant Sinha 001 (FMCAD, 2010)

Staged concurrent program analysis. - Nishant Sinha 001; Chao Wang 001 (SIGSOFT FSE, 2010)

On interference abstractions. - Nishant Sinha 001; Chao Wang 001 (POPL, 2011)

Alternate and Learn: Finding Witnesses without Looking All over. - Nishant Sinha 001; Nimit Singhania; Satish Chandra 001; Manu Sridharan (CAV, 2012)

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. - Jing Yang 003; Gogul Balakrishnan; Naoto Maeda; Franjo Ivancic; Aarti Gupta; Nishant Sinha 001; Sriram Sankaranarayanan 001; Naveen Sharma (CC, 2012)

Guided test generation for web applications. - Suresh Thummalapenta; K. Vasanta Lakshmi; Saurabh Sinha; Nishant Sinha 001; Satish Chandra 001 (ICSE, 2013)

Compiling mockups to flexible UIs. - Nishant Sinha 001; Rezwana Karim (ESEC/SIGSOFT FSE, 2013)

Efficient verification of periodic programs using sequential consistency and snapshots. - Sagar Chaki; Arie Gurfinkel; Nishant Sinha 001 (FMCAD, 2014)

What Gives? A Hybrid Algorithm for Error Trace Explanation. - Vijayaraghavan Murali; Nishant Sinha 001; Emina Torlak; Satish Chandra 001 (VSTTE, 2014)

Simplifying Web Programming. - Nishant Sinha 001; Rezwana Karim; Monika Gupta 002 (ISEC, 2015)

Responsive designs in a snap. - Nishant Sinha 001; Rezwana Karim (ESEC/SIGSOFT FSE, 2015)

Commutativity of Reducers. - Yu-Fang Chen 001; Chih-Duo Hong; Nishant Sinha 001; Bow-Yaw Wang (TACAS, 2015)

Type-aware concolic testing of JavaScript programs. - Monika Dhok; Murali Krishna Ramanathan; Nishant Sinha 001 (ICSE, 2016)

Static DOM event dependency analysis for testing web applications. - Chungha Sung; Markus Kusano; Nishant Sinha 001; Chao Wang 001 (SIGSOFT FSE, 2016)

An Executable Sequential Specification for Spark Aggregation. - Yu-Fang Chen 001; Chih-Duo Hong; Ondrej Lengál; Shin-Cheng Mu; Nishant Sinha 001; Bow-Yaw Wang (NETYS, 2017)