Billede af John Patrick Gallagher
  • Universitetsvej 1, 10.2

    DK-4000 Roskilde

    Danmark

20022020

Research output per year

Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Personlig profil

Emneord

  • Datalogi, IT
  • Logikprogrammering
  • Program generation
  • Programanalyse
  • Programspecialisation

Publikationsnetværk Nyligt eksternt samarbejde på landeniveau. Dyk ned i detaljerne ved at klikke på prikkerne.

Publikation

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. (red.). Springer, LNCS, Bind 12042. s. 19-35

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer 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, I : Theory and Practice of Logic Programming. 19, 5-6, s. 990–1005

Publikation: Bidrag til tidsskriftTidsskriftartikelForskningpeer review

Detecting and Diagnosing Energy Issues for Mobile Applications

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

Publikation: KonferencebidragPaperForskning

Polyvariant program specialisation with property-based abstraction

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

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningpeer review

Åben adgang

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, I : Theory and Practice of Logic Programming. 18, 3-4, s. 553-570

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Fil

Projekter

ICT-Energy

Gallagher, J. P., Rosendahl, M. & Bohr, N.

01/10/201330/09/2016

Projekter: ProjektForskning

ENTRA: Whole-Systems Energy Transparency

Gallagher, J. P., Rosendahl, M., Rhiger, M., Strand, D. L. & Bohr, N.

01/10/201230/09/2015

Projekter: ProjektForskning

Aktiviteter

Fundamenta Informaticae (Tidsskrift)

John Patrick Gallagher (Redaktør)

2020

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Energy-aware software engineering

John Patrick Gallagher (Oplægsholder)

1 nov. 2019

Aktivitet: Tale eller præsentationForedrag og mundtlige bidrag

Virtual Reality, Learning and Experience - seminar at Roskilde University

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

21 aug. 2019

Aktivitet: Deltagelse i eller arrangering af en begivenhedOrganisation og deltagelse i konference

Fourteenth International Symposium on Functional and Logic Programming (Begivenhed)

John Patrick Gallagher (Redaktør)

2018

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

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

John Patrick Gallagher (Redaktør)

2017

Aktivitet: Redaktionelt arbejde og fagfællebedømmelseRedaktør af tidsskriftForskning

Presse/medier

RUC-forsker vil forlænge batteritid på mobilen

John Patrick Gallagher

04/11/2013

1 element af Mediedækning

Presse/medie