 | 2009 |
| 9 |  | Pallavi Joshi,
Mayur Naik,
Chang-Seo Park,
Koushik Sen:
CalFuzzer: An Extensible Active Testing Framework for Concurrent Programs.
CAV 2009: 675-681 |
| 8 |  | Pallavi Joshi,
Chang-Seo Park,
Koushik Sen,
Mayur Naik:
A randomized dynamic program analysis technique for detecting real deadlocks.
PLDI 2009: 110-120 |
| 2008 |
| 7 |  | Pallavi Joshi,
Koushik Sen:
Predictive Typestate Checking of Multithreaded Java Programs.
ASE 2008: 288-296 |
| 6 |  | Debdeep Mukhopadhyay,
Pallavi Joshi,
Dipanwita Roy Chowdhury:
VLSI Architecture of a Cellular Automata based One-Way Function.
JCP 3(5): 46-53 (2008) |
| 2007 |
| 5 |  | Pallavi Joshi,
Koushik Sen,
Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing.
ESEC/SIGSOFT FSE 2007: 561-564 |
| 4 |  | Pallavi Joshi,
Koushik Sen,
Mark Shlimovich:
Predictive testing: amplifying the effectiveness of software testing.
ESEC/SIGSOFT FSE (Companion) 2007: 561-564 |
| 3 |  | Nikita Borisov,
David Brumley,
Helen J. Wang,
John Dunagan,
Pallavi Joshi,
Chuanxiong Guo:
Generic Application-Level Protocol Analyzer and its Language.
NDSS 2007 |
| 2 |  | Debdeep Mukhopadhyay,
Pallavi Joshi,
Dipanwita Roy Chowdhury:
An Efficient Design of Cellular Automata Based Cryptographically Robust One-Way Function.
VLSI Design 2007: 842-853 |
| 2006 |
| 1 |  | Pallavi Joshi,
Debdeep Mukhopadhyay,
Dipanwita Roy Chowdhury:
Design and Analysis of a Robust and Efficient Block Cipher using Cellular Automata.
AINA (2) 2006: 67-71 |