Photo of John Patrick Gallagher
  • Universitetsvej 1, 08.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

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

Logic-Based Program Synthesis and Transformation: 27th International Symposium, LOPSTR 2017, Namur, Belgium, October 10-12, 2017, Revised Selected Papers

Fioravanti, F. (ed.) & Gallagher, J. P. (ed.), 2018, Springer. 341 p. (Lecture Notes in Computer Science, Vol. 10855). (Theoretical Computer Science and General Issues, Vol. 10855).

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)
20112017

Activity: Editorial work and peer reviewEditor of Research journalResearch

Program Analysis With Regular Tree Languages

John Patrick Gallagher (Lecturer)
19 Jul 2011

Activity: Talk or presentationLecture and oral contribution

File

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