Nishant Sinha

Publication Activity (10 Years)

Years Active: 2002-2017
Publications (10 Years): 7

Top Topics

Dependency Analysis

Hybrid Algorithm

Web Applications

Attribute Grammars

Top Venues

ESEC/SIGSOFT FSE

Publications

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation. CoRR (2017)
Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang
An Executable Sequential Specification for Spark Aggregation. NETYS (2017)
Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang
Static DOM event dependency analysis for testing web applications. SIGSOFT FSE (2016)
Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha
Type-aware concolic testing of JavaScript programs. ICSE (2016)
Nishant Sinha, Rezwana Karim, Monika Gupta
Simplifying Web Programming. ISEC (2015)
Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang
Commutativity of Reducers. TACAS (2015)
Nishant Sinha, Rezwana Karim
Responsive designs in a snap. ESEC/SIGSOFT FSE (2015)
Sagar Chaki, Arie Gurfinkel, Nishant Sinha
Efficient verification of periodic programs using sequential consistency and snapshots. FMCAD (2014)
Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra
What Gives? A Hybrid Algorithm for Error Trace Explanation. VSTTE (2014)
Nishant Sinha, Rezwana Karim
Compiling mockups to flexible UIs. ESEC/SIGSOFT FSE (2013)
Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra
Guided test generation for web applications. ICSE (2013)
Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan
Alternate and Learn: Finding Witnesses without Looking All over. CAV (2012)
Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma
Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis. CC (2012)
Nishant Sinha, Chao Wang
On interference abstractions. POPL (2011)
Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, Franjo Ivancic, Vineet Kahlon, Weihong Li, Naoto Maeda, Nadia Papakonstantinou, Sriram Sankaranarayanan, Nishant Sinha, Chao Wang
Scalable and precise program analysis at NEC. FMCAD (2010)
Nishant Sinha
Modular bug detection with inertial refinement. FMCAD (2010)
Nishant Sinha, Chao Wang
Staged concurrent program analysis. SIGSOFT FSE (2010)
Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang
Static data race detection for concurrent programs with asynchronous calls. ESEC/SIGSOFT FSE (2009)
Nishant Sinha
Symbolic Program Analysis Using Term Rewriting and Generalization. FMCAD (2008)
Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha
Verification of evolving software via component substitutability analysis. Formal Methods Syst. Des. 32 (3) (2008)
Nishant Sinha, Edmund M. Clarke
SAT-Based Compositional Verification Using Lazy Learning. CAV (2007)
Vineet Kahlon, Aarti Gupta, Nishant Sinha
Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions. CAV (2006)
Sagar Chaki, Nishant Sinha
Assume-Guarantee Reasoning for Deadlock. FMCAD (2006)
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
Concurrent software verification with states, events, and deadlocks. Formal Aspects Comput. 17 (4) (2005)
Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati
Automated Assume-Guarantee Reasoning for Simulation Conformance. CAV (2005)
Edmund M. Clarke, Natasha Sharygina, Nishant Sinha
Program Compatibility Approaches. FMCO (2005)
Edmund M. Clarke, Himanshu Jain, Nishant Sinha
Grand Challenge: Model Check Software. VISSAS (2005)
Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha
Dynamic Component Substitutability Analysis. FM (2005)
Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli
Range Allocation for Separation Logic. CAV (2004)
Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha
State/Event-Based Software Model Checking. IFM (2004)
Flavio Lerda, Nishant Sinha, Michael Theobald
Symbolic Model Checking of Software. Electron. Notes Theor. Comput. Sci. 89 (3) (2003)
Debasis Samanta, Nishant Sinha, Ajit Pal
Synthesis of High Performance Low Power Dynamic CMOS Circuits. VLSI Design (2002)