Group Publications

• Implementing and Evaluating Candidate-Based Invariant Generation

  Adam Betts, Nathan Chong, Alastair F. Donaldson, Pantazis Deligiannis, Jeroen Ketema

  IEEE Transactions on Software Engineering

• Implementing and Evaluating Candidate-Based Invariant Generation

  Adam Betts, Nathan Chong, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema

  CoRR

• Many-Core Compiler Fuzzing

  Christopher Lidbury, Andrei Lascu, Nathan Chong, Alastair F. Donaldson

  36th Annual ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI'15)

• The Design and Implementation of a Verification Technique for GPU Kernels

  Adam Betts, Nathan Chong, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer, Paul Thomson, John Wickerson

  ACM Transactions on Programming Languages and Systems

• Engineering a Static Verification Tool for GPU Kernels

  Ethel Bardsley, Adam Betts, Nathan Chong, Peter Collingbourne, Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Daniel Liew, Shaz Qadeer

  26th International Conference on Computer Aided Verification (CAV'14)

• A Sound and Complete Abstraction for Reasoning About Parallel Prefix Sums

  Nathan Chong, Alastair F. Donaldson, Jeroen Ketema

  41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL'14)

• Barrier Invariants: a Shared State Abstraction for the Analysis of Data-Dependent GPU Kernels

  Nathan Chong, Alastair F. Donaldson, Paul H. J. Kelly, Jeroen Ketema, Shaz Qadeer

  28th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'13)

• GPUVerify: a Verifier for GPU Kernels

  Adam Betts, Nathan Chong, Alastair F. Donaldson, Shaz Qadeer, Paul Thomson

  27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'12)