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
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
Predictive typestate checking of multithreaded java programs
P Joshi, K Sen
2008 23rd IEEE/ACM International Conference on Automated Software …, 2008
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
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
Setsudo: Pertubation-based Testing Framework for Scalable Distributed Systems
M Ganai, G Balakrishnan, P Joshi, A Gupta
US Patent App. 14/217,566, 2015
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
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
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
Towards automatically checking thousands of failures with micro-specifications
HS Gunawi, T Do, P Joshi, JM Hellerstein, AC Arpaci-Dusseau, ...
Sixth Workshop on Hot Topics in System Dependability (HotDep 10), 2010
Prefail: A programmable failure-injection framework
P Joshi, HS Gunawi, K Sen
EECS Department, University of California, Berkeley, Tech. Rep. UCB/EECS-2011-30, 2011
VLSI Architecture of a Cellular Automata based One-Way Function.
D Mukhopadhyay, P Joshi, DR Chowdhury
J. Comput. 3 (5), 46-53, 2008
An efficient design of cellular automata based cryptographically robust one-way function
D Mukhopadhyay, P Joshi, D RoyChowdhury
20th International Conference on VLSI Design held jointly with 6th …, 2007
Prefail: Programmable and efficient failure testing framework
P Joshi, HS Gunawi, K Sen
University of California at Berkeley, Tech. Rep. UCB/EECS-2011-3, 2011
The system can't perform the operation now. Try again later.
Articles 1–20