BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Portugal
1 × The Netherlands
2 × USA
Collaborated with:
D.J.Pearce C.Hankin N.Chong A.F.Donaldson J.Ketema S.Qadeer H.Falconer D.M.Ingram M.R.Mellor T.Field O.Beckmann
Talks about:
analysi (4) pointer (2) framework (1) abstract (1) barrier (1) sensit (1) propag (1) kernel (1) invari (1) effici (1)

Person: Paul H. J. Kelly

DBLP DBLP: Kelly:Paul_H=_J=

Contributed to:

OOPSLA 20132013
CC 20072007
PASTE 20042004
SCAM 20032003

Wrote 4 papers:

OOPSLA-2013-ChongDKKQ #abstraction #analysis #gpu #invariant #kernel
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels (NC, AFD, PHJK, JK, SQ), pp. 605–622.
CC-2007-FalconerKIMFB #analysis #declarative #framework #optimisation
A Declarative Framework for Analysis and Optimization (HF, PHJK, DMI, MRM, TF, OB), pp. 218–232.
PASTE-2004-PearceKH #analysis #c #performance #pointer
Efficient field-sensitive pointer analysis for C (DJP, PHJK, CH), pp. 37–42.
SCAM-2003-PearceKH #analysis #detection #difference #online #pointer
Online Cycle Detection and Difference Propagation for Pointer Analysis (DJP, PHJK, CH), pp. 3–12.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.