Skip to content

A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software

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

Standard

A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software. / Blackmore, Craig B; Ray, Oliver; Eder, Kerstin.

Proceedings of the 31st International Conference on Logic Programming. Cambridge University Press, 2015. p. 481-494 (Theory and Practice of Logic Programming; Vol. 15, No. 4-5).

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

Harvard

Blackmore, CB, Ray, O & Eder, K 2015, A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software. in Proceedings of the 31st International Conference on Logic Programming. Theory and Practice of Logic Programming, no. 4-5, vol. 15, Cambridge University Press, pp. 481-494, 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, 31/08/15. https://doi.org/10.1017/S1471068415000174

APA

Blackmore, C. B., Ray, O., & Eder, K. (2015). A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software. In Proceedings of the 31st International Conference on Logic Programming (pp. 481-494). (Theory and Practice of Logic Programming; Vol. 15, No. 4-5). Cambridge University Press. https://doi.org/10.1017/S1471068415000174

Vancouver

Blackmore CB, Ray O, Eder K. A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software. In Proceedings of the 31st International Conference on Logic Programming. Cambridge University Press. 2015. p. 481-494. (Theory and Practice of Logic Programming; 4-5). https://doi.org/10.1017/S1471068415000174

Author

Blackmore, Craig B ; Ray, Oliver ; Eder, Kerstin. / A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software. Proceedings of the 31st International Conference on Logic Programming. Cambridge University Press, 2015. pp. 481-494 (Theory and Practice of Logic Programming; 4-5).

Bibtex

@inproceedings{e3ad3292f19e494eb354e56cff8ef7be,
title = "A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software",
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.",
keywords = "inductive logic programming, embedded system, compiler optimisation",
author = "Blackmore, {Craig B} and Oliver Ray and Kerstin Eder",
year = "2015",
month = "7",
doi = "10.1017/S1471068415000174",
language = "English",
series = "Theory and Practice of Logic Programming",
publisher = "Cambridge University Press",
number = "4-5",
pages = "481--494",
booktitle = "Proceedings of the 31st International Conference on Logic Programming",
address = "United Kingdom",

}

RIS - suitable for import to EndNote

TY - GEN

T1 - A Logic Programming Approach to Predict Effective Compiler Settings for Embedded Software

AU - Blackmore, Craig B

AU - Ray, Oliver

AU - Eder, Kerstin

PY - 2015/7

Y1 - 2015/7

N2 - 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.

AB - 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.

KW - inductive logic programming

KW - embedded system

KW - compiler optimisation

U2 - 10.1017/S1471068415000174

DO - 10.1017/S1471068415000174

M3 - Conference contribution

T3 - Theory and Practice of Logic Programming

SP - 481

EP - 494

BT - Proceedings of the 31st International Conference on Logic Programming

PB - Cambridge University Press

ER -