Number of items: 4.
Maiya, Pallavi and Gupta, Rahul and Kanade, Aditya and Majumdar, Rupak
(2016)
Partial Order Reduction for Event-Driven Multi-threaded Programs.
Gavran, Ivan and Niksic, Filip and Kanade, Aditya and Majumdar, Rupak and Vafeiadis, Viktor
(2015)
Rely/Guarantee Reasoning for Asynchronous Programs.
Maiya, Pallavi and Gupta, Rahul and Kanade, Aditya and Majumdar, Rupak
(2015)
A Partial Order Reduction Technique for Event-driven Multi-threaded Programs.
CoRR, abs/15.
Maiya, Pallavi and Kanade, Aditya and Majumdar, Rupak
(2014)
Race Detection for Android Applications.
This list was generated on Sat Sep 7 10:46:47 2024 CEST.