Nishant Sinha

Static data race detection for concurrent programs with asynchronous calls

Vineet Kahlon, Nishant Sinha, Erik Kruus et al. · 2009 · 80 citations

Computing, Computer Engineering, Computer Science +17

Concurrent software verification with states, events, and deadlocks

Sagar Chaki, Edmund M. Clarke, Joël Ouaknine et al. · Formal Aspects of Computing · 2005 · 65 citations · Full text

Computing, Computer Engineering, Computer Science +11

Data-centric dynamic partial order reduction

Marek Chalupa, Krishnendu Chatterjee, Andreas Pavlogiannis et al. · Proceedings of the ACM on Programming Languages · 2017 · 57 citations · Full text

Computing, Computer Engineering, Computer Science +12

Staged concurrent program analysis

Nishant Sinha, Chao Wang · 2010 · 53 citations

Computing, Computer Engineering, Computer Science +17

On interference abstractions

Nishant Sinha, Chao Wang · ACM SIGPLAN Notices · 2011 · 47 citations

Computing, Computer Science, Computer Systems +17