Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Denmark

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

Research Output 2002 2018

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 journalJournal articleResearchpeer-review

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

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.) Apr 2018 Springer. (Lecture Notes in Computer Science, Vol. 10818).

Research output: Book/ReportAnthologyResearchpeer-review

Logic-Based Program Synthesis and Transformation - 27th International Symposium, LOPSTR 2017

Gallagher, J. P. (ed.) & Fioravanti, F. (ed.) 2018 Springer. (Lecture Notes in Computer Science, Vol. 10855).

Research output: Book/ReportAnthologyResearchpeer-review

Optimised determinisation and completion of finite tree automata

Gallagher, J. P., Ajspur, M. & Kafle, B. Jan 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

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

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

Inference of Well-Typings for Logic Programs with Application to Termination Analysis

Bruynooghe, M., Gallagher, J. P. & Humbeeck, W. V. 2005 Static Analysis, 12th International Symposium. Kluwer Academic Publishers, p. 35-51 17 p. (Lecture Notes in Computer Science, Vol. 3672).

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

Open Access
File

Techniques for Scaling Up Analyses Based on Pre-interpretations

Gallagher, J. P., Henriksen, K. S. & Banda, G. 2005 Logic Programming, 21st International Conference. Gabbrielli, M. & Gupta, G. (eds.). Springer, p. 280-296 17 p. (Lecture Notes in Computer Science, Vol. 3668).

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

Open Access
File
2004

Abstract Domains Based on Regular Types

Gallagher, J. P. & Henriksen, K. S. 2004 20th International Conference, ICLP 2004, Proceedings. Demoen, B. & Lifschitz, V. (eds.). Springer

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

Open Access
File