Nathan Chong

ORCID

Publication Activity (10 Years)

Years Active: 2008-2023
Publications (10 Years): 11

Top Venues

CoRR

PLDI

ICSE (SEIP)

Proc. ACM Program. Lang.

Imperial College London, UK (PHD)

Education History

Imperial College London, UK

PHD

Publications

Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
Verifying Dynamic Trait Objects in Rust. ICSE (SEIP) (2022)
Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. 51 (4) (2021)
Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
Code-level model checking in the software development workflow. ICSE (SEIP) (2020)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX Annual Technical Conference (2019)
Nathan Chong, Tyler Sorensen, John Wickerson
The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI (2018)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. 44 (7) (2018)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR (2017)
Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
Implementing and Evaluating Candidate-Based Invariant Generation. CoRR (2016)
Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
Many-core compiler fuzzing. PLDI (2015)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. 37 (3) (2015)
Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
A sound and complete abstraction for reasoning about parallel prefix sums. POPL (2014)
Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
Engineering a Static Verification Tool for GPU Kernels. CAV (2014)
Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA (2013)
Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
GPUVerify: a verifier for GPU kernels. OOPSLA (2012)
Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge
Stream Compilation for Real-Time Embedded Multicore Systems. CGO (2009)
Nathan Chong, Samin Ishtiaq
Reasoning about the ARM weakly consistent memory model. MSPC (2008)

Nathan Chong.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Nathan Chong