Abstract
This paper introduces a new logic-based method for optimising the selection of compiler flags on embedded architectures. In particular, we use Inductive Logic Programming (ILP) to learn logical rules that relate effective compiler flags to specific program features. Unlike earlier work, we aim to infer human-readable rules and we seek to develop a relational first-order approach which automatically discovers relevant features rather than relying on a vector of predetermined attributes. To this end we generated a data set by measuring execution times of 60 benchmarks on an embedded system development board and we developed an ILP prototype which outperforms the current state-of-the-art learning approach in 34 of the 60 benchmarks. Finally, we combined the strengths of the current state of the art and our ILP method in a hybrid approach which reduced execution times by an average of 8% and up to 50% in some cases.
Original language | English |
---|---|
Title of host publication | Proceedings of the 31st International Conference on Logic Programming, 4-5 July 2015 |
Publisher | Cambridge University Press |
Pages | 481-494 |
Number of pages | 14 |
Volume | 15 |
DOIs | |
Publication status | Published - 4 Jul 2015 |
Event | 31st International Conference on Logic Programming (ICLP 2015) - Cork, Ireland Duration: 31 Aug 2015 → 4 Sept 2015 |
Publication series
Name | Theory and Practice of Logic Programming |
---|---|
Publisher | Cambridge Unversity Press |
Number | 4-5 |
Volume | 15 |
ISSN (Print) | 1471-0684 |
ISSN (Electronic) | 1475-3081 |
Conference
Conference | 31st International Conference on Logic Programming (ICLP 2015) |
---|---|
Country/Territory | Ireland |
City | Cork |
Period | 31/08/15 → 4/09/15 |
Keywords
- inductive logic programming
- embedded system
- compiler optimisation
Fingerprint
Dive into the research topics of 'A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software'. Together they form a unique fingerprint.Profiles
-
Dr Oliver Ray
- School of Computer Science - Senior Lecturer
- Intelligent Systems Laboratory
Person: Academic , Member