John P. Gallagher

110 papers A 3B 11C 30Misc 2Journal 37Unranked 22

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