@inproceedings{JRF+19,
author = {Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Brown and Adam Barwell},
title = {Reasoning about non-functional properties using compiler intrinsic function annotations.},
year = {2019},
pages = {25-28},
month = {November},
note = {sjadhav, mroth, hfalk, ESD, WCC, teamplay},
series = {20191107-jrwrtc-jadhav.pdf},
address = {Toulouse / France},
isbn = {10.15480/882.2545},
howpublished = {19-60 JRF+ JRWRTC},
booktitle = {In Proceedings of the 13th Junior Researcher Workshop on Real-Time Computing (JRWRTC)},
abstract = {Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embedded systems, the interest in evaluating and optimizing non-functional properties like execution time and energy of these systems is increasing. In this paper, we describe a Resource-usage Estimate Expression Language (REEL), which allows the user to argue about these properties, within the source code, in a compiler understandable manner. Furthermore, we discuss the integration of REEL within a compiler framework. We, also show the propagation of REEL annotations within the compiler, and how they can be exploited to make decisions based on the non-functional properties within the source code. Finally, we explore REEL's potential to perform ILP-based optimizations.}
}

@COMMENT{Bibtex file generated on 2026-7-1 with typo3 si_bibtex plugin. Data from https://www.tuhh.de/es/de/home/publications }