Foto af John Patrick Gallagher
  • Universitetsvej 1, 08.2

    DK-4000 Roskilde

    Danmark

20022018
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Gallagher, J. P. (red.) & Sulzmann, M. (red.) apr. 2018 Springer. (Lecture Notes in Computer Science, Bind 10818).

Publikation: Bog/rapportAntologiForskningpeer review

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

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

Publikation: Bog/rapportAntologiForskningpeer review

Optimised determinisation and completion of finite tree automata

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

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

Gallagher, J. P. (red.), van Glabbeek, R. (red.) & Serwe, W. (red.) apr. 2018 EPTCS. (Electronic Proceedings in Theoretical Computer Science, Bind 268).

Publikation: Bog/rapportAntologiForskningpeer 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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

2017

Constraint specialisation in Horn clause verification

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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: Kapitel i bog/rapport/konferenceprocesBidrag til bog/antologiForskningpeer 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: Kapitel i bog/rapport/konferenceprocesBidrag til bog/antologiForskningpeer 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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

ICT: Energy Concepts for Energy Efficiency and Sustainability

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

Publikation: Bog/rapportAntologiForskningpeer 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.

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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 (Lecture Notes in Computer Science, Bind 9613).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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 (Lecture Notes in Computer Science, Bind 9964).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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 tidsskriftTidsskriftartikelForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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 tidsskriftKonferenceartikelForskningpeer review

Fil

Towards Abstract Interpretation of Epistemic Logic

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

Publikation: Bidrag til konferenceKonferenceabstrakt til konferenceForskningpeer 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 tidsskriftLederForskning

Fil

Extended Set Constraints and Tree Grammar Abstraction of Programs

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

Publikation: Bidrag til konferencePaperForskning

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 tidsskriftLederForskning

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: Kapitel i bog/rapport/konferenceprocesForord/efterskriftForskning

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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer 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: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Fil
2009

Analysis of Linear Hybrid Systems in CLP

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

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

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

Publikation: Bidrag til konferencePaperForskningpeer review

Åben adgang
Fil

From Monomorphic to Polymorphic Well-Typings and Beyond

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Non-Discriminating Arguments and Their Uses

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

Type-based homeomorphic embedding for online termination

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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. (red.). Springer, Bind 5330, s. 682-696 15 s. (Lecture Notes in Computer Science, Bind 5330).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

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

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer 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. (red.). University of Porto, s. 99-116 18 s.

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

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

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

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer 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, s. 184-193

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

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. (red.). s. 118-129 12 s.

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil

Converting One Type-Based Abstract Domain to Another

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

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Åben adgang
Fil

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. (red.). Springer, s. 115-132 17 s. (Lecture Notes in Computer Science, Bind 3901).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskningpeer review

Åben adgang
Fil
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. (red.). Springer, s. 53-68

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskning

Åben adgang
Fil

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, s. 35-51 17 s. (Lecture Notes in Computer Science, Bind 3672).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskning

Åben adgang
Fil

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. (red.). Springer, s. 280-296 17 s. (Lecture Notes in Computer Science, Bind 3668).

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskning

Åben adgang
Fil
2004

Abstract Domains Based on Regular Types

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

Publikation: Kapitel i bog/rapport/konferenceprocesKonferencebidrag i proceedingsForskning

Åben adgang
Fil