Nishant Sinha

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