Pallavi Joshi

According to our database1, Pallavi Joshi authored at least 19 papers between 2005 and 2016.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.



In proceedings 
PhD thesis 




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.
JCP, 2008

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