• Sign in
  • Sign up
conf.researchr.org / John P. Gallagher
  • 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
xThu 12 Jun 14:15
using conf.researchr.org (v1.69.0)
Support page
Sign Up