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

• Forward Progress on GPU Concurrency

  Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson

  28th International Conference on Concurrency Theory (CONCUR'17)

• Termination Analysis for GPU Kernels

  Jeroen Ketema, Alastair F. Donaldson

  Science of Computer Programming

• Implementing and Evaluating Candidate-Based Invariant Generation

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

  CoRR

• PENCIL: A Platform-Neutral Compute Intermediate Language for Accelerator Programming

  Riyadh Baghdadi, Ulysse Beaugnon, Albert Cohen, Tobias Grosser, Michael Kruse, Chandan Reddy, Sven Verdoolaege, Adam Betts, Alastair F. Donaldson, Jeroen Ketema, Javed Absar, Sven van Haastregt, Alexey Kravets, Anton Lokhmotov, Robert David, Elnar Hajiyev

  2015 International Conference on Parallel Architecture and Compilation (PACT'15)

• Asynchronous Programming, Analysis and Testing with State Machines

  Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson

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

• GPU Concurrency: Weak Behaviours and Programming Assumptions

  Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

  20th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS'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)

• Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels

  Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer

  22nd European Symposium on Programming (ESOP'13)