{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:40:05Z","timestamp":1746358805940,"version":"3.40.4"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319118628"},{"type":"electronic","value":"9783319118635"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-11863-5_6","type":"book-chapter","created":{"date-parts":[[2014,8,28]],"date-time":"2014-08-28T04:43:41Z","timestamp":1409201021000},"page":"77-91","source":"Crossref","is-referenced-by-count":13,"title":["Detecting Anomalous Energy Consumption in Android Applications"],"prefix":"10.1007","author":[{"given":"Marco","family":"Couto","sequence":"first","affiliation":[]},{"given":"Tiago","family":"Car\u00e7\u00e3o","sequence":"additional","affiliation":[]},{"given":"J\u00e1come","family":"Cunha","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o Paulo","family":"Fernandes","sequence":"additional","affiliation":[]},{"given":"Jo\u00e3o","family":"Saraiva","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"6_CR1","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1145\/243439.243447","volume":"28","author":"N.D. Jones","year":"1996","unstructured":"Jones, N.D.: An introduction to partial evaluation. ACM Comput. Surv.\u00a028(3), 480\u2013503 (1996)","journal-title":"ACM Comput. Surv."},{"issue":"6","key":"6_CR2","doi-asserted-by":"publisher","first-page":"990","DOI":"10.1145\/1186632.1186634","volume":"28","author":"U.A. Acar","year":"2006","unstructured":"Acar, U.A., Blelloch, G.E., Harper, R.: Adaptive functional programming. ACM Trans. Program. Lang. Syst.\u00a028(6), 990\u20131034 (2006)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Krall, A.: Efficient javavm just-in-time compilation. In: International Conference on Parallel Architectures and Compilation Techniques, pp. 205\u2013212 (1998)","DOI":"10.1109\/PACT.1998.727250"},{"key":"6_CR4","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0304-3975(90)90147-A","volume":"73","author":"P. Wadler","year":"1990","unstructured":"Wadler, P.: Deforestation: transforming programs to eliminate trees. Theoretical Computer Science\u00a073, 231\u2013248 (1990)","journal-title":"Theoretical Computer Science"},{"key":"6_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-49051-7_1","volume-title":"Compiler Construction","author":"J. Saraiva","year":"1999","unstructured":"Saraiva, J., Swierstra, D.: Data Structure Free Compilation. In: J\u00e4hnichen, S. (ed.) CC 1999. LNCS, vol.\u00a01575, pp. 1\u201317. Springer, Heidelberg (1999)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Fernandes, J.P., Saraiva, J., Seidel, D., Voigtl\u00e4nder, J.: Strictification of circular programs. In: Proceedings of the 20th ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2011, pp. 131\u2013140. ACM (2011)","DOI":"10.1145\/1929501.1929526"},{"key":"6_CR7","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/2597073.2597110","volume-title":"Proceedings of the 11th Working Conference on Mining Software Repositories, MSR 2014","author":"G. Pinto","year":"2014","unstructured":"Pinto, G., Castor, F., Liu, Y.D.: Mining questions about software energy consumption. In: Proceedings of the 11th Working Conference on Mining Software Repositories, MSR 2014, pp. 22\u201331. ACM, New York (2014)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Car\u00e7\u00e3o, T.: Measuring and visualizing energy consumption within software code. In: Proceedings of the 2014 IEEE Symposium on Visual Languages and Human-Centric Computing, VL\/HCC. IEEE (to appear, 2014)","DOI":"10.1109\/VLHCC.2014.6883045"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Zhang, L., Tiwana, B., Qian, Z., Wang, Z., Dick, R.P., Mao, Z.M., Yang, L.: Accurate Online Power Estimation and Automatic Battery Behavior Based Power Model Generation for Smartphones. In: Proc. Int. Conf. Hardware\/Software Codesign and System Synthesis (October 2010)","DOI":"10.1145\/1878961.1878982"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Dong, M., Zhong, L.: Self-Constructive High-Rate System Energy Modeling for Battery-Powered Mobile Systems. In: Proceedings of the 9th International Conference on Mobile Systems, Applications, and Services, MobiSys 2011 (2011)","DOI":"10.1145\/1999995.2000027"},{"key":"6_CR11","unstructured":"Kjaergaard, M.B., Blunck, H.: Unsupervised Power Profiling for Mobile Devices. In: 8th International ICST Conference, Copenhagen, Denmark (December 2011)"},{"key":"6_CR12","unstructured":"Yoon, C., Kim, D., Jung, W., Kang, C., Cha, H.: AppScope: Application Energy Metering Framework for Android Smartphones using Kernel Activity Monitoring. In: USENIX Annual Technical Conference (USENIX ATC 2012) (June 2012)"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Jung, W., Kang, C., Yoon, C., Kim, D., Cha, H.: DevScope: A Nonintrusive and Online Power Analysis Tool for Smartphone Hardware Components. In: International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS 2012) (October 2012)","DOI":"10.1145\/2380445.2380502"},{"key":"6_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"159","DOI":"10.1007\/3-540-61628-4_6","volume-title":"Advanced Functional Programming","author":"C. Runciman","year":"1996","unstructured":"Runciman, C., R\u00f6jemo, N.: Heap Profiling for Space Efficiency. In: Launchbury, J., Sheard, T., Meijer, E. (eds.) AFP 1996. LNCS, vol.\u00a01129, pp. 159\u2013183. Springer, Heidelberg (1996)"},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Machado, P., Campos, J., Abreu, R.: MZoltar: Automatic Debugging of Android Applications. In: First International Workshop on Software Development Lifecycle for Mobile (DeMobile), Co-located with European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (ESEC\/FSE), Saint Petersburg, Russia (2013)","DOI":"10.1145\/2501553.2501556"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Jung, W., Kim, K., Cha, H.: UserScope: A Fine-grained Framework for Collecting Energy-related Smartphone User Contexts. In: IEEE International Conference on Parallel and Distributed Systems (ICPADS 2013) (December 2013)","DOI":"10.1109\/ICPADS.2013.33"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Kim, D., Jung, W., Cha, H.: Runtime Power Estimation of Mobile AMOLED Displays. In: Design, Automation & Test Europe (DATE 2013) (March 2013)","DOI":"10.7873\/DATE.2013.027"},{"key":"6_CR18","unstructured":"Carroll, A., Heiser, G.: An Analysis of Power Consumption in a Smartphone. In: USENIXATC 2010 Proceedings of the 2010 USENIX Conference on USENIX Annual Technical Conference (2010)"},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Zhang, L., Gordon, M.S., Dick, R.P., Mao, Z.M., Dinda, P., Yang, L.: ADEL: An Automatic Detector of Energy Leaks for Smartphone Applications. In: IEEE\/ACM\/IFIP International Conference on Hardware\/Software Codesign and System Synthesis (2012)","DOI":"10.1145\/2380445.2380503"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Ding, F., Xia, F., Zhang, W., Zhao, X., Ma, C.: Monitoring Energy Consumption of Smartphones. In: Internet of Things (iThings\/CPSCom), 2011 International Conference on and 4th International Conference on Cyber, Physical and Social Computing (October 2012)","DOI":"10.1109\/iThings\/CPSCom.2011.122"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Corral, L., Georgiev, A.B., Sillitti, A., Succi, G.: Method Reallocation to Reduce Energy Consumption: An implementation in Android OS. In: Symposium on Applied Computing 2014 (2014)","DOI":"10.1145\/2554850.2555064"},{"key":"6_CR22","doi-asserted-by":"crossref","unstructured":"Noureddine, A., Rouvoy, R., Seinturier, L.: Unit Testing of Energy Consumption of Software Libraries. In: Symposium on Applied Computing 2014 (2014)","DOI":"10.1145\/2554850.2554932"}],"container-title":["Lecture Notes in Computer Science","Programming Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-11863-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T11:09:48Z","timestamp":1746356988000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-11863-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319118628","9783319118635"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-11863-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}