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: Kelly:Paul_H=_J=
Contributed to:
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.