Race detection for Android applications. - Pallavi Maiya; Aditya Kanade 001; Rupak Majumdar (PLDI, 2014)

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs. - Pallavi Maiya; Rahul Gupta; Aditya Kanade 001; Rupak Majumdar (CoRR, 2015)

Partial Order Reduction for Event-Driven Multi-threaded Programs. - Pallavi Maiya; Rahul Gupta; Aditya Kanade 001; Rupak Majumdar (TACAS, 2016)

Efficient computation of happens-before relation for event-driven programs. - Pallavi Maiya; Aditya Kanade 001 (ISSTA, 2017)