John Patrick Gallagher

Search results

• 2023

  Combatting Energy Issues for Mobile Applications

  Li, X., Chen, J., Liu, Y., Wu, K. & Gallagher, J. P., 13 Feb 2023, In: ACM Transactions on Software Engineering and Methodology. 32, 1, 44 p., 3527851.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File

• Preface

  Lopez-Garcia, P., Gallagher, J. & Giacobazzi, R., 2023, Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday. Lopez-Garcia, P., Gallagher, J. P. & Giacobazzi, R. (eds.). Festschrift ed. Springer, Vol. 13160 LNCS. p. vii-ix 3 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

  Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

• Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Morales, J. F. & López-García, P., 2023, Logic-Based Program Synthesis and Transformation: 33rd International Symposium, LOPSTR 2023, Cascais, Portugal, October 23-24, 2023, Proceedings. Glück, R. & Kafle, B. (eds.). Springer, Vol. 14330. p. 28-38 11 p. (Lecture Notes in Computer Science; No. 14330).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
• 2022

  Analysis and Transformation of Constrained Horn Clauses for Program Verification

  De Angelis, E., Fioravanti, F., Gallagher, J. P., Hermenegildo, M. V., Pettorossi, A. & Proietti, M., 2022, In: Theory and Practice of Logic Programming. 22, 6, p. 974-1042 69 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access

  File
• 2021

  An Approach to Estimating Energy Consumption of Web-based IT Systems

  Kirkeby, M. H., Gallagher, J. P. & Thomsen, B., 2021, In: CEUR Workshop Proceedings. 3145

  Research output: Contribution to journal › Conference article › Research › peer-review

• Preface

  Gallagher, J. P. & Sulzmann, M., 1 Feb 2021, In: Science of Computer Programming. 202, Special issue on FLOPS 2018, 2 p., 102577.

  Research output: Contribution to journal › Editorial › peer-review

• Regular Path Clauses and Their Application in Solving Loops

  Kafle, B., Gallagher, J. P., Hermenegildo, M. V., Klemen, M., López-García, P. & Morales, J. F., 13 Sept 2021, Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021). Hojjat, H. & Kafle, B. (eds.). EPTCS, Vol. 344. p. 22-35 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 344).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Special issue on FLOPS 2018

  Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2021, Special issue on FLOPS 2018 ed. Elsevier. (Science of Computer Programming; No. 202).

  Research output: Book/Report › Anthology › Research

• 2020

  A General Framework for Static Cost Analysis of Parallel Logic Programs

  Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, Vol. 12042. p. 19-35 17 p. (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• An Experiment Combining Specialization with Abstract Interpretation

  Gallagher, J. P. & Glück, R., 7 Aug 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann, M. (eds.). EPTCS, Vol. 320. p. 155-158 4 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 320).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Detecting and Diagnosing Energy Issues for Mobile Applications

  Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 18 Jul 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 115-127 13 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

• From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation

  Gallagher, J. P., Hermenegildo, M. V., Kafle, B., Klemen, M., López-García, P. & Morales, J. F., 7 Aug 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann, M. (eds.). EPTCS, Vol. 320. p. 50-64 15 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 320).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Preface

  Fioravanti, F., Gallagher, J. P. & Proietti, M., 2020, In: Fundamenta Informaticae. 173, 4, p. i-ii

  Research output: Contribution to journal › Journal article › Research

  Open Access

• Special Issue on the 27th International Symposium on Logic-based Program Synthesis and Transformation: LOPSTR 2017

  Fioravanti, F. (ed.), Gallagher, J. P. (ed.) & Proietti, M. (ed.), 2020, Societatis Mathematicae Polonae. (Fundamenta Informaticae; No. 4, Vol. 173).

  Research output: Book/Report › Anthology › Research

• 2019

  Challenges in the specialisation of smart horn clause interpreters

  Gallagher, J. P., 9 Jul 2019, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 296, p. 3-5 3 p.

  Research output: Contribution to journal › Conference article › Research › peer-review

  Open Access

• Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

  Doménech, J., Gallagher, J. P. & Genaim, S., 1 Sept 2019, In: Theory and Practice of Logic Programming. 19, 5-6, p. 990–1005 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Polyvariant program specialisation with property-based abstraction

  Gallagher, J. P., 20 Aug 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. Lisitsa, A. & Nemytykh, A. (eds.). EPTCS, Vol. 299. p. 34-48 15 p. (Electronic Proceedings in Theoretical Computer Science; No. 299).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access
• 2018

  An iterative approach to precondition inference using constrained Horn clauses

  Kafle, B., Gallagher, J. P., Gange, G., Schachte, P., Søndergaard, H. & Stuckey, P. J., Jul 2018, In: Theory and Practice of Logic Programming. 18, 3-4, p. 553-570 18 p.

  Research output: Contribution to journal › Conference article › Research › peer-review

  File

• Functional and Logic Programming: 14th International Symposium (FLOPS 2018), Nagoya, Japan, May 9-11, 2018

  Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2018, Switzerland: Springer. 281 p. (Lecture Notes in Computer Science, Vol. 10818). (Theoretical Computer Science and General Issues).

  Research output: Book/Report › Anthology › Research › peer-review

• Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

  Fioravanti, F. (ed.) & Gallagher, J. P. (ed.), 2018, Springer. 341 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

  Research output: Book/Report › Anthology › Research › peer-review

• Optimised determinisation and completion of finite tree automata

  Gallagher, J. P., Ajspur, M. & Kafle, B., 2018, In: Journal of Logic and Algebraic Programming. 95, p. 1-16 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Proceedings Third Workshop on Models for Formal Analysis of Real Systems and Sixth International Workshop on Verification and Program Transformation

  Gallagher, J. P. (ed.), van Glabbeek, R. (ed.) & Serwe, W. (ed.), Apr 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Vol. 268).

  Research output: Book/Report › Anthology › Research › peer-review

  Open Access

• Tree dimension in verification of constrained Horn clauses

  Kafle, B., Gallagher, J. P. & Ganty, P., 2018, In: Theory and Practice of Logic Programming. 18, 2, p. 224-251 28 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  Open Access
• 2017

  Constraint specialisation in Horn clause verification

  Kafle, B. & Gallagher, J. P., 1 Apr 2017, In: Science of Computer Programming. 137, p. 125-140 16 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• Energy-Aware Software Engineering

  Eder, K. & Gallagher, J. P., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, p. 103-127

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  Open Access

  File

• Energy Challenges for ICT

  Fagas, G., Gallagher, J. P., Gammaitoni, L. & Paul, D. J., 22 Mar 2017, ICT - Energy Concepts for Energy Efficiency and Sustainability. Fagas, G., Gammaitoni, L., Gallagher, J. P. & Paul, D. J. (eds.). InTechOpen, 37 p.

  Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research › peer-review

  Open Access

  File

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

  Kafle, B. & Gallagher, J. P., Jan 2017, In: Computer Languages, Systems and Structures. 47, Part 1, p. 2-18 17 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

• ICT: Energy Concepts for Energy Efficiency and Sustainability

  Fagas, G. (ed.), Gammaitoni, L. (ed.), Gallagher, J. P. (ed.) & Paul, D. J. (ed.), 22 Mar 2017, InTechOpen.

  Research output: Book/Report › Anthology › Research › peer-review

  Open Access
• 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, p. 31-40 10 p. 7781794

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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. (eds.). Cham: Springer, p. 163-180 18 p. (Lecture Notes in Computer Science, Vol. 9613).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface

  Gallagher, J. P. & Rümmer, P., 14 Jul 2016, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 219

  Research output: Contribution to journal › Editorial › peer-review

  Open Access

• 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, In: Microprocessors and Microsystems. 47, Part B, p. 278-286 9 p.

  Research output: Contribution to journal › Journal article › Research › peer-review

  File

• 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. (eds.). Association for Computing Machinery, p. 180-189 10 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › 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. (eds.). Switzerland: Springer, p. 81-100 20 p. (Lecture Notes in Computer Science, Vol. 9964).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  Open Access

• Interpolant tree automata and their application in Horn clause verification

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

  Research output: Contribution to journal › Conference article › Research › peer-review

  Open Access

  File

• 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. (eds.). Springer, Vol. Part 1. p. 261-268 8 p. (Lecture Notes in Computer Science; No. 9779).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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

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

  Research output: Contribution to journal › Conference article › Research › peer-review

  Open Access

  File
• 2015

  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 proceeding › Article in proceedings › Research › peer-review

  Open Access

  File

• 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. (eds.). London: EPTCS, p. 1-14 14 p. (Electronic Proceedings in Theoretical Computer Science, Vol. 199).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
• 2014

  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 journal › Journal article › Research › peer-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 proceeding › Article in proceedings › Research › peer-review

  Open Access

  File
• 2012

  Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

  Gallagher, J. P., 2012, In: Lecture Notes in Computer Science. 7225, p. 1-3 3 p.

  Research output: Contribution to journal › Conference article › Research › peer-review

  File

• Towards Abstract Interpretation of Epistemic Logic

  Ajspur, M. & Gallagher, J. P., Aug 2012. 3 p.

  Research output: Contribution to conference › Conference abstract for conference › Research › peer-review

  File
• 2011

  Editorial from the issue entitled "Special Issue: PEPM 2010"

  Gallagher, J. P. & Voigtländer, J., Dec 2011, In: Higher-Order and Symbolic Computation. 23, 3, p. 273-274

  Research output: Contribution to journal › Editorial

  File

• Extended Set Constraints and Tree Grammar Abstraction of Programs

  Rosendahl, M. & Gallagher, J. P., 2011. 12 p.

  Research output: Contribution to conference › Paper › Research

  File

• Introduction to the 27th International Conference on Logic Programming Special Issue: Editorial

  Gallagher, J. P. & Gelfond, M., Jul 2011, In: Theory and Practice of Logic Programming. 11, 4-5, p. 429-432 4 p.

  Research output: Contribution to journal › Editorial

• Technical Communications of the 27th International Conference on Logic Programming, ICLP 2011: Editorial

  Gallagher, J. P. & Gelfond, M., Jul 2011, ICLP (Technical Communications). Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Vol. 11. (Leibniz International Proceedings in Informatics).

  Research output: Chapter in Book/Report/Conference proceeding › Preface/postscript › Research

• The Experience Cylinder, an immersive interactive platform: The Sea Stallion's voyage: a case study

  Andreasen, T., Gallagher, J. P., Møbius, N. & Padfield, N., Oct 2011, AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. Emonet, R. & Florea, A. M. (eds.). ThinkMind, 7 p.

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File
• 2010

  Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation

  Banda, G. & Gallagher, J. P., 30 Nov 2010, Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal,. Clarke, E. M. & Voronkov, A. (eds.). Springer, p. 27-45 19 p. (Lecture Notes in Computer Science, Vol. 6355).

  Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

  File