• Sign in
  • Sign up
conf.researchr.org / Nathan Chong
  • ICSE 2020 profile
  • ICSE 2022 profile
  • PLDI 2015 profile
  • PLDI 2018 profile
  • PLDI 2020 profile
  • PLDI 2021 profile
  • SPLASH 2012 profile
  • SPLASH 2013 profile
  • SPLASH 2023 profile
Nathan Chong

Registered user since Wed 13 Jun 2018

Name:Nathan Chong
Country:United States
Affiliation:Amazon Web Services
Personal website: https://nchong.github.io
Research interests:Computer architecture, verification, concurrency

Contributions

2023

SPLASH

  • Author of A Verification Methodology for the ArmĀ® Confidential Computing Architecture: From a Secure Specification to Safe Implementations within the OOPSLA-track

2022

ICSE

  • Author of Verifying Dynamic Trait Objects in Rust within the SEIP - Software Engineering in Practice-track

2021

PLDI

  • Committee Member in Program Committee within the PLDI-track
  • Committee Member in Student Research Competition (SRC) within the SRC-track

2020

ICSE

  • Author of Code Level Model-Checking in the Software Development Workflow within the Software Engineering in Practice-track

PLDI

  • Committee Member in External Review Committee within the PLDI Research Papers-track

2018

PLDI

  • Author of The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ within the PLDI Research Papers-track

2015

PLDI

  • Author of Many-Core Compiler Fuzzing within the Research Papers-track

2013

SPLASH

  • Author of Barrier Invariants: A Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels within the OOPSLA-track

2012

SPLASH

  • Author of GPUVerify: a verifier for GPU kernels within the OOPSLA Research Papers-track
Share
xSun 18 May 03:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up