Green Software Laboratory: Towards an Engineering Discipline for Green Software

  • 2017-04-26
  • Research

We are developing techniques and tools to support programmers in analyzing, optimizing and, thus, developing greener software


While in the previous century computer users were mainly looking for fast computer software, this is nowadays changing with the advent of powerful mobile devices, like laptops, tablets and smartphones. In our mobile-device age, one of the main computing bottlenecks is energy consumption. This growing concern on energy efficiency may also be associated with the perspective of software developers. Unfortunately, developing energy-aware software is still a difficult task. While programming languages provide several compiler optimizations, memory profiler tools, benchmark and time execution monitoring frameworks, there are no equivalent tools/frameworks to profile/optimize energy consumption.

In the context of the Green Software Laboratory project we are developing techniques and tools to support programmers in analyzing, optimizing and, thus, developing greener software. We will present a technique to improve the energy consumption of Java programs by defining a “green ranking” of the Java Collection Framework. We will also present SPELL - Spectrum-based Energy Leak Localization: a language independent technique and tool to locate “energy leaks” (ie. abnormal energy consumption) in the software’s source code.


João Saraiva is Professor Auxiliar at the Departmento de Informática, Universidade do Minho, Braga, Portugal, and a researcher member of HASLab/INESC TEC. He obtained a MSc degree from University do Minho in 1993 and a Ph.D. degree in Computer Science from Utrecht University in 1999. His main research contributions have been in the field of program language design and implementation, program analysis and transformation, and functional programming. He is one of the founders of the successful series of summer schools on Grand Timely Topics in Software Engineering (GTTSE), which he co-organized in 2005, 2007, 2009, 2011, and 2015 (volumes 4143, 5235, 6491, and 7680 of LNCS - Tutorial by Springer-Verlag) in Braga. He was the organizing chair of ETAPS’07, organized in Braga in 2007, and a member of its scientific committee (2007-2012).


This talk is organized by the Compilers and Languages Group at the Institute of Computer Languages. Tea at the library of E185/1, Argentinierstr. 8, 4th floor (central) at 13:30.


Note: This is one of the thousands of items we imported from the old website. We’re in the process of reviewing each and every one, but if you notice something strange about this particular one, please let us know. — Thanks!