PALLAVI JOSHI - NEC Laboratories America
PALLAVI JOSHI - NEC Laboratories America
PALLAVI JOSHI - NEC Laboratories America
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
<strong>PALLAVI</strong> <strong>JOSHI</strong><br />
4 Independence Way #200<br />
Princeton, NJ 08540<br />
Phone: (609) 951-2647<br />
Email: pallavi@nec-labs.com<br />
www.nec-labs.com/∼pallavi/<br />
RESEARCH INTERESTS<br />
Software Engineering and Programming Languages<br />
My research interests lie in building algorithms and tools to effectively and efficiently test distributed<br />
and concurrent systems.<br />
EDUCATION<br />
Ph.D., Computer Science, Fall 2012<br />
University of California, Berkeley, CA, USA<br />
Advisor: Professor Koushik Sen<br />
Thesis: Predictive and Programmable Testing of Concurrent and Cloud Systems<br />
M.S., Computer Science, December 2008<br />
University of California, Berkeley, CA, USA<br />
Advisor: Professor Koushik Sen<br />
B.Tech., Computer Science and Engineering, July 2006<br />
Indian Institute of Technology, Kharagpur, India<br />
GPA: 9.77/10<br />
RESEARCH EXPERIENCE<br />
<strong>NEC</strong> <strong>Laboratories</strong> <strong>America</strong><br />
Research Staff Member<br />
Sept 2012 - Present.<br />
University of California<br />
Graduate Student Researcher for Professor Koushik Sen<br />
Fall 2006 - Summer 2012.<br />
Intel Labs<br />
Intern for Dr. Mayur Naik<br />
Summer 2009.<br />
Microsoft Research<br />
Intern for Dr. Ganesan Ramalingam<br />
Summer 2007.<br />
Microsoft Research<br />
Intern for Dr. John Dunagan and Dr. Helen Wang<br />
Summer 2005.<br />
Princeton, NJ<br />
Berkeley, CA<br />
Berkeley, CA<br />
Bangalore, India<br />
Redmond, WA<br />
PUBLICATIONS<br />
PREFAIL: A Programmable Tool for Multiple-Failure Injection, Pallavi Joshi, Haryadi S.<br />
Gunawi, and Koushik Sen, In 26th ACM SIGPLAN Conference on Object-Oriented Programming,<br />
Systems, Languages, and Applications (OOPSLA’11)<br />
PREFAIL: Programmable and Efficient Failure Testing Framework (Work-in-Progress Report),<br />
Pallavi Joshi, Haryadi S. Gunawi, and Koushik Sen, In 9th USENIX Conference on File and
Storage Technologies (FAST’11)<br />
FATE and DESTINI: A Framework for Cloud Recovery Testing, Haryadi S. Gunawi,<br />
Thanh Do, Pallavi Joshi, Peter Alvaro, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi<br />
H. Arpaci-Dusseau, Koushik Sen, and Dhruba Borthakur, In 8th USENIX Symposium on Networked<br />
Systems Design and Implementation (NSDI’11)<br />
Towards Automatically Checking Thousands of Failures with Micro-specifications, Haryadi<br />
S. Gunawi, Thanh Do, Pallavi Joshi, Joseph M. Hellerstein, Andrea C. Arpaci-Dusseau, Remzi H.<br />
Arpaci-Dusseau, and Koushik Sen, In 6th USENIX Workshop on Hop Topics in System Dependability<br />
(HotDep’10)<br />
An Effective Dynamic Analysis for Detecting Generalized Deadlocks, Pallavi Joshi, Mayur<br />
Naik, Koushik Sen, and David Gay, In 18th ACM SIGSOFT Symposium on the Foundations of<br />
Software Engineering (FSE’10)<br />
An Extensible Active Testing Framework for Concurrent Programs (Tools Paper), Pallavi<br />
Joshi, Mayur Naik, Chang-Seo Park, and Koushik Sen, In 21st International Conference on Computer<br />
Aided Verification (CAV’09)<br />
A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks,<br />
Pallavi Joshi, Chang-Seo Park, Koushik Sen, and Mayur Naik, In ACM SIGPLAN Conference on<br />
Programming Language Design and Implementation (PLDI’09)<br />
Predictive Typestate Checking of Multithreaded Java Programs, Pallavi Joshi and Koushik<br />
Sen, In 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE’08)<br />
Predictive Testing: Amplifying the Effectiveness of Software Testing (Short Paper),<br />
Pallavi Joshi, Koushik Sen, and Mark Shlimovich, In Fifteenth ACM SIGSOFT Symposium on<br />
the Foundations of Software Engineering (FSE’07)<br />
PRESENTATIONS<br />
“PREFAIL: A Programmable Tool for Multiple-Failure Injection”. OOPSLA 2011.<br />
“PREFAIL: Programmable and Efficient Failure Testing Framework”. FAST 2011. Short (5 minutes)<br />
talk.<br />
“An Effective Dynamic Analysis for Detecting Generalized Deadlocks”. FSE 2010.<br />
“A Randomized Dynamic Program Analysis Technique for Detecting Real Deadlocks”. PLDI 2009.<br />
“Predictive Typestate Checking of Multithreaded Java Programs”. ASE 2008.<br />
TEACHING AND MENTORING EXPERIENCE<br />
SERVICE<br />
Graduate Student Instructor for undergraduate-level Software Engineering (CS 169) course. I managed<br />
and mentored student project groups, designed homeworks and exams, held office hours, and<br />
took review lectures.<br />
Co-mentored undergrad Jungmin Yun. He parallelized the testing process of our failure-injection<br />
based tool (PREFAIL) on Amazon EC2.<br />
Reviewer for:
• OOPSLA 2007<br />
• ICST 2008, CAV 2008, ASE 2008, SPIN 2008, APLAS 2008<br />
• ICDCN 2009, ICST 2009, FASE 2009, ICDCS 2009, NFM 2009, SPIN 2009<br />
• ISPASS 2010, NFM 2010, OOPSLA 2010, PSTI 2010, RV 2010, SAVCBS 2010<br />
• ISSTA 2011, OOPSLA 2011<br />
• ACM Transactions on Software Engineering and Methodology (TOSEM)<br />
• ACM Transactions on Programming Languages and Systems (TOPLAS)<br />
• IEEE Transactions on Parallel and Distributed Systems (TPDS)<br />
Member of the Computer Science Graduate Admissions Committee, 2008<br />
AWARDS<br />
Sevin Rosen Funds Award for Innovation, EECS, UC Berkeley, 2011<br />
Best BTech Project Award in Computer Science and Engineering, 2006<br />
Rajiv Gandhi Science Talent Research Fellowship, 2003-04
Change language