Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20022019
If you made any changes in Pure these will be visible here soon.

Research Output 2002 2019

2019

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

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

Research output: Contribution to journalJournal articleResearchpeer-review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Submitted). 14 p.

Research output: Contribution to conferencePaperResearch

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 p.

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

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

Research output: Contribution to journalConference articleResearchpeer-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/ReportAnthologyResearchpeer-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/ReportAnthologyResearchpeer-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

Research output: Contribution to journalJournal articleResearchpeer-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/ReportAnthologyResearchpeer-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

Research output: Contribution to journalJournal articleResearchpeer-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

Research output: Contribution to journalJournal articleResearchpeer-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 proceedingBook chapterResearchpeer-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 proceedingBook chapterResearchpeer-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

Research output: Contribution to journalJournal articleResearchpeer-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/ReportAnthologyResearchpeer-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.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 (Lecture Notes in Computer Science, Vol. 9613).

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

Open Access
File

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

Research output: Contribution to journalJournal articleResearchpeer-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

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 (Lecture Notes in Computer Science, Vol. 9964).

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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

Research output: Contribution to journalConference articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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

Research output: Contribution to journalConference articleResearchpeer-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 proceedingArticle in proceedingsResearchpeer-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 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
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 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
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 journalConference articleResearchpeer-review

File

Towards Abstract Interpretation of Epistemic Logic

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

Research output: Contribution to conferenceConference abstract for conferenceResearchpeer-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 journalEditorialResearch

File

Extended Set Constraints and Tree Grammar Abstraction of Programs

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

Research output: Contribution to conferencePaperResearch

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 journalEditorialResearch

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 proceedingPreface/postscriptResearch

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 proceedingArticle in proceedingsResearchpeer-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 proceedingArticle in proceedingsResearchpeer-review

File
2009

Analysis of Linear Hybrid Systems in CLP

Banda, G. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 55-70 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Constraint-Based Abstraction of a Model Checker for Infinite State Systems

Banda, G. & Gallagher, J. P., 2009. 16 p.

Research output: Contribution to conferencePaperResearchpeer-review

Open Access
File

From Monomorphic to Polymorphic Well-Typings and Beyond

Schrijvers, T., Bruynooghe, M. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. p. 152-167 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Non-Discriminating Arguments and Their Uses

Christiansen, H. & Gallagher, J. P., 2009, In : Lecture Notes in Computer Science. 5649, p. 55-69 15 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Type-based homeomorphic embedding for online termination

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2009, In : Information Processing Letters. 109, 15, p. 879-886 8 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2008

Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation

Gallagher, J. P. & Rosendahl, M., 2008, Logic for Programming, Artificial Intelligence, and Reasoning: 15th International Conference, LPAR 2008, Doha, Qatar, November 22-27, 2008. Proceedings. Cervesato, I., Veith, H. & Voronkov, A. (eds.). Springer, Vol. 5330. p. 682-696 15 p. (Lecture Notes in Computer Science, Vol. 5330).

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

Type-based Homeomorphic Embedding and its Applications to Online Partial Evaluation

Albert, E., Gallagher, J. P., Gómez-Zamalloa, M. & Puebla, G., 2008, In : Lecture Notes in Computer Science. 4915, p. 23-42 19 p.

Research output: Contribution to journalConference articleResearchpeer-review

2007

Experiments with a Convex Polyhedral Analysis Tool for Logic Programs

Henriksen, K. S., Banda, G. & Gallagher, J. P., 2007, WLPE 2007: Proceedings of the 17th Workshop on Logic-based methods in Programming Environments. Hill, P. & Vanhoof, W. (eds.). University of Porto, p. 99-116 18 p.

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

Termination analysis of logic programs through combination of type-based norms

Bruynooghe, M., Codish, M., Gallagher, J. P., Genaim, S. & Vanhoof, W., 2007, In : ACM Transactions on Programming Languages and Systems. 29, 2, 44 p.

Research output: Contribution to journalJournal articleResearchpeer-review

2006

Abstract Interpretation of PIC programs through Logic Programming

Henriksen, K. S. & Gallagher, J. P., 2006, Sixth IEEE International Workshop on Source Code Analysis and Manipulation. IEEE, p. 184-193

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

Open Access
File

A Web-based Tool Combining Different Type Analyses

Henriksen, K. S. & Gallagher, J. P., 2006, WLPE-06: Workshop on Logic-Based methods in Programming Environments: ICLP-06 Workshop. Vanhoof, W. & Hernández, S. (eds.). p. 118-129 12 p.

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

Open Access
File

Converting One Type-Based Abstract Domain to Another

Gallagher, J. P., Puebla, G. & Albert, E., 2006, In : Lecture Notes in Computer Science. p. 147-162 16 p.

Research output: Contribution to journalConference articleResearchpeer-review

Open Access
File

Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates

Albert, E., Puebla, G. & Gallagher, J. P., 2006, Logic Based Program Synthesis and Transformation, 15th International Symposium, LOPSTR 2005. Hill, P. M. (ed.). Springer, p. 115-132 17 p. (Lecture Notes in Computer Science, Vol. 3901).

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

Open Access
File
2005

Fully Automatic Binding Time Analysis for Prolog

Craig, S., Gallagher, J. P., Leuschel, M. & Henriksen, K. S., 2005, Logic Based Program Synthesis and Transformation. Etalle, S. (ed.). Springer, p. 53-68

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearch

Open Access
File