Pallavi Joshi
Pallavi Joshi
Software Engineer, Cloudera
Verified email at
Cited by
Cited by
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
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
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
Generic Application-Level Protocol Analyzer and its Language.
N Borisov, D Brumley, HJ Wang, J Dunagan, P Joshi, C Guo
NDSS, 2007
{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 (OSDI …, 2014
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
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
{FATE} and {DESTINI}: A framework for cloud recovery testing
HS Gunawi, T Do, P Joshi, P Alvaro, JM Hellerstein, AC Arpaci-Dusseau, ...
8th USENIX Symposium on Networked Systems Design and Implementation (NSDI 11), 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
Effect of germination and dehulling on the nutritive value of soybean
P Joshi, K Varma
Nutrition & Food Science 46 (4), 595-603, 2016
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
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
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
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
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
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
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
Association between Acute Exposure to PM2.5 Chemical Species and Mortality in Megacity Delhi, India
P Joshi, S Dey, S Ghosh, S Jain, SK Sharma
Environmental Science & Technology 56 (11), 7275-7287, 2022
Evaluation and management of alcohol use disorder among older adults
P Joshi, KT Duong, LA Trevisan, KM Wilkins
Current geriatrics reports, 1-9, 2021
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
The system can't perform the operation now. Try again later.
Articles 1–20