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
10242015
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
382011
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
212010
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
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
Hardware and Software: Verification and Testing: 7th International Haifa …, 2012
132012
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
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
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
82007
Food Security and Nutritional Status of Children in Maharashtra
S Unisa, A Chattopadhyay, P Fulpagare, A Sinha
IIPS Working Paper, 2016
72016
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
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
4
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
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 & 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
Combinatorial Image Analysis: 12th International Workshop, IWCIA 2008 …, 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
Reducing churn in knowledge graphs
C Huang, A Sinha
US Patent 10,540,345, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20