Nathan Chong

Orcid: 0000-0001-7843-9556

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

Collaborative distances:

Timeline

2008
2010
2012
2014
2016
2018
2020
2022
0
1
2
3
4
1
1
1
1
1
1
1
1
1
2
1
1
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations.
Proc. ACM Program. Lang., April, 2023

2022
Verifying Dynamic Trait Objects in Rust.
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.
Softw. Pract. Exp., 2021

2020
Code-level model checking in the software development workflow.
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.
IEEE Trans. Software Eng., 2018

The semantics of transactions and weak memory in x86, Power, ARM, and C++.
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++.
CoRR, 2017

2015
The Design and Implementation of a Verification Technique for GPU Kernels.
ACM Trans. Program. Lang. Syst., 2015

Many-core compiler fuzzing.
Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2015

2014
Scalable verification techniques for data-parallel programs.
PhD thesis, 2014

A sound and complete abstraction for reasoning about parallel prefix sums.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

Engineering a Static Verification Tool for GPU Kernels.
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.
Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, 2013

2012
GPUVerify: a verifier for GPU kernels.
Proceedings of the 27th Annual ACM SIGPLAN Conference on Object-Oriented Programming, 2012

2009
Stream Compilation for Real-Time Embedded Multicore Systems.
Proceedings of the CGO 2009, 2009

2008
Reasoning about the ARM weakly consistent memory model.
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


  Loading...