Segui
Pallavi Joshi
Pallavi Joshi
Software Engineer, Cloudera
Email verificata su cloudera.com
Titolo
Citata da
Citata da
Anno
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
2282009
Generic application-level protocol analyzer and its language.
N Borisov, D Brumley, HJ Wang, J Dunagan, P Joshi, C Guo
NDSS, 2007
1572007
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
1552016
Effect of dehydration on the nutritive value of drumstick leaves
J Pallavi, M Dipika
Journal of Metabolomics and Systems Biology 1 (1), 5-9, 2010
1532010
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
1492009
{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
1342014
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
1182011
{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
1092011
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
1092010
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
352007
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
332008
Effect of germination and dehulling on the nutritive value of soybean
P Joshi, K Varma
Nutrition & Food Science, 2016
322016
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
282013
Preparation of value added products from the leaf powders of dehydrated less utilized green leafy vegetables
J Pallavi, M Beena
Journal of horticulture and forestry 2 (9), 223-228, 2010
212010
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
182015
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
182014
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
162019
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
162011
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
162006
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20