According to our database1, Pallavi Joshi authored at least 19 papers between 2005 and 2016.
Legend:Book In proceedings Article PhD thesis Other
CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs.
Proceedings of the Twenty-First International Conference on Architectural Support for Programming Languages and Operating Systems, 2016
Environment-Sensitive Performance Tuning for Distributed Service Orchestration.
Proceedings of the High Performance Computing for Computational Science - VECPAR 2014 - 11th International Conference, Eugene, OR, USA, June 30, 2014
SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems.
Proceedings of the 11th USENIX Symposium on Operating Systems Design and Implementation, 2014
ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs.
Proceedings of the ACM Symposium on Cloud Computing, 2014
SETSUDŌ: perturbation-based testing framework for scalable distributed systems.
Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013
Predictive and Programmable Testing of Concurrent and Cloud Systems.
PhD thesis, 2012
PREFAIL: a programmable tool for multiple-failure injection.
Proceedings of the 26th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2011
FATE and DESTINI: A Framework for Cloud Recovery Testing.
Proceedings of the 8th USENIX Symposium on Networked Systems Design and Implementation, 2011
Modelling and simulation of a polluted water pumping process.
Math. Comput. Model., 2010
An effective dynamic analysis for detecting generalized deadlocks.
Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2010
Towards Automatically Checking Thousands of Failures with Micro-specifications.
Proceedings of the Sixth Workshop on Hot Topics in System Dependability, 2010
A randomized dynamic program analysis technique for detecting real deadlocks.
Proceedings of the 2009 ACM SIGPLAN Conference on Programming Language Design and Implementation, 2009
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
Proceedings of the Computer Aided Verification, 21st International Conference, 2009
VLSI Architecture of a Cellular Automata based One-Way Function.
Predictive Typestate Checking of Multithreaded Java Programs.
Proceedings of the 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), 2008
An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function.
Proceedings of the 20th International Conference on VLSI Design (VLSI Design 2007), 2007
Predictive testing: amplifying the effectiveness of software testing.
Proceedings of the 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2007
Generic Application-Level Protocol Analyzer and its Language.
Proceedings of the Network and Distributed System Security Symposium, 2007
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata.
IACR Cryptology ePrint Archive, 2005