| 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 | 221 | 2012 |
| Many-core compiler fuzzing C Lidbury, A Lascu, N Chong, AF Donaldson ACM SIGPLAN Notices 50 (6), 65-76, 2015 | 216 | 2015 |
| 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 | 82 | 2009 |
| 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 | 69 | 2009 |
| 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 | 58 | 2015 |
| Code-Level Model Checking in the Software Development Workflow N Chong, B Cook, K Kallas, K Khazem, FR Monteiro, ... | 47 | 2020 |
| 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 | 43 | 2018 |
| 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 | 43 | 2014 |
| Reasoning about the ARM weakly consistent memory model N Chong, S Ishtiaq Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance …, 2008 | 43 | 2008 |
| 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 | 31 | 2014 |
| 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 | 30 | 2013 |
| 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 | 28 | 2019 |
| 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 | 25 | 2021 |
| Manycore compiler fuzzing N Chong, AF Donaldson, A Lascu, C Lidbury Proceedings of the 35th ACM SIGPLAN Conference on Programming Language …, 2015 | 7 | 2015 |
| Formally Verifying FreeRTOS’Interprocess Communication Mechanism N Chong, B Jacobs | 7 | |
| Scalable verification techniques for data-parallel programs. N Chong Imperial College London, 2014 | 6 | 2014 |
| 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 | 5 | 2017 |
| 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 | 3 | 2016 |
| Functional programming for hardware definition, verification and modelling N Chong, S Ishtiaq | 1 | 2007 |
| 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 |
Alastair DonaldsonImperial College LondonVerified email at imperial.ac.uk
