Nathan Chong

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