Nathan Chong

机构：Amazon (United States) · ORCID：0000-0001-7843-9556

发表论文 31 篇 · 总被引 754 次 · h-index 14

代表论文

• Many-core compiler fuzzing (2015 · 被引 146)
• GPUVerify (2012 · 被引 145)
• Many-core compiler fuzzing (2015 · ACM SIGPLAN Notices · 被引 66)
• The Design and Implementation of a Verification Technique for GPU Kernels (2015 · ACM Transactions on Programming Languages and Systems · 被引 58)
• GPUVerify (2012 · ACM SIGPLAN Notices · 被引 46)
• Engineering a Static Verification Tool for GPU Kernels (2014 · Lecture notes in computer science · 被引 37)