A randomized dynamic program analysis technique for detecting real deadlocks P Joshi, CS Park, K Sen, M Naik ACM Sigplan Notices 44 (6), 110-120, 2009 | 234 | 2009 |
Cloudseer: Workflow monitoring of cloud infrastructures via interleaved logs X Yu, P Joshi, J Xu, G Jin, H Zhang, G Jiang ACM SIGARCH Computer Architecture News 44 (2), 489-502, 2016 | 174 | 2016 |
Effect of dehydration on the nutritive value of drumstick leaves P Joshi, D Mehta Journal of metabolomics and systems biology 1 (1), 5-9, 2010 | 165 | 2010 |
Generic Application-Level Protocol Analyzer and its Language. N Borisov, D Brumley, HJ Wang, J Dunagan, P Joshi, C Guo NDSS, 2007 | 161 | 2007 |
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs P Joshi, M Naik, CS Park, K Sen Computer Aided Verification: 21st International Conference, CAV 2009 …, 2009 | 155 | 2009 |
{SAMC}: Semantic-aware model checking for fast discovery of deep bugs in cloud systems T Leesatapornwongsa, M Hao, P Joshi, JF Lukman, HS Gunawi 11th {USENIX} Symposium on Operating Systems Design and Implementation …, 2014 | 145 | 2014 |
PREFAIL: A programmable tool for multiple-failure injection P Joshi, HS Gunawi, K Sen Proceedings of the 2011 ACM international conference on Object oriented …, 2011 | 121 | 2011 |
FATE and DESTINI: A framework for cloud recovery testing HS Gunawi, T Do, P Joshi, P Alvaro, JM Hellerstein, AC Arpaci-Dusseau, ... Proceedings of the 8th USENIX conference on Networked Systems Design and …, 2011 | 115 | 2011 |
An effective dynamic analysis for detecting generalized deadlocks P Joshi, M Naik, K Sen, D Gay Proceedings of the eighteenth ACM SIGSOFT international symposium on …, 2010 | 113 | 2010 |
Effect of germination and dehulling on the nutritive value of soybean P Joshi, K Varma Nutrition & Food Science 46 (4), 595-603, 2016 | 40 | 2016 |
Predictive testing: amplifying the effectiveness of software testing P Joshi, K Sen, M Shlimovich Proceedings of the the 6th joint meeting of the European software …, 2007 | 35 | 2007 |
Predictive typestate checking of multithreaded java programs P Joshi, K Sen 2008 23rd IEEE/ACM International Conference on Automated Software …, 2008 | 33 | 2008 |
SETSUDō: Perturbation-based testing framework for scalable distributed systems P Joshi, M Ganai, G Balakrishnan, A Gupta, N Papakonstantinou Proceedings of the First ACM SIGOPS Conference on Timely Results in …, 2013 | 29 | 2013 |
Bingo! Externally supported performance intervention for deficient visual search in normal aging, Parkinson's disease, and Alzheimer's disease TM Laudate, S Neargarder, TE Dunne, KD Sullivan, P Joshi, GC Gilmore, ... Aging, Neuropsychology, and Cognition 19 (1-2), 102-121, 2012 | 29 | 2012 |
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems M Ganai, G Balakrishnan, P Joshi, A Gupta US Patent App. 14/217,566, 2015 | 21 | 2015 |
Preparation of value added products from the leaf powders of dehydrated less utilized green leafy vegetables P Joshi, B Mathur Journal of horticulture and forestry 2 (9), 223-228, 2010 | 21 | 2010 |
Medication-assisted treatment for opioid use disorder in older adults: an emerging role for the geriatric psychiatrist P Joshi, NK Shah, HD Kirane The American Journal of Geriatric Psychiatry 27 (4), 455-457, 2019 | 18 | 2019 |
Reprolite: A lightweight tool to quickly reproduce hard system bugs K Li, P Joshi, A Gupta, MK Ganai Proceedings of the ACM symposium on cloud computing, 1-13, 2014 | 18 | 2014 |
Design and analysis of a robust and efficient block cipher using cellular automata P JoshI, D Mukhopadhyay, D RoyChowdhury 20th International Conference on Advanced Information Networking and …, 2006 | 16 | 2006 |
Modified attitudes to psychiatry scale created using principal-components analysis R Shankar, R Laugharne, C Pritchard, P Joshi, R Dhar Academic Psychiatry 35, 360-364, 2011 | 15 | 2011 |