Energy efficiency is a growing concern for software developers. This empirical study
investigates the impact of compiler optimizations on energy efficiency in Haskell programs …

This report describes the research goals and results of the Green Software Lab (GSL)
research project. This was a project funded by Funda\c {c}\~ ao para a Ci\^ encia ea …

In today's interconnected digital world, protecting sensitive data is critical. However, the
design and verification of information-flow control (IFC) mechanisms, crucial for data …

Type systems provide software developers immediate feedback about a subset of
correctness properties of their programs. IDE integrations often take advantage of type …

Системы типов предоставляют разработчикам программного обеспечения
немедленную обратную связь о подмножестве свойств корректности их программ …

In the last decade, energy consumption analysis and improvement in software has been
establishing as a new key concern for developers. Nevertheless, as recent studies …

À medida em que a computação se torna cada vez mais ubíqua, o entendimento do
consumo energético da execução de software ganha relevância na busca de uma …