메뉴 건너뛰기




Volumn , Issue , 2014, Pages 326-336

Race detection for event-driven mobile applications

Author keywords

Android; Causality model; Concurrency; Event driven; Mobile application; Race detection; Use free race

Indexed keywords

COMPUTER APPLICATIONS; COMPUTER PROGRAMMING LANGUAGES; DETECTORS; MOBILE COMPUTING; MOBILE DEVICES; PARALLEL ARCHITECTURES;

EID: 84901585342     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2594291.2594330     Document Type: Conference Paper
Times cited : (73)

References (25)
  • 4
    • 84901591670 scopus 로고    scopus 로고
    • F-Droid. https://f-droid.org.
    • F-Droid
  • 5
    • 84901591671 scopus 로고    scopus 로고
    • Twitter Finagle. https://github.com/twitter/finagle.
    • Twitter Finagle
  • 6
    • 84901591667 scopus 로고    scopus 로고
    • Libprocess. http://www.eecs.berkeley.edu/~benh/libprocess/.
    • Libprocess
  • 10
    • 21644474151 scopus 로고    scopus 로고
    • Racer X: Effective, static detection of race conditions and deadlocks
    • D. R. Engler and K. Ashcraft. RacerX: Effective, Static Detection of Race Conditions and Deadlocks. In SOSP, pages 237-252, 2003.
    • (2003) SOSP , pp. 237-252
    • Engler, D.R.1    Ashcraft, K.2
  • 11
    • 70450237676 scopus 로고    scopus 로고
    • Fast track: Efficient and precise dynamic race detection
    • C. Flanagan and S. N. Freund. Fast Track: Efficient and Precise Dynamic Race Detection. In PLDI, pages 121-133, 2009.
    • (2009) PLDI , pp. 121-133
    • Flanagan, C.1    Freund, S.N.2
  • 12
    • 84881174639 scopus 로고    scopus 로고
    • Non-race concurrency bug detection through order-sensitive critical sections
    • R. C. Huang, E. Halberg, and G. E. Suh. Non-race concurrency bug detection through order-sensitive critical sections. In ISCA, pages 655-666, 2013.
    • (2013) ISCA , pp. 655-666
    • Huang, R.C.1    Halberg, E.2    Suh, G.E.3
  • 13
    • 77955007638 scopus 로고    scopus 로고
    • Universal causality graphs: A precise happens-before model for detecting bugs in concurrent programs
    • V. Kahlon and C. Wang. Universal Causality Graphs: A Precise Happens-Before Model for Detecting Bugs in Concurrent Programs. In CAV, pages 434-449, 2010.
    • (2010) CAV , pp. 434-449
    • Kahlon, V.1    Wang, C.2
  • 14
    • 0018518477 scopus 로고
    • How to make a multiprocessor computer that correctly executes multi process programs
    • Sept, ISSN 0018-9340
    • L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. Computers, IEEE Transactions on, C-28(9):690-691, Sept 1979. ISSN 0018-9340. .
    • (1979) Computers, IEEE Transactions on , vol.C-28 , Issue.9 , pp. 690-691
    • Lamport, L.1
  • 15
    • 84974680784 scopus 로고
    • Optimal tracing and replay for debugging shared-memory parallel programs
    • R. H. B. Netzer. Optimal Tracing and Replay for Debugging Shared-Memory Parallel Programs. In Workshop on Parallel and Distributed Debugging, pages 1-11, 1993.
    • (1993) Workshop on Parallel and Distributed Debugging , pp. 1-11
    • Netzer, R.H.B.1
  • 16
    • 84855196405 scopus 로고    scopus 로고
    • Bootstrapping energy debugging on smartphones: A first look at energy bugs in mobile devices
    • A. Pathak, Y. C. Hu, and M. Zhang. Bootstrapping energy debugging on smartphones: A first look at energy bugs in mobile devices. In Hot Nets, page 5, 2011.
    • (2011) Hot Nets , pp. 5
    • Pathak, A.1    Hu, Y.C.2    Zhang, M.3
  • 17
    • 84864366834 scopus 로고    scopus 로고
    • What is keeping my phone awake?: Characterizing and detecting no-sleep energy bugs in smartphone apps
    • A. Pathak, A. Jindal, Y. C. Hu, and S. P. Midkiff. What is keeping my phone awake?: characterizing and detecting no-sleep energy bugs in smartphone apps. In Mobi Sys, pages 267-280, 2012.
    • (2012) Mobi Sys , pp. 267-280
    • Pathak, A.1    Jindal, A.2    Hu, Y.C.3    Midkiff, S.P.4
  • 18
  • 20
    • 84888195676 scopus 로고    scopus 로고
    • Effective race detection for event-driven programs
    • V. Raychev, M. T. Vechev, and M. Sridharan. Effective race detection for event-driven programs. In OOPSLA, pages 151-166, 2013.
    • (2013) OOPSLA , pp. 151-166
    • Raychev, V.1    Vechev, M.T.2    Sridharan, M.3
  • 21
    • 84857826104 scopus 로고    scopus 로고
    • Sound predictive race detection in polynomial time
    • Y. Smaragdakis, J. Evans, C. Sadowski, J. Yi, and C. Flanagan. Sound predictive race detection in polynomial time. In POPL, pages 387-400, 2012.
    • (2012) POPL , pp. 387-400
    • Smaragdakis, Y.1    Evans, J.2    Sadowski, C.3    Yi, J.4    Flanagan, C.5
  • 22
    • 37849039604 scopus 로고    scopus 로고
    • RELAY: Static race detection on millions of lines of code
    • J.W. Voung, R. Jhala, and S. Lerner. RELAY: Static Race Detection on Millions of Lines of Code. In ESEC/SIGSOFT FSE, pages 205-214, 2007.
    • (2007) ESEC/SIGSOFT FSE , pp. 205-214
    • Voung, J.W.1    Jhala, R.2    Lerner, S.3
  • 23
    • 84892644896 scopus 로고    scopus 로고
    • Panappticon: Event-based tracing to measure mobile application and platform performance
    • L. Zhang, D. R. Bild, R. P. Dick, Z. M. Mao, and P. A. Dinda. Panappticon: Event-based tracing to measure mobile application and platform performance. In CODES+ISSS, pages 1-10, 2013.
    • (2013) CODES+ISSS , pp. 1-10
    • Zhang, L.1    Bild, D.R.2    Dick, R.P.3    Mao, Z.M.4    Dinda, P.A.5
  • 25
    • 84876113775 scopus 로고    scopus 로고
    • Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach
    • W. Zhang, C. Sun, J. Lim, S. Lu, and T. W. Reps. Conmem: Detecting crash-triggering concurrency bugs through an effect-oriented approach. ACM Trans. Softw. Eng. Methodol., 22(2):10, 2013.
    • (2013) ACM Trans. Softw. Eng. Methodol. , vol.22 , Issue.2 , pp. 10
    • Zhang, W.1    Sun, C.2    Lim, J.3    Lu, S.4    Reps, T.W.5


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.