Grad

• An Extensible Active Testing Framework for Concurrent Programs (Tools paper)
  Pallavi Joshi, Mayur Naik, Chang-Seo Park and Koushik Sen, CAV'09
  PDF
• A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
  Pallavi Joshi, Chang-Seo Park, Koushik Sen and Mayur Naik, PLDI'09
  PDF
• Predictive Typestate Checking of Multithreaded Java Programs
  Pallavi Joshi and Koushik Sen, ASE'08
  PDF
• Predictive Testing: Amplifying the Effectiveness of Software Testing (Short paper)
  Pallavi Joshi, Koushik Sen and Mark Shlimovich, ESEC/FSE'07
  Full Technical Report

Undergrad

• A Generic Application-Level Protocol Analyzer and its Language PDF
  Nikita Borisov, David J. Brumley, Helen J. Wang, John Dunagan, Pallavi Joshi and Chuanxiong Guo
  The 14th Annual Network and Distributed System Security Symposium (NDSS) 2007
• Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata PDF
  Pallavi Joshi, D.Mukhopadhyay and D.RoyChowdhury
  20th International Conference on Advanced Information Networking and Applications,
  Vienna, Austria, April 2006
• An Efficient Design of Cellular Automata based Cryptographically Robust One-Way Function
  D.Mukhopadhyay, Pallavi Joshi and D.RoyChowdhury
  20th International Conference on VLSI Design
  Bangalore, India, Jan 2007