Pallavi Joshi

发表

A randomized dynamic program analysis technique for detecting real deadlocks

Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, PLDI '09.

ReproLite: A Lightweight Tool to Quickly Reproduce Hard System Bugs

Pallavi Joshi, Aarti Gupta, Malay K. Ganai, 2014, SoCC.

Optimization of linear antenna array using geneticalgorithm for reduction in Side lobs levels and improvingdirectivity based on modulating parameter M

Pallavi Joshi, N. K. Jain, Rupesh Dubey, 2013 .

Predictive testing: amplifying the effectiveness of software testing

Koushik Sen, Pallavi Joshi, Mark Shlimovich, 2007, ESEC-FSE '07.

PREFAIL: a programmable tool for multiple-failure injection

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011, OOPSLA '11.

Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata

Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Pallavi Joshi, 2006, 20th International Conference on Advanced Information Networking and Applications - Volume 1 (AINA'06).

SAMC: Semantic-Aware Model Checking for Fast Discovery of Deep Bugs in Cloud Systems

Pallavi Joshi, Tanakorn Leesatapornwongsa, Jeffrey F. Lukman, 2014, OSDI.

Generic Application-Level Protocol Analyzer and its Language

Helen J. Wang, John Dunagan, David Brumley, 2007, NDSS.

Optimization of linear antenna array using genetic algorithm for reduction in side lobe levels and to improve directivity

Pallavi Joshi, N. K. Jain, 2013 .

Wireless Sensor Network for Surveillance using a Multichannel Multi-Radio Approach

Pallavi Joshi, Jaya Raut, 2012 .

Modelling and simulation of a polluted water pumping process

Pallavi Joshi, Roland Glowinski, Benjamin Ivorra, 2010, Math. Comput. Model..

PreFail: A Programmable Failure-Injection Framework

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .

VLSI Architecture of a Cellular Automata based One-Way Function

Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Pallavi Joshi, 2008, J. Comput..

Predictive and Programmable Testing of Concurrent and Cloud Systems

Pallavi Joshi, Pallavi Joshi, 2012 .

Predictive testing: amplifying the effectiveness of software testing

Koushik Sen, Pallavi Joshi, Mark Shlimovich, 2007, ESEC/SIGSOFT FSE.

PreFail: Programmable and Efficient Failure Testing Framework

Koushik Sen, Pallavi Joshi, Haryadi S. Gunawi, 2011 .

Efficient Lossy Image Compression using Vector Quantization (ELIC-VQ)

Pallavi Joshi, Vinayak Jagtap, Sudhakar Reddy, 2018 .

SETSUDŌ: perturbation-based testing framework for scalable distributed systems

Pallavi Joshi, Gogul Balakrishnan, Aarti Gupta, 2013, TRIOS@SOSP.

An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function

Debdeep Mukhopadhyay, Dipanwita Roy Chowdhury, Pallavi Joshi, 2007, 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07).

An effective dynamic analysis for detecting generalized deadlocks

David Gay, Koushik Sen, Pallavi Joshi, 2010, FSE '10.

Predictive Typestate Checking of Multithreaded Java Programs

Koushik Sen, Pallavi Joshi, Koushik Sen, 2008, 2008 23rd IEEE/ACM International Conference on Automated Software Engineering.

CloudSeer: Workflow Monitoring of Cloud Infrastructures via Interleaved Logs

Xiao Yu, Pallavi Joshi, Guofei Jiang, 2016, ASPLOS.

Environment-Sensitive Performance Tuning for Distributed Service Orchestration

Yu Lin, Pallavi Joshi, Gogul Balakrishnan, 2014, VECPAR.

CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs

Koushik Sen, Pallavi Joshi, Chang-Seo Park, 2009, CAV.