Nathan Chong
Nathan Chong
Adresse e-mail validée de amazon.com - Page d'accueil
Titre
Citée par
Citée par
Année
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
1672012
Many-core compiler fuzzing
C Lidbury, A Lascu, N Chong, AF Donaldson
ACM SIGPLAN Notices 50 (6), 65-76, 2015
1042015
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
742009
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
722009
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
432015
Reasoning about the ARM weakly consistent memory model
N Chong, S Ishtiaq
Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008
402008
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
352014
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
282013
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
242014
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
232018
Code-Level Model Checking in the Software Development Workflow
N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ...
72020
Manycore compiler fuzzing
N Chong, AF Donaldson, A Lascu, C Lidbury
Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2015
52015
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
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
32019
Scalable verification techniques for data-parallel programs.
N Chong
Imperial College London, 2014
32014
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
IP Modeling and Verification
E Özer, N Chong, K Flautner
Processor and System-on-Chip Simulation, 279-292, 2010
2010
Speculative multithreading: modelling, simulation and compiler support
N Chong
Imperial College, 2005
2005
Speculative Multithreaded Architectures
N Chong
2005
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20