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: Chong:Nathan
Contributed to:
2015
2014
2014
20132012
20092018Wrote 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.