Arnab Sinha
Arnab Sinha
Amazon, Microsoft Research, Princeton University, IIT Kharagpur
Verified email at
Cited by
Cited by
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
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
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
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
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
Predicting serializability violations: SMT-based search vs. DPOR-based search
A Sinha, S Malik, C Wang, A Gupta
Hardware and Software: Verification and Testing: 7th International Haifa …, 2012
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
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
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
Food Security and Nutritional Status of Children in Maharashtra
S Unisa, A Chattopadhyay, P Fulpagare, A Sinha
IIPS Working Paper, 2016
Using concurrency to check concurrency: Checking serializability in software transactional memory
A Sinha, S Malik
Parallel and Distributed Processing Symposium, 2010
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
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
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
Entity disambiguation using multisource learning
K Wang, A Sinha, Y Song
US Patent App. 14/713,152, 2016
Droplet-on-Demand Platform for Biochemical Screening & 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
Connectivity preserving voxel transformation
A Komuravelli, A Sinha, A Bishnu
Combinatorial Image Analysis: 12th International Workshop, IWCIA 2008 …, 2008
Connectivity preserving transformations for higher dimensional binary images
A Komuravelli, A Sinha, A Bishnu
Discrete applied mathematics 157 (16), 3372-3385, 2009
A New Approach for HMM Based Chunking for Hindi
A Tiwari, A Sinha, S Sarkar
Term Project on Speech and Natural Language Processing, 2005
Reducing churn in knowledge graphs
C Huang, A Sinha
US Patent 10,540,345, 2020
The system can't perform the operation now. Try again later.
Articles 1–20