Skip to content

Research at St Andrews

Reasoning about non-functional properties using compiler intrinsic function annotations

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Author(s)

Shashank Jadhav, Mikko Roth, Heiko Falk, Christopher Mark Brown, Adam David Barwell

School/Research organisations

Abstract

Embedded systems often need to adhere to time and energy constraints. With the increasing popularity of embed-ded 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 arguea bout 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.
Close

Details

Original languageEnglish
Title of host publicationProceedings of the 13th Junior Researcher Workshop on Real-Time Computing
PublisherINP ENSEEIHT/IRIT
Pages25-28
Number of pages4
Publication statusPublished - 6 Nov 2019
Event13th Junior Researcher Workshop on Real-Time Computing. JRWRTC - Toulouse, France
Duration: 6 Nov 20198 Nov 2019
Conference number: 13
https://www.irit.fr/rtns2019/jrwrtc/

Workshop

Workshop13th Junior Researcher Workshop on Real-Time Computing. JRWRTC
Abbreviated titleJRWRTC
CountryFrance
CityToulouse
Period6/11/198/11/19
Internet address

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. A hybrid approach to parallel pattern discovery in C++

    Brown, C. M., Janjic, V., Barwell, A. D., Thomson, J. D., Castañeda Lozano, R., Cole, M., Franke, B., Garcia-Sanchez, J. D., Del Rio Astorga, D. & MacKenzie, K., 1 Dec 2019, (Accepted/In press) 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE Computer Society

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  2. Type-driven verification of non-functional properties

    Brown, C. M., Barwell, A. D., Marquer, Y., Minh, C. & Zendra, O., 7 Oct 2019, Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 (PPDP '19). New York: ACM, p. 1-15 15 p. 6

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

  3. Refactoring for introducing and tuning parallelism for heterogeneous multicore machines in Erlang

    Janjic, V., Brown, C., Barwell, A. & Hammond, K., 24 Jun 2019, In : Concurrency and Computation : Practice and Experience. Early View, p. 1-25 25 p., e5420.

    Research output: Contribution to journalArticle

  4. The Missing Link! A new skeleton for evolutionary multi-agent systems in Erlang

    Stypka, J., Turek, W., Byrski, A., Kisiel-Dorohinicki, M., Barwell, A. D., Brown, C. M., Hammond, K. & Janjic, V., Feb 2018, In : International Journal of Parallel Programming. 46, 1, p. 4-22 19 p.

    Research output: Contribution to journalArticle

ID: 263441697

Top