John P. Gallagher -

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