Follow
Nathan Chong
Nathan Chong
Verified email at amazon.com - Homepage
Title
Cited by
Cited by
Year
GPUVerify: a verifier for GPU kernels
A Betts, N Chong, A Donaldson, S Qadeer, P Thomson
Proceedings of the ACM international conference on Object oriented …, 2012
2062012
Many-core compiler fuzzing
C Lidbury, A Lascu, N Chong, AF Donaldson
ACM SIGPLAN Notices 50 (6), 65-76, 2015
1922015
Contention management for a hardware transactional memory
G Blake, TN Mudge, SD Biles, NYS Chong, E Ozer, RG Dreslinski
US Patent App. 12/292,565, 2009
822009
Stream compilation for real-time embedded multicore systems
Y Choi, Y Lin, N Chong, S Mahlke, T Mudge
2009 International Symposium on Code Generation and Optimization, 210-220, 2009
732009
The design and implementation of a verification technique for GPU kernels
A Betts, N Chong, AF Donaldson, J Ketema, S Qadeer, P Thomson, ...
ACM Transactions on Programming Languages and Systems (TOPLAS) 37 (3), 1-49, 2015
522015
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
432008
The semantics of transactions and weak memory in x86, Power, ARM, and C++
N Chong, T Sorensen, J Wickerson
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
402018
Engineering a static verification tool for GPU kernels
E Bardsley, A Betts, N Chong, P Collingbourne, P Deligiannis, ...
International Conference on Computer Aided Verification, 226-242, 2014
402014
Code-Level Model Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
372020
A sound and complete abstraction for reasoning about parallel prefix sums
N Chong, AF Donaldson, J Ketema
Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of …, 2014
292014
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels
N Chong, AF Donaldson, PHJ Kelly, J Ketema, S Qadeer
ACM SIGPLAN Notices 48 (10), 605-622, 2013
292013
Encoding of input to storage circuitry
AD Reid, DP Mulligan, M Meriac, ML Boettcher, NYS Chong, IM Caulfield, ...
US Patent App. 16/149,297, 2019
232019
Code‐level model checking in the software development workflow at Amazon Web Services
N Chong, B Cook, J Eidelman, K Kallas, K Khazem, FR Monteiro, ...
Software: Practice and Experience 51 (4), 772-797, 2021
202021
Manycore compiler fuzzing
N Chong, AF Donaldson, A Lascu, C Lidbury
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2015
62015
Scalable verification techniques for data-parallel programs.
N Chong
Imperial College London, 2014
62014
Formally Verifying FreeRTOS’Interprocess Communication Mechanism
N Chong, B Jacobs
6
Implementing and evaluating candidate-based invariant generation
A Betts, N Chong, P Deligiannis, AF Donaldson, J Ketema
IEEE Transactions on Software Engineering 44 (7), 631-650, 2017
42017
Formal Analysis Techniques for Reliable GPU Programming: Current Solutions and Call to Action
AF Donaldson, G Gopalakrishnan, N Chong, J Ketema, G Li, P Li, ...
United States: Elsevier Inc 9, 3-21, 2016
12016
Functional programming for hardware definition, verification and modelling
N Chong, S Ishtiaq
12007
Handling load-exclusive instructions in apparatus having support for transactional memory
MJ Horsnell, G Magklis, RR Grisenthwaite, NYS Chong
US Patent App. 17/255,001, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20