CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs, Xiao Yu, Pallavi Joshi, Jianwu Xu, Guoliang Jin, Hui Zhang, Guofei Jiang, In International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2016


Environment-Sensitive Performance Tuning for Distributed Service Orchestration, Yu Lin, Franjo Ivancic, Pallavi Joshi, Gogul Balakrishnan, Malay K. Ganai, Aarti Gupta, In International Meeting on High Performance Computing for Computational Science (VECPAR), 2014
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems, Tanakorn Leesatapornwongsa, Mingzhe Hao, Pallavi Joshi, Jeffrey F. Lukman, Haryadi S. Gunawi, In USENIX Symposium on Operating Systems Design and Implementation (OSDI), 2014
ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs, Kaituo Li, Pallavi Joshi, Aarti Gupta, Malay K. Ganai, In ACM Symposium on Cloud Computing (SoCC), 2014


SETSUDŌ: Perturbation-based Testing Framework for Scalable Distributed Systems, Pallavi Joshi, Malay K. Ganai, Gogul Balakrishnan, Aarti Gupta, Nadia Papakonstantinou, In ACM SIGOPS Conference on Timely Results in Operating Systems (TRIOS @ SOSP), 2013


FATE and DESTINI: A Framework for Cloud Recovery Testing, Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, Dhruba Borthakur, In USENIX Symposium on Networked Systems Design and Implementation (NSDI), 2011
PREFAIL: A Programmable Tool for Multiple-Failure Injection, Pallavi Joshi, Haryadi S. Gunawi, Koushik Sen, In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA), 2011


An Effective Dynamic Analysis for Detecting Generalized Deadlocks, Pallavi Joshi, Mayur Naik, Koushik Sen, David Gay, In ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE), 2010
Towards Automatically Checking Thousands of Failures with Micro-specifications, Haryadi S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H. Arpaci-Dusseau, Koushik Sen, In Workshop on Hot Topics in System Dependability (HotDep), 2010


A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks, Pallavi Joshi, Chang-Seo Park, Koushik Sen, Mayur Naik, In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2009
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs, Pallavi Joshi, Mayur Naik, Chang-Seo Park, Koushik Sen, In International Conference on Computer Aided Verification (CAV), 2009 (Short paper)


Predictive Typestate Checking of Multithreaded Java Programs, Pallavi Joshi, Koushik Sen, In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE), 2008


Generic Application-Level Protocol Analyzer and its Language, Nikita Borisov, David Brumley, Helen J. Wang, John Dunagan, Pallavi Joshi, Chuanxiong Guo, In The Network and Distributed System Security Symposium (NDSS), 2007
Predictive testing: Amplifying the Effectiveness of Software Testing, Pallavi Joshi, Koushik Sen, Mark Shlimovich, In Joint 11th European Software Engineering Conference (ESEC) and 15th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), 2007 (Short paper)