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.

Publikationer 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 tidsskriftKonferenceartikelForskningpeer review

Fil

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/antologi/afhandling/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/antologi/afhandling/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/antologi/afhandling/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: Bidrag til bog/antologi/rapportBidrag 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: Bidrag til bog/antologi/rapportBidrag 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/antologi/afhandling/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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: KonferencebidragKonferenceabstrakt 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: KonferencebidragPaperForskning

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: Bidrag til bog/antologi/rapportForord/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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: KonferencebidragPaperForskningpeer 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag 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: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskning

Åben adgang
Fil