Nathan Chong
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
12
Venues
9
Active years
2008–2026
Best venue rank
A*
Where they publish
Papers
12 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | ITP | Nitro Isolation Engine: Formally Verifying a Production Hypervisor (Invited Talk). | Hanno Becker, Nathan Chong, Robert Dockins, Jim Grundy, Jason Z. S. Hu, Ike Mulder, Dominic P. Mulligan, Paul Mure, Bryan Parno, Lawrence C. Paulson, Konrad Slind |
| 2022 | ICSE | Verifying Dynamic Trait Objects in Rust. | Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson |
| 2020 | ICSE | 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 |
| 2019 | USENIX | The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2018 | PLDI | The semantics of transactions and weak memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2015 | PLDI | Many-core compiler fuzzing. | Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson |
| 2014 | CAV | 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 |
| 2014 | POPL | A sound and complete abstraction for reasoning about parallel prefix sums. | Nathan Chong, Alastair F. Donaldson, Jeroen Ketema |
| 2013 | OOPSLA | 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 |
| 2012 | OOPSLA | GPUVerify: a verifier for GPU kernels. | Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson |
| 2009 | CGO | Stream Compilation for Real-Time Embedded Multicore Systems. | Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge |
| 2008 | ASPLOS | Reasoning about the ARM weakly consistent memory model. | Nathan Chong, Samin Ishtiaq |