HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

NOTICE: A Framework for Non-functional Testing of Compilers

Mohamed Boussaa 1 Olivier Barais 1 Benoit Baudry 1 Gerson Sunyé 2
1 DiverSe - Diversity-centric Software Engineering
IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL, Inria Rennes – Bretagne Atlantique
2 AtlanModels - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : —Generally, compiler users apply different optimizations to generate efficient code with respect to non-functional properties such as energy consumption, execution time, etc. However, due to the huge number of optimizations provided by modern compilers, finding the best optimization sequence for a specific objective and a given program is more and more challenging. This paper proposes NOTICE, a component-based framework for non-functional testing of compilers through the monitoring of generated code in a controlled sand-boxing environment. We evaluate the effectiveness of our approach by verifying the optimizations performed by the GCC compiler. Our experimental results show that our approach is able to auto-tune compilers according to user requirements and construct optimizations that yield to better performance results than standard optimization levels. We also demonstrate that NOTICE can be used to automatically construct optimization levels that represent optimal trade-offs between multiple non-functional properties such as execution time and resource usage requirements.
Document type :
Conference papers
Complete list of metadata

Cited literature [28 references]  Display  Hide  Download

Contributor : Mohamed Boussaa Connect in order to contact the contributor
Submitted on : Tuesday, July 12, 2016 - 4:29:37 PM
Last modification on : Wednesday, April 27, 2022 - 3:56:48 AM


Files produced by the author(s)


  • HAL Id : hal-01344835, version 1


Mohamed Boussaa, Olivier Barais, Benoit Baudry, Gerson Sunyé. NOTICE: A Framework for Non-functional Testing of Compilers. 2016 IEEE International Conference on Software Quality, Reliability & Security (QRS 2016), Aug 2016, Vienna, Austria. ⟨hal-01344835⟩



Record views


Files downloads