Follow
Arnab Sinha
Arnab Sinha
Amazon, Microsoft Research, Princeton University, IIT Kharagpur
Verified email at amazon.com
Title
Cited by
Cited by
Year
An overview of Microsoft academic service (MAS) and applications
A Sinha, Z Shen, Y Song, H Ma, D Eide, BJP Hsu, K Wang
World Wide Web, 2015
7892015
Predictive analysis for detecting serializability violations through trace segmentation
A Sinha, S Malik, C Wang, A Gupta
Ninth ACM/IEEE International Conference on Formal Methods and Models for …, 2011
372011
Integrated verification approach during ADL-driven processor design
A Chattopadhyay, A Sinha, D Zhang, R Leupers, G Ascheid, H Meyr
Microelectronics journal 40 (7), 1111-1123, 2009
212009
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
192010
Accelerating assertion coverage with adaptive testbenches
B Pal, A Banerjee, A Sinha, P Dasgupta
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2008
172008
Predicting serializability violations: SMT-based search vs. DPOR-based search
A Sinha, S Malik, C Wang, A Gupta
Haifa Verification Conference, 95-114, 2011
122011
Design intent coverage revisited
A Sinha, P Dasgupta, B Pal, S Das, P Basu, PP Chakrabarti
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (1 …, 2009
92009
Stensor: A novel stochastic algorithm for placement of sensors in a rectangular grid
A Sinha, B Pal
paperpresentation competition “Eureka” in Kshitij, IIT Kharagpur, Available …, 2007
92007
Efficient predictive analysis for detecting nondeterminism in multi-threaded programs
A Sinha, S Malik, A Gupta
2012 Formal Methods in Computer-Aided Design (FMCAD), 6-15, 2012
82012
Food Security and Nutritional Status of Children in Maharashtra
S Unisa, A Chattopadhyay, P Fulpagare, A Sinha
52017
Reducing churn in knowledge graphs
C Huang, A Sinha
US Patent 10,540,345, 2020
42020
Using concurrency to check concurrency: Checking serializability in software transactional memory
A Sinha, S Malik
Parallel and Distributed Processing Symposium, 2010
42010
ADL-driven test pattern generation for functional verification of embedded processors
A Chattopadhyay, A Sinha, D Zhang, R Leupers, G Ascheid, H Meyr
12th IEEE European Test Symposium, 21-24, 2007
42007
Hardware accelerated constrained random test generation
B Pal, A Sinha, P Dasgupta, PP Chakrabarti, K De
IET Computers & Digital Techniques 1 (4), 423-433, 2007
32007
Bo-June (Paul) Hsu, and Kuansan Wang. 2015
A Sinha, Z Shen, Y Song, H Ma, D Eide
An overview of microsoft academic service (ma) and applications. WWW 15, 0
3
Entity disambiguation using multisource learning
K Wang, A Sinha, Y Song
US Patent App. 14/713,152, 2016
22016
Droplet-on-demand platform for biochemical screening and drug discovery
LD Van Vliet, F Gielen, A Sinha, BT Koprowski, JB Edel, X Niu, ...
18th International Conference on Miniaturized Systems for Chemistry and Life …, 2014
22014
Connectivity preserving voxel transformation
A Komuravelli, A Sinha, A Bishnu
International Workshop on Combinatorial Image Analysis, 1-12, 2008
22008
Connectivity preserving transformations for higher dimensional binary images
A Komuravelli, A Sinha, A Bishnu
Discrete applied mathematics 157 (16), 3372-3385, 2009
12009
A New Approach for HMM Based Chunking for Hindi
A Tiwari, A Sinha, S Sarkar
Term Project on Speech and Natural Language Processing, 2005
12005
The system can't perform the operation now. Try again later.
Articles 1–20