Nishant Sinha

According to our database, Nishant Sinha authored at least 31 papers between 2002 and 2017.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2017

An Executable Sequential Specification for Spark Aggregation.

Yu-Fang Chen, Chih-Duo Hong, Ondrej Lengál, Shin-Cheng Mu, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Networked Systems - 5th International Conference, 2017

2016

Static DOM event dependency analysis for testing web applications.

Chungha Sung, Markus Kusano, Nishant Sinha, Chao Wang

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Type-aware concolic testing of JavaScript programs.

Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha

Proceedings of the 38th International Conference on Software Engineering, 2016

2015

Commutativity of Reducers.

Yu-Fang Chen, Chih-Duo Hong, Nishant Sinha, Bow-Yaw Wang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Responsive designs in a snap.

Nishant Sinha, Rezwana Karim

Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering, 2015

Simplifying Web Programming.

Nishant Sinha, Rezwana Karim, Monika Gupta

Proceedings of the 8th India Software Engineering Conference, 2015

2014

What Gives? A Hybrid Algorithm for Error Trace Explanation.

Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, Satish Chandra

Proceedings of the Verified Software: Theories, Tools and Experiments, 2014

Efficient verification of periodic programs using sequential consistency and snapshots.

Sagar Chaki, Arie Gurfinkel, Nishant Sinha

Proceedings of the Formal Methods in Computer-Aided Design, 2014

2013

Compiling mockups to flexible UIs.

Nishant Sinha, Rezwana Karim

Proceedings of the Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, 2013

Guided test generation for web applications.

Suresh Thummalapenta, K. Vasanta Lakshmi, Saurabh Sinha, Nishant Sinha, Satish Chandra

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

Object Model Construction for Inheritance in C++ and Its Applications to Program Analysis.

Jing Yang, Gogul Balakrishnan, Naoto Maeda, Franjo Ivancic, Aarti Gupta, Nishant Sinha, Sriram Sankaranarayanan, Naveen Sharma

Proceedings of the Compiler Construction - 21st International Conference, 2012

Alternate and Learn: Finding Witnesses without Looking All over.

Nishant Sinha, Nimit Singhania, Satish Chandra, Manu Sridharan

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

On interference abstractions.

Nishant Sinha, Chao Wang

Proceedings of the 38th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2011

2010

Staged concurrent program analysis.

Nishant Sinha, Chao Wang

Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010

Modular bug detection with inertial refinement.

Nishant Sinha

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

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, Nishant Sinha, Chao Wang

Proceedings of 10th International Conference on Formal Methods in Computer-Aided Design, 2010

2009

Static data race detection for concurrent programs with asynchronous calls.

Vineet Kahlon, Nishant Sinha, Erik Kruus, Yun Zhang

Proceedings of the 7th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2009

2008

Verification of evolving software via component substitutability analysis.

Sagar Chaki, Edmund M. Clarke, Natasha Sharygina, Nishant Sinha

Formal Methods Syst. Des., 2008

Symbolic Program Analysis Using Term Rewriting and Generalization.

Nishant Sinha

Proceedings of the Formal Methods in Computer-Aided Design, 2008

2007

SAT-Based Compositional Verification Using Lazy Learning.

Nishant Sinha, Edmund M. Clarke

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Assume-Guarantee Reasoning for Deadlock.

Sagar Chaki, Nishant Sinha

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006

Symbolic Model Checking of Concurrent Programs Using Partial Orders and On-the-Fly Transactions.

Vineet Kahlon, Aarti Gupta, Nishant Sinha

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

Concurrent software verification with states, events, and deadlocks.

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Formal Aspects Comput., 2005

Grand Challenge: Model Check Software.

Edmund M. Clarke, Himanshu Jain, Nishant Sinha

Proceedings of the Verification of Infinite-State Systems with Applications to Security, 2005

Program Compatibility Approaches.

Edmund M. Clarke, Natasha Sharygina, Nishant Sinha

Proceedings of the Formal Methods for Components and Objects, 4th International Symposium, 2005

Dynamic Component Substitutability Analysis.

Natasha Sharygina, Sagar Chaki, Edmund M. Clarke, Nishant Sinha

Proceedings of the FM 2005: Formal Methods, 2005

Automated Assume-Guarantee Reasoning for Simulation Conformance.

Sagar Chaki, Edmund M. Clarke, Nishant Sinha, Prasanna Thati

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

State/Event-Based Software Model Checking.

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine, Natasha Sharygina, Nishant Sinha

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Range Allocation for Separation Logic.

Muralidhar Talupur, Nishant Sinha, Ofer Strichman, Amir Pnueli

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

2003

Symbolic Model Checking of Software.

Flavio Lerda, Nishant Sinha, Michael Theobald

Proceedings of the 2003 Workshop on Software Model Checking, 2003

2002

Synthesis of High Performance Low Power Dynamic CMOS Circuits.

Debasis Samanta, Nishant Sinha, Ajit Pal

Proceedings of the 7th Asia and South Pacific Design Automation Conference (ASP-DAC 2002), 2002