Whole-Systems Energy Transparency

Publikationer

Publikationer pr. år 2015 2016 2017

• 6 Konferencebidrag i proceedings
• 4 Tidsskriftartikel
• 2 Konferenceartikel

Publikationer pr. år

Publikationer pr. år

Søgeresultater

• 2017

  Constraint specialisation in Horn clause verification

  Kafle, B. & Gallagher, J. P., 1 apr. 2017, I: Science of Computer Programming. 137, s. 125-140 16 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Horn clause verification with convex polyhedral abstraction and tree automata-based refinement

  Kafle, B. & Gallagher, J. P., jan. 2017, I: Computer Languages, Systems and Structures. 47, Part 1, s. 2-18 17 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review
• 2016

  A Source-level Energy Optimization Framework for Mobile Applications

  Li, X. & Gallagher, J. P., 2016, 16th IEEE International Working Conference on Source Code Analysis and Manipulation: SCAM 2016. IEEE Press, s. 31-40 10 s. 7781794

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• A Transformational Approach to Parametric Accumulated-Cost Static Profiling

  Haemmerlé, R., López García, P., Liqat, U., Klemen, M., Gallagher, J. P. & Hermenegildo, M., 2016, Functional and Logic Programming : 13th International Symposium, (FLOPS) 2016, Kochi, Japan, March 4-6, 2016. Kiselyov, O. & King, A. (red.). Cham: Springer, s. 163-180 18 s. (Lecture Notes in Computer Science, Bind 9613).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil

• ENTRA: Whole-systems energy transparency

  Eder, K., Gallagher, J. P., López-García, P., Muller, H., Banković, Z., Georgiou, K., Haemmerlé, R., Hermenegildo, M. V., Kafle, B., Kerrison, S., Kirkeby, M. H., Klemen, M., Li, X., Liqat, U., Morse, J., Rhiger, M. & Rosendahl, M., 2016, I: Microprocessors and Microsystems. 47, Part B, s. 278-286 9 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

  Fil

• Fine-Grained Energy Modeling for the Source Code of a Mobile Application

  Li, X. & Gallagher, J. P., 2016, Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services. Hara, T. & Shigeno, H. (red.). Association for Computing Machinery, s. 180-189 10 s.

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR

  Liqat, U., Georgiou, K., Kerrison, S., López-García, P., Gallagher, J. P., Hermenegildo, M. V. & Eder, K., 2016, Foundational and Practical Aspects of Resource Analysis: 4th International Workshop, FOPARA 2015. van Eekelen, M. C. J. D. & Dal Lago, U. (red.). Switzerland: Springer, s. 81-100 20 s. (Lecture Notes in Computer Science, Bind 9964).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

• Interpolant tree automata and their application in Horn clause verification

  Kafle, B. & Gallagher, J. P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 216, s. 104-117 14 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil

• Probabilistic Resource Analysis by Program Transformation

  Kirkeby, M. H. & Rosendahl, M., 2016, I: Lecture Notes in Computer Science. 9964, s. 60-80 21 s.

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › peer review

• Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata

  Kafle, B., Gallagher, J. P. & Morales, J. F., 2016, Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, July 17-23, 2016, Proceedings, Part I. Chaudhuri, S. & Farzan, A. (red.). Springer, Bind Part 1. s. 261-268 8 s. (Lecture Notes in Computer Science; Nr. 9779).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

• Solving non-linear Horn clauses using a linear Horn clause solver

  Kafle, B., Gallagher, J. P. & Ganty, P., 2016, I: Electronic Proceedings in Theoretical Computer Science. 219, s. 33-48 16 s.

  Publikation: Bidrag til tidsskrift › Konferenceartikel › Forskning › peer review

  Åben adgang

  Fil
• 2015

  Decomposition by tree dimension in Horn clause verification

  Kafle, B., Gallagher, J. P. & Ganty, P., 7 dec. 2015, Proceedings of the Third International Workshop on Verification and Program Transformation. Lisitsa, A., Nemytykh, A. P. & Pettorossi, A. (red.). London: EPTCS, s. 1-14 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 199).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

  Åben adgang

  Fil