C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Pallavi Maiya
Publication Activity (10 Years)
Years Active: 2014-2017
Publications (10 Years): 3
Top Topics
Multithreading
Petri Net
Efficient Computation
Partial Order Reduction
Top Venues
CoRR
PLDI
TACAS
ISSTA
</>
Publications
</>
Pallavi Maiya
,
Aditya Kanade
Efficient computation of happens-before relation for event-driven programs.
ISSTA
(2017)
Pallavi Maiya
,
Rahul Gupta
,
Aditya Kanade
,
Rupak Majumdar
Partial Order Reduction for Event-Driven Multi-threaded Programs.
TACAS
(2016)
Pallavi Maiya
,
Rahul Gupta
,
Aditya Kanade
,
Rupak Majumdar
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.
CoRR
(2015)
Pallavi Maiya
,
Aditya Kanade
,
Rupak Majumdar
Race detection for Android applications.
PLDI
(2014)