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.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2016
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

2014
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

2013
SETSUDŌ: perturbation-based testing framework for scalable distributed systems.
Proceedings of the First ACM SIGOPS Conference on Timely Results in Operating Systems, 2013

2012
Predictive and Programmable Testing of Concurrent and Cloud Systems.
PhD thesis, 2012

2011
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

2010
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

2009
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

2008
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

2007
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

2005
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata.
IACR Cryptology ePrint Archive, 2005


  Loading...