Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20022020

Research output per year

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

Personal profile

Keywords

  • Computer science, IT
  • Logic programming
  • Program generations
  • Program analysis
  • Program specialisation
  • Interactive installations

Publication network Recent external collaboration on country level. Dive into details by clicking on the dots.

Research Output

A General Framework for Static Cost Analysis of Parallel Logic Programs

Klemen, M., López-García, P., Gallagher, J. P., Morales, J. F. & Hermenegildo, M., Apr 2020, Logic-Based Program Synthesis and Transformation - 29th International Symposium: LOPSTR 2019 Revised Selected Papers. Gabbrielli, M. (ed.). Springer, LNCS, Vol. 12042. p. 19-35

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Control-Flow Refinement by Partial Evaluation, and its Application to Termination and Cost Analysis

Doménech, J., Gallagher, J. P. & Genaim, S., Sep 2019, In : Theory and Practice of Logic Programming. 19, 5-6, p. 990–1005

Research output: Contribution to journalJournal articleResearchpeer-review

Detecting and Diagnosing Energy Issues for Mobile Applications

Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2019, (Submitted). 14 p.

Research output: Contribution to conferencePaperResearch

Polyvariant program specialisation with property-based abstraction

Gallagher, J. P., 2019, EPTCS 299: Proceedings Seventh International Workshop on Verification and Program Transformation. EPTCS, 15 p.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

Open Access

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

File

Projects

Activities

Fundamenta Informaticae (Journal)

John Patrick Gallagher (Editor)

2020

Activity: Editorial work and peer reviewEditor of Research journalResearch

Energy-aware software engineering

John Patrick Gallagher (Speaker)

1 Nov 2019

Activity: Talk or presentationLecture and oral contribution

Virtual Reality, Learning and Experience - seminar at Roskilde University

Søren Larsen (Organizer), , Connie Svabo (Organizer), , Remzi Ates Gürsimsek (Organizer), , Eduardo Abrantes (Organizer), , John Patrick Gallagher (Organizer), , Sisse Siggaard Jensen (Organizer), , Troels Andreasen (Organizer), , Per Meyer Jepsen (Organizer), & Prajakt Pande (Organizer)

21 Aug 2019

Activity: Participating in or organising an eventOrganisation and participation in conference

Fourteenth International Symposium on Functional and Logic Programming (Event)

John Patrick Gallagher (Editor)

2018

Activity: Editorial work and peer reviewEditor of Research journalResearch

LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)

John Patrick Gallagher (Editor)

2017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Press / Media

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 item of Media coverage

Press/Media: Press / Media