Pallavi Joshi

I am currently on the job market. Here are my application materials :

• Curriculum Vitae
• Research Statement
• Teaching Statement
• References
• Representative Publications
• An Effective Dynamic Analysis for Detecting Generalized Deadlocks
  Pallavi Joshi, Mayur Naik, Koushik Sen, and David Gay
  In 18th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'10)
  [PDF] [PPT]
• A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks
  Pallavi Joshi, Chang-Seo Park, Koushik Sen, and Mayur Naik
  In ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'09)
  [PDF] [PPT]
• PREFAIL: A Programmable Tool for Multiple-Failure Injection
  Pallavi Joshi, Haryadi S. Gunawi, and Koushik Sen
  To appear in 26th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'11)
  [PDF] [PPT]

Publications

Contact Info

Office:

584 ParLab

Soda Hall

Computer Science Division

Electrical Engineering and Computer Sciences

University of California, Berkeley

Berkeley, CA 94720-1776

Email:

pallavi at cs dot berkeley dot edu