| 2017 | CONCUR | Forward Progress on GPU Concurrency (Invited Talk). | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2015 | PLDI | Asynchronous programming, analysis and testing with state machines. | Pantazis Deligiannis, Alastair F. Donaldson, Jeroen Ketema, Akash Lal, Paul Thomson |
| 2014 | CAV | 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 |
| 2014 | POPL | A sound and complete abstraction for reasoning about parallel prefix sums. | Nathan Chong, Alastair F. Donaldson, Jeroen Ketema |
| 2013 | ESOP | Interleaving and Lock-Step Semantics for Analysis and Verification of GPU Kernels. | Peter Collingbourne, Alastair F. Donaldson, Jeroen Ketema, Shaz Qadeer |
| 2013 | OOPSLA | 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 |
| 2012 | DLT | Characterizing Languages by Normalization and Termination in String Rewriting - (Extended Abstract). | Jeroen Ketema, Jakob Grue Simonsen |
| 2012 | ETFA | A distributed scheduling algorithm for real-time (D-SAR) industrial wireless sensor and actuator networks. | Pouria Zand, Supriyo Chatterjea, Jeroen Ketema, Paul J. M. Havinga |
| 2010 | FLOPS | Least Upper Bounds on the Size of Church-Rosser Diagrams in Term Rewriting and | Jeroen Ketema, Jakob Grue Simonsen |
| 2005 | LPAR | On Confluence of Infinitary Combinatory Reduction Systems. | Jeroen Ketema, Jakob Grue Simonsen |