Nishant Sinha

Cited by

	All	Since 2019
Citations	1661	423
h-index	22	13
i10-index	36	14

120

20032004200520062007200820092010201120122013201420152016201720182019202020212022202320246 15 39 62 81 78 81 70 75 86 109 111 104 105 94 93 94 67 83 66 64 49

Public access

View all

2 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Edmund ClarkeUniversity Professor Emeritus at Carnegie Mellon UniversityVerified email at cs.cmu.edu
Natasha SharyginaProfessor of Computer Science, Universita della Svizzera Italiana (USI), Lugano, SwitzerlandVerified email at usi.ch
Chao WangUniversity of Southern CaliforniaVerified email at usc.edu
Vineet KahlonGoogle, New York.Verified email at nec-labs.com
Satish ChandraGoogleVerified email at acm.org
Aarti GuptaPrinceton UniversityVerified email at cs.princeton.edu
Joel OuaknineDirector, Max Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Suresh ThummalapentaMicrosoft Corporation, USAVerified email at microsoft.com
Saurabh SinhaIBM ResearchVerified email at us.ibm.com
Rezwana KarimSenior Research Engineer, Samsung ResearchVerified email at samsung.com
Krishnendu ChatterjeeProfessor, IST AustriaVerified email at ist.ac.at
Andreas PavlogiannisAssociate Professor, Aarhus UniversityVerified email at cs.au.dk
Franjo IvančićGoogle, Inc.Verified email at google.com
Gogul BalakrishnanGoogle IncVerified email at google.com
Yu-Fang ChenResearch Fellow/Professor, Academia SinicaVerified email at iis.sinica.edu.tw
Chih-Duo Hong (洪智鐸)National Chengchi University, TaiwanVerified email at nccu.edu.tw
Michael TheobaldD. E. Shaw Research Verified email at deshawresearch.com
Jing YangUniversity of VirginiaVerified email at virginia.edu
Manu SridharanProfessor, Computer Science and Engineering, University of California, RiversideVerified email at sridharan.net
James IversSoftware Engineering InstituteVerified email at sei.cmu.edu

Nishant Sinha

Founder, Chief Scientist, OffNote Labs

Verified email at in.ibm.com - Homepage

Deep Learning Cognitive Systems Distributed Computation Formal Methods


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
State/event-based software model checking S Chaki, EM Clarke, J Ouaknine, N Sharygina, N Sinha Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004	232	2004
Static data race detection for concurrent programs with asynchronous calls V Kahlon, N Sinha, E Kruus, Y Zhang Proceedings of the 7th joint meeting of the European software engineering …, 2009	117	2009
Automated assume-guarantee reasoning for simulation conformance S Chaki, E Clarke, N Sinha, P Thati Computer Aided Verification: 17th International Conference, CAV 2005 …, 2005	100	2005
Verification of evolving software via component substitutability analysis S Chaki, E Clarke, N Sharygina, N Sinha Formal Methods in System Design 32, 235-266, 2008	87	2008
Concurrent software verification with states, events, and deadlocks S Chaki, E Clarke, J Ouaknine, N Sharygina, N Sinha Formal Aspects of Computing 17 (4), 461-483, 2005	86	2005
Data-centric dynamic partial order reduction M Chalupa, K Chatterjee, A Pavlogiannis, N Sinha, K Vaidya Proceedings of the ACM on Programming Languages 2 (POPL), 1-30, 2017	80	2017
Staged concurrent program analysis N Sinha, C Wang Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010	75	2010
Guided test generation for web applications S Thummalapenta, KV Lakshmi, S Sinha, N Sinha, S Chandra 2013 35th International Conference on Software Engineering (ICSE), 162-171, 2013	71	2013
On interference abstractions N Sinha, C Wang Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of …, 2011	68	2011
Dynamic component substitutability analysis N Sharygina, S Chaki, E Clarke, N Sinha FM 2005: Formal Methods: International Symposium of Formal Methods Europe …, 2005	64	2005
Symbolic model checking of concurrent programs using partial orders and on-the-fly transactions V Kahlon, A Gupta, N Sinha Computer Aided Verification: 18th International Conference, CAV 2006 …, 2006	57	2006
A basis for composition language CL J Ivers, N Sinha, KC Wallnau Carnegie Mellon University, 2002	48	2002
Symbolic model checking of software F Lerda, N Sinha, M Theobald Electronic notes in theoretical computer science 89 (3), 480-498, 2003	43	2003
SAT-based compositional verification using lazy learning N Sinha, E Clarke International Conference on Computer Aided Verification, 39-54, 2007	42	2007
Static DOM event dependency analysis for testing web applications C Sung, M Kusano, N Sinha, C Wang Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016	37	2016
Range allocation for separation logic M Talupur, N Sinha, O Strichman, A Pnueli Computer Aided Verification: 16th International Conference, CAV 2004, Boston …, 2004	32	2004
Commutativity of reducers YF Chen, CD Hong, N Sinha, BY Wang International Conference on Tools and Algorithms for the Construction and …, 2015	26	2015
Alternate and learn: Finding witnesses without looking all over N Sinha, N Singhania, S Chandra, M Sridharan Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	26	2012
Type-aware concolic testing of JavaScript programs M Dhok, MK Ramanathan, N Sinha Proceedings of the 38th International Conference on Software Engineering …, 2016	25	2016
An executable sequential specification for Spark aggregation YF Chen, CD Hong, O Lengál, SC Mu, N Sinha, BY Wang Networked Systems: 5th International Conference, NETYS 2017, Marrakech …, 2017	24	2017

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors