Group Publications

• Model Checking Futexes

  Hugues Evrard, Alastair F. Donaldson

  29th International Symposium on Model Checking of Software (SPIN'23)

• Specifying and Testing GPU Workgroup Progress Models

  Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, Margaret Martonosi, Alastair F. Donaldson

  Proceedings of the ACM Programming Languages

• Putting Randomized Compiler Testing into Production

  Alastair F. Donaldson, Hugues Evrard, Paul Thomson

  34th European Conference on Object-Oriented Programming (ECOOP'20)

• GPU Schedulers: How Fair Is Fair Enough?

  Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

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

• Cooperative Kernels: GPU Multitasking for Blocking Algorithms

  Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

  11th Joint Meeting on Foundations of Software Engineering (ESEC/FSE'17)

• Automated Testing of Graphics Shader Compilers

  Alastair F. Donaldson, Hugues Evrard, Andrei Lascu, Paul Thomson

  Proceedings of the ACM Programming Languages