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
2022009
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
1282009
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
1062011
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
1062010
{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
992014
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
942010
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
912011
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
832016
Structural modular interconnectable subsoil drainage cell
ASG Lee
US Patent 6,736,569, 2004
472004
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
312007
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
292008
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
192013
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
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
172014
Effect of germination and dehulling on the nutritive value of soybean
P Joshi, K Varma
Nutrition & Food Science, 2016
142016
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
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
132015
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
122011
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
92017
The system can't perform the operation now. Try again later.
Articles 1–20