John P. Gallagher

ORCID

Publication Activity (10 Years)

Years Active: 1986-2023
Publications (10 Years): 35

Top Venues

CoRR

Theory Pract. Log. Program.

VPT@ETAPS

LOPSTR

Publications

John P. Gallagher, Manuel V. Hermenegildo, José F. Morales, Pedro López-García
Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation. LOPSTR (2023)
Xueliang Li, Junyang Chen, Yepang Liu, Kaishun Wu, John P. Gallagher
Combatting Energy Issues for Mobile Applications. ACM Trans. Softw. Eng. Methodol. 32 (1) (2023)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. Theory Pract. Log. Program. 22 (6) (2022)
John P. Gallagher, Martin Sulzmann
Preface. Sci. Comput. Program. 202 (2021)
Emanuele De Angelis, Fabio Fioravanti, John P. Gallagher, Manuel V. Hermenegildo, Alberto Pettorossi, Maurizio Proietti
Analysis and Transformation of Constrained Horn Clauses for Program Verification. CoRR (2021)
Bishoksan Kafle, John P. Gallagher, Manuel V. Hermenegildo, Maximiliano Klemen, Pedro López-García, José F. Morales
Regular Path Clauses and Their Application in Solving Loops. HCVS@ETAPS (2021)
Maja H. Kirkeby, John P. Gallagher, Bent Thomsen
An Approach to Estimating Energy Consumption of Web-based IT Systems. CERCIRAS (2021)
John P. Gallagher, Robert Glück
An Experiment Combining Specialization with Abstract Interpretation. VPT/HCVS@ETAPS (2020)
John P. Gallagher, Manuel V. Hermenegildo, Bishoksan Kafle, Maximiliano Klemen, Pedro López-García, José F. Morales
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation. VPT/HCVS@ETAPS (2020)
Fabio Fioravanti, John P. Gallagher, Maurizio Proietti
Preface. Fundam. Informaticae 173 (4) (2020)
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, Kaishun Wu
Detecting and diagnosing energy issues for mobile applications. ISSTA (2020)
Jesús J. Doménech, John P. Gallagher, Samir Genaim
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. CoRR (2019)
John P. Gallagher
Polyvariant Program Specialisation with Property-based Abstraction. VPT@Programming (2019)
Jesús J. Doménech, John P. Gallagher, Samir Genaim
Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis. Theory Pract. Log. Program. 19 (5-6) (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
Towards a General Framework for Static Cost Analysis of Parallel Logic Programs. CoRR (2019)
Xueliang Li, Yuming Yang, Yepang Liu, John P. Gallagher, Kaishun Wu
Detecting and Diagnosing Energy Issues for Mobile Applications. CoRR (2019)
Maximiliano Klemen, Pedro López-García, John P. Gallagher, José F. Morales, Manuel V. Hermenegildo
A General Framework for Static Cost Analysis of Parallel Logic Programs. LOPSTR (2019)
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
Optimised determinisation and completion of finite tree automata. J. Log. Algebraic Methods Program. 95 (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. CoRR (2018)
Bishoksan Kafle, John P. Gallagher, Graeme Gange, Peter Schachte, Harald Søndergaard, Peter J. Stuckey
An iterative approach to precondition inference using constrained Horn clauses. Theory Pract. Log. Program. 18 (3-4) (2018)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Tree dimension in verification of constrained Horn clauses. Theory Pract. Log. Program. 18 (2) (2018)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Tree dimension in verification of constrained Horn clauses. CoRR (2018)
Fabio Fioravanti, John P. Gallagher
Pre-proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017). CoRR (2017)
Bishoksan Kafle, John P. Gallagher
Constraint specialisation in Horn clause verification. Sci. Comput. Program. 137 (2017)
Bishoksan Kafle, John P. Gallagher
Horn clause verification with convex polyhedral abstraction and tree automata-based refinement. Comput. Lang. Syst. Struct. 47 (2017)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Solving non-linear Horn clauses using a linear Horn clause solver. HCVS@ETAPS (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-Systems Energy Transparency. CoRR (2016)
Kerstin Eder, John P. Gallagher, Pedro López-García, Henk L. Muller, Zorana Bankovic, Kyriakos Georgiou, Rémy Haemmerlé, Manuel V. Hermenegildo, Bishoksan Kafle, Steve Kerrison, Maja H. Kirkeby, Maximiliano Klemen, Xueliang Li, Umer Liqat, Jeremy Morse, Morten Rhiger, Mads Rosendahl
ENTRA: Whole-systems energy transparency. Microprocess. Microsystems 47 (2016)
Bishoksan Kafle, John P. Gallagher
Interpolant tree automata and their application in Horn clause verification. VPT@ETAPS (2016)
Xueliang Li, John P. Gallagher
A Source-level Energy Optimization Framework for Mobile Applications. CoRR (2016)
Xueliang Li, John P. Gallagher
Fine-Grained Energy Modeling for the Source Code of a Mobile Application. MobiQuitous (2016)
Rémy Haemmerlé, Pedro López-García, Umer Liqat, Maximiliano Klemen, John P. Gallagher, Manuel V. Hermenegildo
A Transformational Approach to Parametric Accumulated-Cost Static Profiling. FLOPS (2016)
Xueliang Li, John P. Gallagher
A Source-Level Energy Optimization Framework for Mobile Applications. SCAM (2016)
Bishoksan Kafle, John P. Gallagher, José F. Morales
Rahft: A Tool for Verifying Horn Clauses Using Abstract Interpretation and Finite Tree Automata. CAV (1) (2016)
Xueliang Li, John P. Gallagher
An Energy-Aware Programming Approach for Mobile Application Development Guided by a Fine-Grained Energy Model. CoRR (2016)
Bishoksan Kafle, John P. Gallagher
Constraint Specialisation in Horn Clause Verification. PEPM (2015)
Bishoksan Kafle, John P. Gallagher
Tree Automata-Based Refinement with Application to Horn Clause Verification. VMCAI (2015)
John P. Gallagher, Mai Ajspur, Bishoksan Kafle
An Optimised Algorithm for Determinisation and Completion of Finite Tree Automata. CoRR (2015)
Bishoksan Kafle, John P. Gallagher, Pierre Ganty
Decomposition by tree dimension in Horn clause verification. VPT@ETAPS (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. CoRR (2015)
Xueliang Li, John P. Gallagher
A Top-to-Bottom View: Energy Analysis for Mobile Application Source Code. CoRR (2015)
Umer Liqat, Kyriakos Georgiou, Steve Kerrison, Pedro López-García, John P. Gallagher, Manuel V. Hermenegildo, Kerstin Eder
Inferring Parametric Energy Consumption Functions at Different Software Levels: ISA vs. LLVM IR. FOPARA (2015)
John P. Gallagher, Bishoksan Kafle
Analysis and Transformation Tools for Constrained Horn Clause Verification. CoRR (2014)
Bishoksan Kafle, John P. Gallagher
Convex polyhedral abstractions, specialisation and property-based predicate splitting in Horn clause verification. HCVS (2014)
John P. Gallagher
Analysis of Logic Programs Using Regular Tree Languages - (Extended Abstract). LOPSTR (2011)
John P. Gallagher, Michael Gelfond
Frontmatter, Table of Contents, Preface, Conference Organization. ICLP (Technical Communications) (2011)
John P. Gallagher, Michael Gelfond
Introduction to the 27th International Conference on Logic Programming Special Issue. Theory Pract. Log. Program. 11 (4-5) (2011)
Gourinath Banda, John P. Gallagher
Constraint-Based Abstract Semantics for Temporal Logic: A Direct Approach to Design and Implementation. LPAR (Dakar) (2010)
John P. Gallagher, Janis Voigtländer
Editorial. High. Order Symb. Comput. 23 (3) (2010)
Rafael Caballero, John P. Gallagher
Proceedings of the 19th Workshop on Logic-based methods in Programming Environments (WLPE 2009) CoRR (2010)
Henning Christiansen, John P. Gallagher
Non-discriminating Arguments and Their Uses. ICLP (2009)
Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
Type-based homeomorphic embedding for online termination. Inf. Process. Lett. 109 (15) (2009)
Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher
From Monomorphic to Polymorphic Well-Typings and Beyond. LOPSTR (2008)
Gourinath Banda, John P. Gallagher
Analysis of Linear Hybrid Systems in CLP. LOPSTR (2008)
John P. Gallagher, Mads Rosendahl
Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation. LPAR (2008)
Elvira Albert, John P. Gallagher, Miguel Gómez-Zamalloa, Germán Puebla
Type-Based Homeomorphic Embedding and Its Applications to Online Partial Evaluation. LOPSTR (2007)
Maurice Bruynooghe, Michael Codish, John P. Gallagher, Samir Genaim, Wim Vanhoof
Termination analysis of logic programs through combination of type-based norms. ACM Trans. Program. Lang. Syst. 29 (2) (2007)
Kim S. Henriksen, Gourinath Banda, John P. Gallagher
Experiments with a Convex Polyhedral Analysis Tool for Logic Programs CoRR (2007)
Kim S. Henriksen, John P. Gallagher
A Web-based Tool Combining Different Type Analyses CoRR (2007)
Kim S. Henriksen, John P. Gallagher
Abstract Interpretation of PIC Programs through Logic Programming. SCAM (2006)
Elvira Albert, Germán Puebla, John P. Gallagher
Non-leftmost Unfolding in Partial Evaluation of Logic Programs with Impure Predicates. LOPSTR (2005)
John P. Gallagher, Germán Puebla, Elvira Albert
Converting One Type-Based Abstract Domain to Another. LOPSTR (2005)
John P. Gallagher, Kim S. Henriksen, Gourinath Banda
Techniques for Scaling Up Analyses Based on Pre-interpretations. ICLP (2005)
Maurice Bruynooghe, John P. Gallagher, Wouter Van Humbeeck
Inference of Well-Typings for Logic Programs with Application to Termination Analysis. SAS (2005)
John P. Gallagher, Kim S. Henriksen
Abstract Domains Based on Regular Types. ICLP (2004)
Stephen-John Craig, John P. Gallagher, Michael Leuschel, Kim S. Henriksen
Fully Automatic Binding-Time Analysis for Prolog. LOPSTR (2004)
Kim S. Henriksen, John P. Gallagher
Analysis and specialisation of a PIC processor. SMC (2) (2004)
John P. Gallagher
Regular types, modes and model checking (Invited Talk). WLPE (2004)
John P. Gallagher
A Program Transformation for Backwards Analysis of Logic Programs. LOPSTR (2003)
Samir Genaim, Michael Codish, John P. Gallagher, Vitaly Lagoon
Combining Norms to Prove Termination. VMCAI (2002)
Julio C. Peralta, John P. Gallagher
Convex Hull Abstractions in Specialization of CLP Programs. LOPSTR (2002)
John P. Gallagher
Whatever Happened to Meta-Programming? APPIA-GULP-PRODE (2002)
John P. Gallagher, Germán Puebla
Abstract Interpretation over Non-deterministic Finite Tree Automata for Set-Based Analysis of Logic Programs. PADL (2002)
John P. Gallagher, Julio C. Peralta
Regular Tree Languages as an Abstract Domain in Program Specialisation. High. Order Symb. Comput. 14 (2-3) (2001)
John P. Gallagher, Julio C. Peralta
Using Regular Approximations for Generalisation During Partial Evalution. PEPM (2000)
Julio C. Peralta, John P. Gallagher
Imperative Program Specialisation: An Approach Using CLP. LOPSTR (1999)
Germán Puebla, Manuel V. Hermenegildo, John P. Gallagher
An Integration of Partial Evaluation in a Generic Abstract Interpretation Framework. PEPM (1999)
John P. Gallagher, Laura Lafave
The Role of Trace Abstractions in Program Specialization Algorithms. ACM Comput. Surv. 30 (3es) (1998)
Laura Lafave, John P. Gallagher
Extending the Power of Automatic Constraint-Based Partial Evaluators. ACM Comput. Surv. 30 (3es) (1998)
Julio C. Peralta, John P. Gallagher, Hüseyin Saglam
Analysis of Imperative Programs through Analysis of Constraint Logic Programs. SAS (1998)
Hüseyin Saglam, John P. Gallagher
Constrained Regular Approximation of Logic Programs. LOPSTR (1997)
Laura Lafave, John P. Gallagher
Constraint-Based Partial Evaluation of Rewriting-Based Functional Logic Programs. LOPSTR (1997)
John P. Gallagher, Laura Lafave
Regular Approximation of Computation Paths in Logic and Functional Languages. Dagstuhl Seminar on Partial Evaluation (1996)
Hüseyin Saglam, John P. Gallagher
Approximating Constraint Logic Programs Using Polymorphic Types and Regular Descriptions PLILP (1995)
Bern Martens, John P. Gallagher
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance. ICLP (1995)
John P. Gallagher, Dmitri Boulanger, Hüseyin Saglam
Practical Model-Based Static Analysis for Definite Logic Programs. ILPS (1995)
Emmanuil I. Marakakis, John P. Gallagher
Schema-Based Top-Down Design of Logic Programs Using Abstract Data Types. LOPSTR (1994)
D. Andre de Waal, John P. Gallagher
The Applicability of Logic Program Analysis and Transformation to Theorem Proving. CADE (1994)
J. Cook, John P. Gallagher
A Transformation System for Definite Programs Based on Termination Analysis. LOPSTR (1994)
John P. Gallagher, D. Andre de Waal
Fast and Precise Regular Approximations of Logic Programs. ICLP (1994)
D. Andre de Waal, John P. Gallagher
Logic Program Specialisation With Deletion of Useless Clauses. ILPS (1993)
John P. Gallagher
Tutorial on Specialisation of Logic Programs. PEPM (1993)
John P. Gallagher, D. Andre de Waal
Deletion of Redundant Unary Type Predicates from Logic Programs. LOPSTR (1992)
John P. Gallagher
Static Analysis for Logic Program Specification. WSA (1992)
D. Andre de Waal, John P. Gallagher
Specialisation of a Unification Algorithm. LOPSTR (1991)
John P. Gallagher, Maurice Bruynooghe
The Derivation of an Algorithm for Program Specialisation. New Gener. Comput. 9 (3/4) (1991)
John P. Gallagher, Maurice Bruynooghe
The Derivation of an Algorithm for Program Specialisation. ICLP (1990)
John P. Gallagher, Michael Codish, Ehud Shapiro
Specialisation of Prolog and FCP Programs Using Abstract Interpretation. New Gener. Comput. 6 (2&3) (1988)
Michael Codish, John P. Gallagher, Ehud Shapiro
Using Safe Approximations of Fixed Points for Analysis of Logic Programs. META (1988)
John P. Gallagher
Transforming Logic Programs by Specialising Interpreters. ECAI (1986)

John P. Gallagher.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

John P. Gallagher