Nathan Chong

According to our database, Nathan Chong authored at least 16 papers between 2008 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2023

A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.

Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong

Proc. ACM Program. Lang., April, 2023

2022

Verifying Dynamic Trait Objects in Rust.

Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering in Practice, 2022

2021

Code-level model checking in the software development workflow at Amazon Web Services.

Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Softw. Pract. Exp., 2021

2020

Code-level model checking in the software development workflow.

Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle

Proceedings of the ICSE-SEIP 2020: 42nd International Conference on Software Engineering, Software Engineering in Practice, Seoul, South Korea, 27 June, 2020

2018

Implementing and Evaluating Candidate-Based Invariant Generation.

Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema

IEEE Trans. Software Eng., 2018

The semantics of transactions and weak memory in x86, Power, ARM, and C++.

Nathan Chong, Tyler Sorensen, John Wickerson

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++.

Nathan Chong, Tyler Sorensen, John Wickerson

CoRR, 2017

2015

The Design and Implementation of a Verification Technique for GPU Kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson

ACM Trans. Program. Lang. Syst., 2015

Many-core compiler fuzzing.

Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson

Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014

Scalable verification techniques for data-parallel programs.

Nathan Chong

PhD thesis, 2014

A sound and complete abstraction for reasoning about parallel prefix sums.

Nathan Chong, Alastair F. Donaldson, Jeroen Ketema

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Engineering a Static Verification Tool for GPU Kernels.

Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels.

Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer

Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012

GPUVerify: a verifier for GPU kernels.

Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2009

Stream Compilation for Real-Time Embedded Multicore Systems.

Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge

Proceedings of the CGO 2009, 2009

2008

Reasoning about the ARM weakly consistent memory model.

Nathan Chong, Samin Ishtiaq

Proceedings of the 2008 ACM SIGPLAN workshop on Memory Systems Performance and Correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), 2008