Pallavi Maiya

According to our database, Pallavi Maiya authored at least 4 papers between 2014 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Efficient computation of happens-before relation for event-driven programs.

Pallavi Maiya, Aditya Kanade

Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis, Santa Barbara, CA, USA, July 10, 2017

2016

Partial Order Reduction for Event-Driven Multi-threaded Programs.

Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

2015

A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.

Pallavi Maiya, Rahul Gupta, Aditya Kanade, Rupak Majumdar

CoRR, 2015

2014

Race detection for Android applications.

Pallavi Maiya, Aditya Kanade, Rupak Majumdar

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, 2014