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
SPLASH 2023 profile
‹Programming› 2019 profile
Registered user since Sat 22 Sep 2018
Name:
John P. Gallagher
Affiliation:
Roskilde University
Contributions
2023
LOPSTR
Author of Transforming Big-Step to Small-Step Semantics Using Interpreter Specialisation within the LOPSTR 2023-track
Session Chair of Session IV (part of LOPSTR 2023)
2020
ISSTA
Author of Detecting and Diagnosing Energy Issues for Mobile Applications within the Technical Papers-track
2019
HCVS
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
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
Committee Member in Program Committee within the PEPM 2019-track
2017
PEPM
Committee Member in Programme Committee within the PEPM 2017-track
Committee Member in Programme Committee
2015
PEPM
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
Thu 21 Nov 12:17