Photo of John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Denmark

20022019
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 2002 2019

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, Seventh International Workshop on Verification and Program Transformation: Online pre-proceedings. 15 p.

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

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

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

Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2018, Switzerland: Springer. 281 p. (Lecture Notes in Computer Science, Vol. 10818). (Theoretical Computer Science and General Issues).

Research output: Book/ReportAnthologyResearchpeer-review

Projects 2007 2017

Activities 2004 2018

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

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
1 Jan 201231 Dec 2016

Activity: Editorial work and peer reviewEditor of Research journalResearch

Theory and Practice of Logic Programming (Journal)

John Patrick Gallagher (Editor)
15 Jan 201110 Jul 2011

Activity: Editorial work and peer reviewEditor of Research journalResearch

11th Scandinavian Conference on Artificial Intelligence (External organisation)

John Patrick Gallagher (Member)
2011 → …

Activity: MembershipMembership in committee, council, board

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