Resource/Energy-Efficient Software

Software Development

• Green Mining: Investigating Power Consumption across Versions, Abram Hindle, ICSE NIER 2012. [Project Web]
• Green Mining: A Methodology of Relating Software Change to Power Consumption, Abram Hindle,MSR 2012. [Project Web]
• Detecting Energy Patterns in Software Development, Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, and Syed Emran, no. MSR-TR-2011-106, 16 November 2011
• Bootstrapping Energy Debugging on Smartphones: A First Look At Energy Bugs in Mobile Devices. Abhinav Pathak, Y. Charlie Hu, Ming Zhang. Hot Topics in Networks (Hotnets 2011)

Mobile App Energy

• Performance and power consumption characterization of 3D mobile games, Xiaohan Ma, Mian Dong, Lin Zhong, and Zhigang Deng, IEEE Computer 2012.
• What is keeping my phone awake? Characterizing and Detecting No-Sleep Energy Bugs in Smartphone Apps. Abhinav Pathak, Abhilash Jindal, Y. Charlie Hu, and Samuel P. Midkiff. MobiSys 2012.
• Detecting Energy Patterns in Software Development, Ashish Gupta, Thomas Zimmermann, Christian Bird, Nachiappan Nagappan, Thirumalesh Bhat, and Syed Emran, no. MSR-TR-2011-106, 16 November 2011
• Fine-grained power modeling for smartphones using system call tracing. Abhinav Pathak, Y. Charlie Hu, Ming Zhang, Paramvir Bahl, and Yi-Min Wang. EuroSys 2011.
• An analysis of power consumption in a smartphone. Aaron Carroll and Gernot Heiser. USENIXATC 2010.
• Anatomizing Application Performance Differences on Smartphones, Junxian Huang, Qiang Xu, Birjodh Tiwana, Z. Morley Mao, Ming Zhang, Paramvir Bahl, MobiSys 2010
• MAUI: Making Smartphones Last Longer with Code offload. Eduardo Cuervo, Aruna Balasubramanian, Dae-ki Cho, Alec Wolman, Stefan Saroiu, Ranveer Chandra, Paramvir Bahl. MobiSys 2010
• Energy Consumption in Mobile Phones: A Measurement Study and Implications for Network Applications. Niranjan Balasubramanian, Aruna Balasubramanian, Arun Venkataramani. IMC 2009.[pdf] [bibtex] [Technical Report] [Presentation]
• Detecting energy-greedy anomalies and mobile malware variants. Hahnsang Kim, Joshua Smith, and Kang G. Shin. MobiSys 2008.
• PowerScope: A Tool for Profiling the Energy Usage of Mobile Applications. Jason Flinn and M. Satyanarayanan. WMCSA 1999.

Energy-Consumption Reduction

• Reducing Energy Consumption in Programs using Cohesion Technique. Nattachart Ia-manee and Peraphon Sophatsathit. CSCT 2010.
• Security versus Energy Tradeoffs in Host-based Mobile Malware Detection. Jeffrey Bickford, H. Andres Lagar-Cavilla, Alexander Varshavsky, Vinod Ganapathy, and Liviu Iftode. MobiSys 2011.
• Model Discovery for Energy-Aware Computing Systems: An Experimental Evaluation. Zhichao Li, Radu Grosu, Koundinya Muppalla, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. ERSS 2011
• SPL Conqueror: Toward optimization of non-functional properties in software product lines. Norbert Siegmund, Marko Rosenmüller, Martin Kuhlemann, Christian Kästner, Sven Apel and Gunter Saake. Software Quality Journal 2011.
• On the Energy Consumption and Performance of Systems Software. Zhichao Li, Radu Grosu, Priya Sehgal, Scott A. Smolka, Scott D. Stoller, and Erez Zadok. SYSTOR 2011.
• Energy Efficient Data Sorting Using Standard Sorting Algorithms. Christian Bunse, Hagen Höpfner, Suman Roychoudhury and Essam Mansour. Software and Data Technologies 2011.
• Automating energy optimization with features. Norbert Siegmund, Marko Rosenm\&\#252;ller, and Sven Apel. FOSD 2010.
• Leveraging Performance and Power Savings for Embedded Systems using Multiple Target Deadlines. Edward Y. Y. Kan, W.K. Chan, and T.H. Tse. WESQA 2010.
• Context-Aware Usage Control for Android. Guangdong Bai, Liang Gu, Tao Feng, Yao Guo, Xiangqun Chen. SecureCOMM2010.
• Genetic Programming for Low-Resource Systems. PhD Thesis. University of York, 2010. David R. White.
• Searching for Resource-Efficient Programs: Low-Power Pseudorandom Number Generators. David R White, John Clark, Jeremy Jacob, Simon Poulding. GECCO 2008.
• Managing Energy-Performance Tradeoffs for Multi-threaded Applications. Soyeon Park, Weihang Jiang, Yuanyuan Zhou and Sarita Adve.SIGMETRICS 2007
• Energy-optimizing source code transformations for operating system-driven embedded software. Yunsi Fei, Srivaths Ravi, Anand Raghunathan, and Niraj K. Jha. TECS 2007.
• Iterative compilation for energy reduction. Stefan Valentin Gheorghita, Henk Corporaal, and Twan Basten. J. Embedded Comput. 2005.

Energy-Consumption Measurement/Estimation

• A System Context-Aware Approach for Battery Lifetime Prediction in Smart Phones. Xia Zhao, Yao Guo, Qing Feng, and Xiangqun Chen, ACM SAC 2011.
• PowerPack: Energy Profiling and Analysis of High-Performance Systems and Applications. Rong Ge, Xizhou Feng, Shuaiwen Song, Hung-Ching Chang, Dong Li, and Kirk W. Cameron. IEEE Trans. Parallel Distrib. 2010.
• Green tracker: a tool for estimating the energy consumption of software. Amsel, N. and Tomlinson, B. CHI EA 2010.
• Choosing the "best" sorting algorithm for optimal energy consumption. C. Bunse, H. Höpfner, S. Roychoudhury, and E. Mansour. ICSOFT 2009.
• User-Definable Resource Usage Bounds Analysis for Java Bytecode. Jorge Navas, Mario Méndez-Lojo, Manuel V. Hermenegildo. ENTCS 2009.
• Exploring the Energy Consumption of Data Sorting Algorithms in Embedded and Mobile Environments. Christian Bunse, Hagen Höpfner, Essam Mansour, Suman Roychoudhury. MDM 2009.
• The worst-case execution-time problem—overview of methods and survey of tools. Reinhard Wilhelm et al. TECS 2008.
• Source-Level Estimation of Energy Consumption and Execution Time of Embedded Software. Brandolese, C.; DSD 2008.
• Analysis and Inference of Resource Usage Information. Ph.D. Thesis, J. A. Navas. University of New Mexico (UNM) 2008.
• Automatic Test Generation on a (U)SIM Smart Card Céline Bigot, Alain Faivre, Christophe Gaston and Julien Simon. Smart Card Research and Advanced Applications 2006.
• Hybrid simulation for embedded software energy estimation. Anish Muttreja, Anand Raghunathan, Srivaths Ravi, and Niraj K. Jha. DAC 2005.
• Automated energy/performance macromodeling of embedded software. Anish Muttreja, Anand Raghunathan, Srivaths Ravi, and Niraj K. Jha. DAC 2004.
• Safe Upper-bounds Inference of Energy Consumption for Java Bytecode Applications. Jorge Navas, Mario M´endez-Lojo, Manuel V. Hermenegildo.
• Energy Metric for Software Systems. Alexander Chatzigeorgiou and George Stephanides. Software Quality Control 2002

Programming Languages/Compilers/Perforated Programs

• Gargoyle:Software & Hardware for Energy-Efficient Computing Project at MSR Runtime Analysis and Design Group at MSR
• EnerJ: Approximate Data Types for Safe and General Low-Power Computation. A. Sampson, W. Dietl, E. Fortuna, D. Gnanapragasam, L. Ceze, and D. Grossman. PLDI 2011.
• Green: a framework for supportingenergy-conscious programming using controlled approximation. W. Baek and T. M. Chilimbi. PLDI 2010.
• Dynamic Knobs for Responsive Power-Aware Computation. Henry Hoffman, Stelios Sidiroglou, Michael Carbin, Sasa Misailovic, Anant Agarwal, and Martin Rinard. ASPLOS 2011.
• Probabilistic Accuracy Bounds for Perforated Program A New Foundation for Program Analysis and Transformation (Invited Talk). Martin Rinard. PEPM 2011.
• Patterns and Statistical Analysis for Understanding Reduced Resource Computing. Martin Rinard, Henry Hoffman, Sasa Misailovic, and Stelios Sidiroglou. Onward! 2010
• Automatically Identifying Critical Input Regions and Code in Applications . Michael Carbin and Martin Rinard. ISSTA 2010.
• Quality of Service Profiling. Sasa Misailovic, Stelios Sidiroglou, Henry Hoffman, and Martin C. Rinard. ICSE 2010.

Software Architecture

• Toward sustainable software engineering: NIER track. Nadine Amsel, Zaid Ibrahim, Amir Malik, and Bill Tomlinson. ICSE 2011 NIER
• A Framework for Estimating the Energy Consumption Induced by a Distributed System's Architectural Style. Chiyoung Seo, George Edwards, Daniel Popescu, Sam Malek and Nenad Medvidovic. SAVCBS 2009.
• Component-Level Energy Consumption Estimation for Distributed Java-Based Software Systems. Chiyoung Seo, Sam Malek, and Nenad Medvidovic.. CBSE 2008.
• A Framework for Estimating the Impact of a Distributed Software System's Architectural Style on its Energy Consumption. Chiyoung Seo, George Edwards, Sam Malek, and Nenad Medvidovic. WICSA 2008.
• Estimating the Energy Consumption in Pervasive Java-Based Systems. Chiyoung Seo, Sam Malek, and Nenad Medvidovic. PerCom 2008.
• An Energy Consumption Framework for Distributed Java-Based Systems. Chiyoung Seo, Sam Malek, and Nenad Medvidovic.. ASE 2007
  • Energy-Awareness in Distributed Java-Based Software Systems. Chiyoung Seo. ASE 2006 Doc Sym

Mobile Security Testing and Analysis

Dealing Loops in Symbolic Execution or Using Symbolic Execution for Energy:

• Energy-Aware Programming Utilizing the SEEP Framework and Symbolic Execution. Timo Hönig, Christopher Eibel, Rüdiger Kapitza, andWolfgang Schröder-Preikschat. SOSP 11 poster.
• SEEP: Exploiting Symbolic Execution for Energy-Aware Programming. Hönig, Timo ; Eibel, Christopher ; Kapitza, Rüdiger ; Schröder-Preikschat, Wolfgang. ACM SIGOPS 2012: Best Papers from SOSP 2011 Workshops
• Symbolic Execution for Verification . J. Jaffar, J. A. Navas, A. E. Santosa. Unpublished (old) Draft 2011.
• Simplifying Loop Invariant Generation Using Splitter Predicates. Rahul Sharma, Isil Dillig, Thomas Dillig, and Alex Aiken. CAV 2011.
• Detecting and Escaping Infinite Loops with Jolt. Michael Carbin, Sasa Misailovic, Michael Kling, and Martin Rinard. ECOOP 2011.
• Automatic Partial Loop Summarization in Dynamic Test Generation. Patrice Godefroid Daniel Luchaup. ISSTA'2011
• Refining the Control Structure of Loops using Static Analysis, Gogul Balakrishnan, Sriram Sankaranarayanan, Franjo Ivancic and Aarti Gupta. EMSOFT 2009
• Inputs of Coma: Static Detection of Denial-of-Service Vulnerabilities , Richard M. Chang, Franjo Ivancic, Geoff Jiang, Sriram Sankaranarayanan and Vitaly Shmatikov. CSF 2009.
• Looper: Lightweight Detection of Infinite Loops at Runtime. Jacob Burnim, Nicholas Jalbert, Christos Stergiou, Koushik Sen. ASE 2009
• WISE: Automated Test Generation for Worst-Case Complexity Jacob Burnim, Sudeep Juvekar, Koushik Sen, ICSE 2009 [paper] [slides] [benchmarks]
• Loop-Extended Symbolic Execution on Binary Programs. Prateek Saxena, Pongsin Poosankam, Stephen McCamant, and Dawn Song. ISSTA 2009.
• DySy: Dynamic Symbolic Execution for Invariant Inference. Christoph Csallner, Nikolai Tillmann, and Yannis Smaragdakis. ICSE 2008.
• Testing for Buffer Overflows with Length Abstraction. Ru-Gang Xu and Rupak Majumdar. ISSTA 2008.

Others

• Green Software and Green IT: An End Users Perspective. Eva Kern, Markus Dick, Timo Johann and Stefan Naumann. Information Technologies in Environmental Engineering 2011.
• JouleSort: a balanced energy-efficiency benchmark. Suzanne Rivoire, Mehul A. Shah, Parthasarathy Ranganathan, and Christos Kozyrakis. SIGMOD 2007.