Pallavi Joshi
Pallavi Joshi
Software Engineer, Cloudera
Verified email at cloudera.com
TitleCited byYear
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
1842009
Generic Application-Level Protocol Analyzer and its Language.
N Borisov, D Brumley, HJ Wang, J Dunagan, P Joshi, C Guo
NDSS, 2007
1502007
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs
P Joshi, M Naik, CS Park, K Sen
International Conference on Computer Aided Verification, 675-681, 2009
1172009
PREFAIL: A programmable tool for multiple-failure injection
P Joshi, HS Gunawi, K Sen
ACM SIGPLAN Notices 46 (10), 171-188, 2011
842011
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
842010
FATE and DESTINI: A framework for cloud recovery testing
HS Gunawi, T Do, P Joshi, P Alvaro, JM Hellerstein, AC Arpaci-Dusseau, ...
Proceedings of NSDI’11: 8th USENIX Symposium on Networked Systems Design and …, 2011
742011
{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
712014
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
632010
Cloudseer: Workflow monitoring of cloud infrastructures via interleaved logs
X Yu, P Joshi, J Xu, G Jin, H Zhang, G Jiang
ACM SIGPLAN Notices 51 (4), 489-502, 2016
412016
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
Proceedings of the 2008 23rd IEEE/ACM international conference on automated …, 2008
282008
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
282007
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
162014
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
142015
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
142013
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
132006
Modified attitudes to psychiatry scale created using principal-components analysis
R Shankar, R Laugharne, C Pritchard, P Joshi, R Dhar
Academic Psychiatry 35 (6), 360-364, 2011
112011
CloudSeer: using logs to detect errors in the cloud infrastructure
P Joshi, H Zhang, XU Jianwu, X Yu, G Jiang
US Patent 9,720,753, 2017
102017
Effect of germination and dehulling on the nutritive value of soybean
P Joshi, K Varma
Nutrition & Food Science 46 (4), 595-603, 2016
82016
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
82010
Prospective evaluation of terminal ileitis in a surveillance population of patients with ulcerative colitis
MJ Hamilton, FM Makrauer, K Golden, H Wang, S Friedman, RB Burakoff, ...
Inflammatory bowel diseases 22 (10), 2448-2455, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20