Pallavi Joshi
Pallavi Joshi
Software Engineer, Cloudera
Verified email at cloudera.com
Title
Cited by
Cited by
Year
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
2172009
Generic Application-Level Protocol Analyzer and its Language.
N Borisov, D Brumley, HJ Wang, J Dunagan, P Joshi, C Guo
NDSS, 2007
1562007
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
1422009
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
1232010
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
1212016
{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
1142014
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
1122011
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
1062010
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
1022011
Structural modular interconnectable subsoil drainage cell
ASG Lee
US Patent 6,736,569, 2004
502004
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
332008
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
322007
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
232013
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
192014
Effect of germination and dehulling on the nutritive value of soybean
P Joshi, K Varma
Nutrition & Food Science, 2016
182016
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
182010
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
152015
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
142011
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
142006
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
122017
The system can't perform the operation now. Try again later.
Articles 1–20