John Patrick Gallagher

BA & PhD

Professor, Department of People and Technology
Professor, Programming, Logic and Intelligent Systems
Center for Natur- og Nationalparkforskning
Experience Lab

https://orcid.org/0000-0001-6984-7419

Phone+45 46 74 21 96
Emailjpg@ruc.dk
Websitehttp://www.ruc.dk/~jpg

Universitetsvej 1, 10.2
DK-4000 Roskilde
Denmark

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.

25 Article in proceedings
12 Journal article
9 Conference article
8 Book chapter
More

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, Vol. 12042. p. 19-35 (Lecture Notes in Computer Science, Vol. 12042). (Theoretical Computer Science and General Issues, Vol. 12042).
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
An Experiment Combining Specialization with Abstract Interpretation
Gallagher, J. P. & Glück, R., 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann, M. (eds.). EPTCS, Vol. 320. p. 155-158
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Detecting and Diagnosing Energy Issues for Mobile Applications
Li, X., Yang, Y., Liu, Y., Gallagher, J. P. & Wu, K., 2020, 29th ACM SIGSOFT International Symposium on Software Testing and Analysis: ISSTA '20. Khurshid, S. & Pasareanu, C. S. (eds.). Association for Computing Machinery, p. 115-127
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Open Access
From Big-Step to Small-Step Semantics and Back with Interpreter Specialisation
Gallagher, J. P., Hermenegildo, M. V., Kafle, B., Klemen, M., López-García, P. & Morales, J. F., 2020, Proceedings of VPT/HCVS@ETAPS 2020: 8th International Workshop on Verification and Program Transformation and 7th Workshop on Horn Clauses for Verification and Synthesis. Fribourg, L. & Heizmann, M. (eds.). EPTCS, Vol. 320. p. 50-64
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Preface
Gallagher, J. P. (ed.) & Sulzmann, M. (ed.), 2020, In: Science of Computer Programming. 202, 2 p.
Research output: Contribution to journal › Journal article › Research

11 Finished

Energimærkning af Software og Software Installationer
Gallagher, J. P., Kirkeby, M. H., Rosendahl, M. & Rhiger, M.
01/02/2020 → 30/09/2020
Project: Research
Kulturportalen, Experience Lab RUC projekt
Jensen, S. S., Laursen, B., Gallagher, J. P., Andreasen, T. & Christiansen, H.
15/08/2014 → 01/02/2017
Project: Research
ICT-Energy
Gallagher, J. P., Rosendahl, M. & Bohr, N.
01/10/2013 → 30/09/2016
Project: Research
ENTRA: Whole-Systems Energy Transparency
Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.
01/10/2012 → 30/09/2015
Project: Research
The design of interactive experiences: advanced IT in inter-disciplinary teaching and research
Gallagher, J. P., Jørgensen, N. & Jacquemin, C.
01/04/2011 → 31/03/2012
Project: Research

19 Membership in committee, council, board
8 Editor of Research journal
7 Lecture and oral contribution
6 Membership in review committee
More
- 5 Peer review of manuscripts
- 2 Organisation and participation in conference

Fundamenta Informaticae (Journal)
John Patrick Gallagher (Editor)
2020
Activity: Editorial work and peer review › Editor of Research journal › Research
Energy-aware software engineering
John Patrick Gallagher (Speaker)
1 Nov 2019
Activity: Talk or presentation › Lecture 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 event › Organisation and participation in conference
Fourteenth International Symposium on Functional and Logic Programming (Event)
John Patrick Gallagher (Editor)
2018
Activity: Editorial work and peer review › Editor of Research journal › Research
LOPSTR 2017 - International Symposium on Logic-Based Program Synthesis and Transformation (Event)
John Patrick Gallagher (Editor)
2017
Activity: Editorial work and peer review › Editor of Research journal › Research

RUC-forsker vil forlænge batteritid på mobilen
John Patrick Gallagher
04/11/2013
1 item of Media coverage
Press/Media: Press / Media