Nathan Chong - RankMe

18 papers A* 4A 3Journal 6Unranked 4

Year	Rank	Type	Title / Venue / Authors
2023	J	`jnl`	A Verification Methodology for the Arm® Confidential Computing Architecture: From a Secure Specification to Safe Implementations. Proc. ACM Program. Lang. Anthony C. J. Fox, Gareth Stockwell, Shale Xiong, Hanno Becker, Dominic P. Mulligan, Gustavo Petri, Nathan Chong
2022	—	`conf`	Verifying Dynamic Trait Objects in Rust. ICSE (SEIP) Alexa VanHattum, Daniel Schwartz-Narbonne, Nathan Chong, Adrian Sampson
2021	J	`jnl`	Code-level model checking in the software development workflow at Amazon Web Services. Softw. Pract. Exp. Nathan Chong, Byron Cook, Jonathan Eidelman, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2020	—	`conf`	Code-level model checking in the software development workflow. ICSE (SEIP) Nathan Chong, Byron Cook, Konstantinos Kallas, Kareem Khazem, Felipe R. Monteiro, Daniel Schwartz-Narbonne, Serdar Tasiran, Michael Tautschnig, Mark R. Tuttle
2019	—	`conf`	The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX ATC Nathan Chong, Tyler Sorensen, John Wickerson
2018	J	`jnl`	Implementing and Evaluating Candidate-Based Invariant Generation. IEEE Trans. Software Eng. Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
2018	A*	`conf`	The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI Nathan Chong, Tyler Sorensen, John Wickerson
2017	J	`jnl`	The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR Nathan Chong, Tyler Sorensen, John Wickerson
2016	J	`jnl`	Implementing and Evaluating Candidate-Based Invariant Generation. CoRR Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema
2015	A*	`conf`	Many-core compiler fuzzing. PLDI Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson
2015	J	`jnl`	The Design and Implementation of a Verification Technique for GPU Kernels. ACM Trans. Program. Lang. Syst. Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson
2014	A*	`conf`	A sound and complete abstraction for reasoning about parallel prefix sums. POPL Nathan Chong, Alastair F. Donaldson, Jeroen Ketema
2014	A*	`conf`	Engineering a Static Verification Tool for GPU Kernels. CAV Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer
2014	—	`—`	Scalable verification techniques for data-parallel programs. Nathan Chong
2013	A	`conf`	Barrier invariants: a shared state abstraction for the analysis of data-dependent GPU kernels. OOPSLA Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer
2012	A	`conf`	GPUVerify: a verifier for GPU kernels. OOPSLA Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson
2009	A	`conf`	Stream Compilation for Real-Time Embedded Multicore Systems. CGO Yoonseo Choi, Yuan Lin, Nathan Chong, Scott A. Mahlke, Trevor N. Mudge
2008	—	`conf`	Reasoning about the ARM weakly consistent memory model. MSPC Nathan Chong, Samin Ishtiaq