Embedded Files
I am Pallavi Maiya from Bangalore, India. In 2018 I graduated with a PhD in Computer Science from Indian Institute of Science. I was advised by Prof. Aditya Kanade. My thesis included work related to program analysis, automated testing and program verification. During PhD I worked towards developing dynamic concurrency analysis techniques and efficient model checking techniques for event-driven multi-threaded programs such as Android applications. This mainly involved developing novel data structures and algorithms, and proving their correctness to extend existing concurrency analysis techniques well-researched in the context of pure multi-threaded programs to a much more complex concurrency model which combines both the thread-based and event-based concurrency behaviours.
I'm maintaining this website primarily to provide access to my research papers and tools.
Here is my CV.
Email: hp<surname><dot><firstname>@gmail.com
Publications
Publications
Efficient Computation of Happens-Before Relation for Event-Driven Programs. PDF PPT Tool Supplementary-pdf
Pallavi Maiya and Aditya Kanade. ISSTA 2017 (Artifact evaluated)
Partial Order Reduction for Event-driven Multi-threaded Programs. PDF PPT Tool
Pallavi Maiya, Rahul Gupta, Aditya Kanade and Rupak Majumdar. TACAS 2016
The detailed algorithms, correctness proofs and optimizations related to the above work can be found in the following arxiv link:
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. (Last updated on arXiv in 2017)
Pallavi Maiya, Rahul Gupta, Aditya Kanade and Rupak Majumdar.
Race Detection for Android Applications. PDF PPT Tool
Pallavi Maiya, Aditya Kanade and Rupak Majumdar. PLDI 2014
PhD thesis - Data Structures and Algorithms to Analyze Concurrency in Android Applications. PDF (2018)
Software Tools
Software Tools
DroidRacer: A dynamic data race detection tool for Android applications. Apart from a race detection engine DroidRacer contains an automated Android app UI exploration engine which can generate UI event sequences as testcases to drive an app under test.
EM-Explorer: A proof-of-concept stateless model checker for Android application traces. This tool also includes implementation of partial order reduction algorithms such as EM-DPOR and DPOR, which enable efficient exploration of the state space by pruning redundant operation sequences.
EventTrack: This is a standalone happens-before relation computation tool for Android applications. This is an offline tool which takes an execution trace of an Android application output by DroidRacer as input and computes happens-before relation in the form of vector clock timestamps. This tool's artifacts have been evaluated by ISSTA 2017 AEC.
Teaching Assistance
Teaching Assistance
E0239: Software Reliability Techniques. Jan-Apr 2015 (@CSA, IISc)
E0223: Automated Verification. Jan-Apr 2013, 2014 (@CSA, IISc)
E0227: Program Analysis and Verification. Aug-Dec 2013 (@CSA, IISc)
Professional Activities
Professional Activities
Artifact Evaluation Committee OOPSLA 2015
Sub-reviewer at the Haifa Verification Conference (HVC) 2017.
Awards and Achievements
Awards and Achievements
Awarded Google India PhD Fellowship in Programming Languages and Compilers, 2014.
Education
Education
PhD in Computer Science from Indian Institute of Science, Bangalore (2018)
B.Tech in Information Technology from National Institute of Technology Karnataka, Surathkal (2011)
Page updated
Google Sites
Report abuse