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. Programming heterogeneous parallel machines using refactoring and Monte-Carlo tree search

    Brown, C. M., Janjic, V., Goli, M. & McCall, J., Aug 2020, In: International Journal of Parallel Programming. 48, 4, p. 583–602 20 p.

    Research output: Contribution to journalArticlepeer-review

  2. Refactoring GrPPI: generic refactoring for generic parallelism in C++

    Brown, C. M., Janjic, V., Barwell, A. D., Garcia, J. D. & MacKenzie, K., 10 Jul 2020, In: International Journal of Parallel Programming. First Online, 23 p.

    Research output: Contribution to journalArticlepeer-review

  3. Restoration of legacy parallelism in C and C++ applications

    Brown, C. M., Barwell, A. D. & Janjic, V., 1 Jul 2020, (Accepted/In press).

    Research output: Contribution to conferencePaperpeer-review

  4. 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., 14 May 2020, 2020 28th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE Computer Society, 5 p. 9092377. (Proceedings - Euromicro Workshop on Parallel and Distributed Processing).

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

  5. A trustworthy framework for resource-aware embedded programming

    Barwell, A. D. & Brown, C. M., 11 Feb 2020, (Accepted/In press) Proceedings of International Symposium on Implementation and Application of Functional Languages (IFL'19). ACM

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

ID: 263441697

Top