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 × Austria
5 × USA
Collaborated with:
A.F.Donaldson J.Ketema S.Qadeer T.S.0001 J.Wickerson A.Betts C.Lidbury A.Lascu P.H.J.Kelly P.Thomson Y.Choi Y.Lin S.A.Mahlke T.N.Mudge E.Bardsley P.Collingbourne P.Deligiannis D.Liew
Talks about:
gpu (4) kernel (3) abstract (2) verifi (2) compil (2) transact (1) parallel (1) multicor (1) complet (1) barrier (1)

Person: Nathan Chong

DBLP DBLP: Chong:Nathan

Contributed to:

PLDI 20152015
CAV 20142014
POPL 20142014
OOPSLA 20132013
OOPSLA 20122012
CGO 20092009
PLDI 20182018

Wrote 7 papers:

PLDI-2015-LidburyLCD #compilation #fuzzing #manycore
Many-core compiler fuzzing (CL, AL, NC, AFD), pp. 65–76.
CAV-2014-BardsleyBCCDDKLQ #gpu #kernel #verification
Engineering a Static Verification Tool for GPU Kernels (EB, AB, NC, PC, PD, AFD, JK, DL, SQ), pp. 226–242.
POPL-2014-ChongDK #abstraction #parallel #reasoning
A sound and complete abstraction for reasoning about parallel prefix sums (NC, AFD, JK), pp. 397–410.
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.
OOPSLA-2012-BettsCDQT #gpu #kernel #named #verification
GPUVerify: a verifier for GPU kernels (AB, NC, AFD, SQ, PT), pp. 113–132.
CGO-2009-ChoiLCMM #compilation #embedded #manycore #realtime
Stream Compilation for Real-Time Embedded Multicore Systems (YC, YL, NC, SAM, TNM), pp. 210–220.
PLDI-2018-ChongSW #c++ #memory management #semantics #transaction
The semantics of transactions and weak memory in x86, Power, ARM, and C++ (NC, TS0, JW), pp. 211–225.

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.