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
10812015
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
392011
Runtime checking of serializability in software transactional memory
A Sinha, S Malik
2010 IEEE International Symposium on Parallel & Distributed Processing …, 2010
232010
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
222009
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
192008
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
142012
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
Food Security and Nutritional Status of Children in Maharashtra
S Unisa, A Chattopadhyay, P Fulpagare, A Sinha
IIPS Working Paper, 2016
82016
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
Reducing churn in knowledge graphs
C Huang, A Sinha
US Patent 10,540,345, 2020
52020
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
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
SYNTHESIS, CHARACTERIZATION AND BIOLOGICAL EVALUATION OF 1, 2, 4-TRIAZOLE AND 1, 3, 4-THIADIAZOLE DERIVATIVES BASED ON ISONIAZID SCAFFOLD FOR ANTITUBERCULAR ACTIVITY
AKG SINHA, TEJP GUPTA
2015
The system can't perform the operation now. Try again later.
Articles 1–20