Skip to content

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

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

Original languageEnglish
Title of host publicationProceedings of the 31st International Conference on Logic Programming
Publisher or commissioning bodyCambridge University Press
Number of pages14
DateAccepted/In press - 15 Jul 2015
DatePublished (current) - Jul 2015
Event31st International Conference on Logic Programming (ICLP 2015) - Cork, Ireland
Duration: 31 Aug 20154 Sep 2015

Publication series

NameTheory and Practice of Logic Programming
PublisherCambridge Unversity Press
ISSN (Print)1471-0684
ISSN (Electronic)1475-3081


Conference31st International Conference on Logic Programming (ICLP 2015)


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.

    Research areas

  • inductive logic programming, embedded system, compiler optimisation


31st International Conference on Logic Programming (ICLP 2015)

Duration31 Aug 20154 Sep 2015
Degree of recognitionInternational event

Event: Conference

Download statistics

No data available



  • iclp2015

    Rights statement: This is the author accepted manuscript (AAM). The final published version (version of record) is available online via Cambridge Unversity Press at Please refer to any applicable terms of use of the publisher.

    Accepted author manuscript, 2.3 MB, PDF document


View research connections

Related faculties, schools or groups