Asynchrony-aware static analysis of Android applications.

Ashish Mishra, Aditya Kanade, Y. N. Srikant

Browse the full MEMOCODE paper archive.