Nathan Chong -

Registered user since Wed 13 Jun 2018

Name:Nathan Chong

Country:United Kingdom

Affiliation:Amazon

Personal website:https://nchong.github.io

Research interests:Computer architecture, verification, concurrency

Contributions

SPLASH 2023	Author of A verification methodology for the Arm® Confidential Computing Architecture within the OOPSLA-track
ICSE 2022	Author of Verifying Dynamic Trait Objects in Rust within the SEIP - Software Engineering in Practice-track
PLDI 2021	Committee Member in Program Committee within the PLDI-track Committee Member in Student Research Competition (SRC) within the SRC-track
ICSE 2020	Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track
PLDI 2020	Committee Member in External Review Committee within the PLDI Research Papers-track
PLDI 2018	Author of The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ within the PLDI Research Papers-track
PLDI 2015	Author of Many-Core Compiler Fuzzing within the Research Papers-track
SPLASH 2013	Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track
SPLASH 2012	Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track