Race detection for android applications

Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Volumn , Issue , 2014, Pages 316-325

  Maiya, Pallavi ^a   Kanade, Aditya ^a   Majumdar, Rupak ^b  

^a INDIAN INSTITUTE OF SCIENCE   (India)

^b MAX PLANCK INSTITUTE FOR SOFTWARE SYSTEMS   (Germany)

Author keywords

Android concurrency semantics; Data races; Happensbefore reasoning

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; SOCIAL NETWORKING (ONLINE);

ANDROID APPLICATIONS; CONCURRENCY MODELING; CONCURRENCY SEMANTICS; DATA RACES; HAPPENS-BEFORE; MULTI-THREADED PROGRAMS; PROGRAMMING ENVIRONMENT; RUNTIME ENVIRONMENTS;

ANDROID (OPERATING SYSTEM);

EID: 84901640303     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2594291.2594311     Document Type: Conference Paper

References (30)

1. J. Alves-Foss, editor. Formal Syntax and Semantics of Java, volume 1523 of LNCS, 1999.
2. D. Amalfitano, A. R. Fasolino, P. Tramontana, S. D. Carmine, and A. M. Memon. Using GUI ripping for automated testing of Android applications. In ASE, pages 258-261, 2012. http://developer.android.com/tools/help/monkey.html.
3. A. Desai, V. Gupta, E. Jackson, S. Qadeer, S. Rajamani, and D. Zufferey. P: safe asynchronous event-driven programming. In PLDI, pages 321-332. ACM, 2013.
4. A. Dunkels, B. Gronvall, and T. Voigt. Contiki - A lightweight and flexible operating system for tiny networked sensors. In LCN, pages 455-462, 2004.
5. D. Engler and K. Ashcraft. RacerX: Effective, static detection of race conditions and deadlocks. In SOSP, pages 237-252, 2003.
6. C. Flanagan and S. N. Freund. Type-based race detection for Java. In PLDI, pages 219-232, 2000.
7. C. Flanagan and S. N. Freund. FastTrack: Efficient and precise dynamic race detection. In PLDI, pages 121-133, 2009.
8. P. Ganty and R. Majumdar. Algorithmic verification of asynchronous programs. TOPLAS, 34(1):6:1-6:48, 2012.
9. J. Ide, R. Bodik, and D. Kimelman. Concurrency concerns in rich internet applications. In EC(2), CAV Workshop, 2009.
10. A. Igarashi, B. C. Pierce, and P.Wadler. Featherweight Java: A minimal core calculus for Java and GJ. TOPLAS, pages 396-450, 2001.
11. A. Itzkovitz, A. Schuster, and O. Zeev-Ben-Mordehai. Toward integration of data race detection in DSM systems. J. Parallel Distrib. Comput., pages 180-203, 1999.
12. H. Jula, T. Rensch, and G. Candea. Platform-wide deadlock immunity for mobile phones. In DSN-W, pages 205-210, 2011.
13. V. Kahlon, N. Sinha, E. Kruus, and Y. Zhang. Static data race detection for concurrent programs with asynchronous calls. In ESEC/FSE, pages 13-22, 2009.
14. K. Klues, C.M. Liang, J. Paek, R. Musaloiu-Elefteri, P. Levis, A. Terzis, and R. Govindan. TOSThreads: Thread-safe and non-invasive preemption in TinyOS. In SenSys, pages 127-140, 2009.
15. L. Lamport. Time, clocks, and the ordering of events in a distributed system. Commun. ACM, pages 558-565, 1978.
16. A. Machiry, R. Tahiliani, and M. Naik. Dynodroid: An input generation system for Android apps. In FSE, pages 224-234, 2013.
17. M. Naik, A. Aiken, and J. Whaley. Effective static race detection for Java. In PLDI, pages 308-319, 2006.
18. R. O'Callahan and J. Choi. Hybrid dynamic data race detection. In PPOPP, pages 167-178, 2003.
19. V. S. Pai, P. Druschel, and W. Zwaenepoel. Flash: An efficient and portable web server. In USENIX, pages 199-212, 1999.
20. B. Petrov, M. Vechev, M. Sridharan, and J. Dolby. Race detection for web applications. In PLDI, pages 251-262, 2012.
21. E. Pozniansky and A. Schuster. Efficient on-the-fly data race detection in multithreaded C++ programs. In PPOPP, pages 179-190, 2003.
22. E. Pozniansky and A. Schuster. MultiRace: Efficient on-the-fly data race detection in multithreaded C++ programs. Concurr. Comput. : Pract. Exper., pages 327-340, 2007.
23. P. Pratikakis, J. S. Foster, and M. Hicks. LOCKSMITH: Practical static race detection for C. TOPLAS, 33(1):3:1-3:55, 2011.
24. V. Raychev, M. Vechev, and M. Sridharan. Effective race detection for event-driven programs. In OOPSLA, pages 151-166, 2013.
25. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: A dynamic data race detector for multithreaded programs. TOCS, pages 391-411, 1997.
26. K. Veeraraghavan, P. M. Chen, J. Flinn, and S. Narayanasamy. Detecting and surviving data races using complementary schedules. In SOSP, pages 369-384, 2011.
27. J. W. Voung, R. Jhala, and S. Lerner. RELAY: Static race detection on millions of lines of code. In FSE, pages 205-214, 2007.
28. Y. Yu, T. Rodeheffer, and W. Chen. Racetrack: Efficient detection of data race conditions via adaptive tracking. In SOSP, pages 221-234, 2005.
29. S. Zhang, H. Lü, and M. D. Ernst. Finding errors in multithreaded GUI applications. In ISSTA, pages 243-253, 2012.
30. Y. Zheng, T. Bao, and X. Zhang. Statically locating web application bugs caused by asynchronous calls. In WWW, pages 805-814, 2011.