Toggle navigation
Sign in
Sign up
conf.researchr.org
/
John P. Gallagher
conf.researchr.org general profile
ETAPS 2019 profile
ISSTA 2020 profile
PEPM 2015 profile
POPL 2017 profile
POPL 2019 profile
SPLASH 2015 profile
‹Programming› 2019 profile
Registered user since Sat 22 Sep 2018
Name:
John P. Gallagher
Affiliation:
Roskilde University
Contributions
ISSTA 2020
Author of Detecting and Diagnosing Energy Issues for Mobile Applications within the Technical Papers-track
HCVS 2019
Session Chair of III (part of HCVS)
Author of Challenges in the specialisation of smart Horn clause interpreters within the HCVS-track
Committee Member in Program Committee within the HCVS-track
VPT 2019
Committee Member in Program Committee within the VPT 2019 -track
Author of Polyvariant Program Specialisation with Property-Based Abstraction within the VPT 2019 -track
PEPM 2019
Committee Member in Program Committee within the PEPM 2019-track
PEPM 2017
Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
PEPM 2015
Author of Germán Puebla Memorial within the PEPM 2015-track
Author of Constraint Specialisation in Horn Clause Verification within the PEPM 2015-track
Share
x
Fri 2 Jun 20:19