John Patrick Gallagher

Søgeresultater

• 2023

  Combatting Energy Issues for Mobile Applications

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

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

  Åben adgang

  Fil

• 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. (red.). Festschrift udg. Springer, Bind 13160 LNCS. s. vii-ix 3 s. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

  Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

• 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. (red.). Springer, Bind 14330. s. 28-38 11 s. (Lecture Notes in Computer Science; Nr. 14330).

  Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › 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, I: Theory and Practice of Logic Programming. 22, 6, s. 974-1042 69 s.

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

  Åben adgang

  Fil
• 2021

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

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

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

• Preface

  Gallagher, J. P. & Sulzmann, M., 1 feb. 2021, I: Science of Computer Programming. 202, Special issue on FLOPS 2018, 2 s., 102577.

  Publikation: Bidrag til tidsskrift › Leder › 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 sep. 2021, Proceedings 8th Workshop on Horn Clauses for Verification and Synthesis (HCVS 2021). Hojjat, H. & Kafle , B. (red.). EPTCS, Bind 344. s. 22-35 14 s. (Electronic Proceedings in Theoretical Computer Science, Bind 344).

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

  Åben adgang

  Fil

• Special issue on FLOPS 2018

  Gallagher, J. P. (Redaktør) & Sulzmann, M. (Redaktør), 2021, Special issue on FLOPS 2018 udg. Elsevier. (Science of Computer Programming; Nr. 202).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 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. (red.). Springer, Bind 12042. s. 19-35 17 s. (Lecture Notes in Computer Science, Bind 12042). (Theoretical Computer Science and General Issues, Bind 12042).

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

  Åben adgang

  Fil

• 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. (red.). EPTCS, Bind 320. s. 155-158 4 s. (Electronic Proceedings in Theoretical Computer Science, Bind 320).

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

  Åben adgang

  Fil

• 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. (red.). Association for Computing Machinery, s. 115-127 13 s.

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

  Åben adgang

• 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. (red.). EPTCS, Bind 320. s. 50-64 15 s. (Electronic Proceedings in Theoretical Computer Science, Bind 320).

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

  Åben adgang

  Fil

• Preface

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning

  Åben adgang

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

  Fioravanti, F. (Redaktør), Gallagher, J. P. (Redaktør) & Proietti, M. (Redaktør), 2020, Societatis Mathematicae Polonae. (Fundamenta Informaticae; Nr. 4, Bind 173).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning

• 2019

  Challenges in the specialisation of smart horn clause interpreters

  Gallagher, J. P., 9 jul. 2019, I: Electronic Proceedings in Theoretical Computer Science, EPTCS. 296, s. 3-5 3 s.

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

  Åben adgang

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

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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. (red.). EPTCS, Bind 299. s. 34-48 15 s. (Electronic Proceedings in Theoretical Computer Science; Nr. 299).

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

  Åben adgang
• 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, I: Theory and Practice of Logic Programming. 18, 3-4, s. 553-570 18 s.

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

  Fil

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

  Gallagher, J. P. (Redaktør) & Sulzmann, M. (Redaktør), 2018, Switzerland: Springer. 281 s. (Lecture Notes in Computer Science, Bind 10818). (Theoretical Computer Science and General Issues).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

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

  Fioravanti, F. (Redaktør) & Gallagher, J. P. (Redaktør), 2018, Springer. 341 s. (Lecture Notes in Computer Science, Bind 10855). (Theoretical Computer Science and General Issues, Bind 10855).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

• Optimised determinisation and completion of finite tree automata

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

  Publikation: Bidrag til tidsskrift › Tidsskriftartikel › Forskning › 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. (Redaktør), van Glabbeek, R. (Redaktør) & Serwe, W. (Redaktør), apr. 2018, EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang

• Tree dimension in verification of constrained Horn clauses

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

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

  Åben adgang
• 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

• 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. (red.). InTechOpen, s. 103-127

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

  Åben adgang

  Fil

• 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. (red.). InTechOpen, 37 s.

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

  Åben adgang

  Fil

• 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

• ICT: Energy Concepts for Energy Efficiency and Sustainability

  Fagas, G. (Redaktør), Gammaitoni, L. (Redaktør), Gallagher, J. P. (Redaktør) & Paul, D. J. (Redaktør), 22 mar. 2017, InTechOpen.

  Publikation: Bog/antologi/afhandling/rapport › Antologi › Forskning › peer review

  Åben adgang
• 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

• Electronic Proceedings in Theoretical Computer Science, EPTCS: Preface

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

  Publikation: Bidrag til tidsskrift › Leder › peer review

  Åben adgang

• 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

• 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

  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. (red.). New York: Association for Computing Machinery, s. 85-90 6 s.

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

  Åben adgang

  Fil

• 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

• 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. (red.). Springer, Bind 8931. s. 209-226 18 s. (Lecture Notes in Computer Science; Nr. 8931).

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

  Åben adgang

  Fil
• 2014

  Analysis and Transformation Tools for Constrained Horn Clause Verification

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

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

  Fil

• 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. (red.). EPTCS, Bind 169. s. 53-67 15 s. 7

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

  Åben adgang

  Fil
• 2012

  Analysis of Logic Programs Using Regular Tree Languages: Extended Abstract

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

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

  Fil

• Towards Abstract Interpretation of Epistemic Logic

  Ajspur, M. & Gallagher, J. P., aug. 2012. 3 s.

  Publikation: Konferencebidrag › Konferenceabstrakt til konference › Forskning › peer review

  Fil
• 2011

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

  Gallagher, J. P. & Voigtländer, J., dec. 2011, I: Higher-Order and Symbolic Computation. 23, 3, s. 273-274

  Publikation: Bidrag til tidsskrift › Leder

  Fil

• Extended Set Constraints and Tree Grammar Abstraction of Programs

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

  Publikation: Konferencebidrag › Paper › Forskning

  Fil

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

  Gallagher, J. P. & Gelfond, M., jul. 2011, I: Theory and Practice of Logic Programming. 11, 4-5, s. 429-432 4 s.

  Publikation: Bidrag til tidsskrift › Leder

• 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, Bind 11. (Leibniz International Proceedings in Informatics).

  Publikation: Bidrag til bog/antologi/rapport › Forord/efterskrift › Forskning

• 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., okt. 2011, AMBIENT 2011, The First International Conference on Ambient Computing, Applications, Services and Technologies. Emonet, R. & Florea, A. M. (red.). ThinkMind, 7 s.

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

  Fil
• 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. (red.). Springer, s. 27-45 19 s. (Lecture Notes in Computer Science, Bind 6355).

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

  Fil