What is keeping my phone awake?: characterizing and detecting no-sleep energy bugs in smartphone apps
暂无分享,去创建一个
Samuel P. Midkiff | Y. Charlie Hu | Abhilash Jindal | Abhinav Pathak | Y. C. Hu | S. Midkiff | Abhinav Pathak | Y. C. Hu | Abhilash Jindal | Y. C. Hu
[1] Yuanyuan Zhou,et al. Learning from mistakes: a comprehensive study on real world concurrency bug characteristics , 2008, ASPLOS.
[2] Amin Vahdat,et al. ECOSystem: managing energy as a first class operating system resource , 2002, ASPLOS X.
[3] D UllmanJeffrey,et al. Global Data Flow Analysis and Iterative Algorithms , 1976 .
[4] Paramvir Bahl,et al. Fine-grained power modeling for smartphones using system call tracing , 2011, EuroSys '11.
[5] Ming Zhang,et al. Bootstrapping energy debugging on smartphones: a first look at energy bugs in mobile devices , 2011, HotNets-X.
[6] Ratul Mahajan,et al. There’s an app for that, but it doesn’t work. Diagnosing Mobile Applications in the Wild , 2010 .
[7] Dirk Grunwald,et al. Data flow equations for explicitly parallel programs , 1993, PPOPP '93.
[8] Yannis Smaragdakis,et al. Exception analysis and points-to analysis: better together , 2009, ISSTA.
[9] Laurie J. Hendren,et al. A Comprehensive Approach to Array Bounds Check Elimination for Java , 2002, CC.
[10] David A. Padua,et al. Basic compiler algorithms for parallel programs , 1999, PPoPP '99.
[11] Eugene W. Myers,et al. A precise inter-procedural data flow algorithm , 1981, POPL '81.
[12] Alfred V. Aho,et al. Compilers: Principles, Techniques, and Tools , 1986, Addison-Wesley series in computer science / World student series edition.
[13] Jeffrey D. Ullman,et al. Global Data Flow Analysis and Iterative Algorithms , 1976, J. ACM.
[14] Vivek Sarkar,et al. ABCD: eliminating array bounds checks on demand , 2000, PLDI '00.
[15] Dawson R. Engler,et al. RacerX: effective, static detection of race conditions and deadlocks , 2003, SOSP '03.
[16] Paramvir Bahl,et al. Diagnosing mobile applications in the wild , 2010, Hotnets-IX.
[17] Lei Yang,et al. Accurate online power estimation and automatic battery behavior based power model generation for smartphones , 2010, 2010 IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS).
[18] Gokhan Memik,et al. Into the wild: Studying real user activity patterns to guide power optimizations for mobile architectures , 2009, 2009 42nd Annual IEEE/ACM International Symposium on Microarchitecture (MICRO).
[19] Xiao Ma,et al. MUVI: automatically inferring multi-variable access correlations and detecting related semantic and concurrency bugs , 2007, SOSP.
[20] Xiao Ma,et al. An empirical study on configuration errors in commercial and open source systems , 2011, SOSP.