Nathan Chong

I am a second year PhD student interested in correct and efficient abstractions for particle-based methods. My research interests are parallel programming, computer architecture and formal reasoning. Specifications and problems at the hardware/software boundary get me excited. My previous work in this area include proofs of cache-coherence protocols, memory models and the semantics of barriers. Currently, I am very interested in the formal semantics of GPU programs and automatically proving good properties about them. Accelerators are increasingly common and I don’t believe formal methods and verification techniques have caught up with programmming them.

I have a background in industry as a research engineer at ARM where I worked on hardware and software at many levels of the system stack.

Publications

• Emre Ozer, Nathan Chong and Krisztian Flautner, IP Modeling and Verification, Processor and System-on-Chip Simulation, 2010
• Yoonseo Choi, Yuan Lin, Nathan Chong, Scott Mahlke and Trevor Mudge, Stream Compilation for Real-Time Embedded Multicore Systems, IEEE/ACM International Symposium on Code Generation and Optimization, 2009
• Nathan Chong and Samin Ishtiaq, Reasoning about the ARM weakly consistent memory model, ACM SIGPLAN Workshop on Memory Systems Performance and Correctness, 2008
• Nathan Chong and Samin Ishtiaq, The ARMv6M Architecture in Coq, Workshop on Hardware Design and Functional Languages, 2007