Whole-Systems Energy Transparency

  • Kafle, Bishoksan, (Project participant)

    Project: Research

    Project Details

    Description

    ENTRA is a 3-year research project funded by the EU 7th Framework Programme Future and Emerging Technologies (FET). The project runs from the 1st October 2012 to the 30th September 2015 and aims to promote “energy-aware” software development using advanced program analysis and modelling of energy consumption in computer systems. The project will facilitate predictions of energy consumption to be made early in the software design phase, thus enabling the development of greener IT products.
    AcronymENTRA
    StatusFinished
    Effective start/end date01/10/201230/09/2015

    Funding

    • EU FP7

    Keywords

    • energy transparency

    Research Output

    • 3 Article in proceedings
    • 1 Journal article

    Constraint Specialisation in Horn Clause Verification

    Kafle, B. & Gallagher, J. P., 4 Jan 2015, Proceedings of the 2015 Workshop on Partial Evaluation and Program Manipulation, PEPM '15. Asai, K. & Sagonas, K. (eds.). New York: Association for Computing Machinery, p. 85-90 6 p.

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File

    Tree automata-based refinement with application to Horn clause verification

    Kafle, B. & Gallagher, J. P., 2015, Verification, Model Checking, and Abstract Interpretation. D'Souza, D., Lal, A. & Larsen, K. G. (eds.). Springer, Vol. 8931. p. 209-226 18 p. (Lecture Notes in Computer Science; No. 8931).

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File

    Analysis and Transformation Tools for Constrained Horn Clause Verification

    Kafle, B. & Gallagher, J. P., 21 Jul 2014, In : Theory and Practice of Logic Programming. 14, 4-5, p. 90-101 12 p., 4-5.

    Research output: Contribution to journalJournal articleResearchpeer-review

    File

    Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification

    Kafle, B. & Gallagher, J. P., 2 Dec 2014, Proceedings First Workshop on Horn Clauses for Verification and Synthesis. Bjørner, N., Fioravanti, F., Rybalchenko, A. & Senni, V. (eds.). EPTCS, Vol. 169. p. 53-67 15 p. 7

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

    Open Access
    File