Nathan Chong - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Publications with a 'Nathan Chong' as author, editor, or advisor:

Scalable verification techniques for data-parallel programsNathan Chong. PhD thesis, Imperial College London, UK, 2014. [doi]
Code-level model checking in the software development workflow at Amazon Web ServicesNathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle. SPE, 51(4):772-797, 2021. [doi]
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe ImplementationsAnthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong. PACMPL, 7(OOPSLA1):376-405, April 2023. [doi]
Verifying Dynamic Trait Objects in RustAlexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson. ICSE 2022: 321-330 [doi]
Many-core compiler fuzzingChristopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson. PLDI 2015: 65-76 [doi]
The Design and Implementation of a Verification Technique for GPU KernelsAdam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson. TOPLAS, 37(3):10, 2015. [doi]
Implementing and Evaluating Candidate-Based Invariant GenerationAdam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema. TSE, 44(7):631-650, 2018. [doi]
Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernelsNathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer. OOPSLA 2013: 605-622 [doi]
A sound and complete abstraction for reasoning about parallel prefix sumsNathan Chong, Alastair F. Donaldson, Jeroen Ketema. POPL 2014: 397-410 [doi]
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++Nathan Chong, Tyler Sorensen, John Wickerson. usenix 2019: [doi]
Stream Compilation for Real-Time Embedded Multicore SystemsYoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge. CGO 2009: 210-220 [doi]
Reasoning about the ARM weakly consistent memory modelNathan Chong, Samin Ishtiaq. asplos 2008: 16-19 [doi]
The semantics of transactions and weak memory in x86, Power, ARM, and C++Nathan Chong, Tyler Sorensen, John Wickerson. PLDI 2018: 211-225 [doi]
Code-level model checking in the software development workflowNathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle. ICSE 2020: 11-20 [doi]
GPUVerify: a verifier for GPU kernelsAdam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson. OOPSLA 2012: 113-132 [doi]
Engineering a Static Verification Tool for GPU KernelsEthel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer. cav 2014: 226-242 [doi]

runs on WebDSL