Publications

Conference

More Publications

. GPU schedulers: how fair is fair enough?. in CONCUR, 2018.

PDF Slides

. The semantics of transactions and weak memory in x86, Power, ARM, and C++. Best Paper Award in PLDI, 2018.

PDF

. Cooperative kernels: GPU multitasking for blocking algorithms. Best Paper Award in FSE, 2017.

PDF Code Poster Slides

. Automatically comparing memory consistency models. In POPL, 2017.

PDF

. Portable inter-workgroup barrier synchronisation for GPUs. In OOPSLA, 2016.

PDF Code Slides

. GPU concurrency: weak behaviours and programming assumptions. In ASPLOS, 2015.

PDF Dataset Poster

Publications

Workshop

More Publications

. I compute, therefore I am (buggy): methodic doubt meets multiprocessors. in TinyToCS (vol 3), 2015.

PDF

. Towards shared memory consistency models for GPUs. 1st place undergrad SRC in ICS, 2013.

Preprint PDF Poster

. Device-wide Barrier Synchronisation on Graphics Processing Units. PhD Thesis, Imperial College London PDF COMING SOON!, 2018.

. Testing and Exposing Weak GPU Memory Models. MS Thesis, University of Utah, 2014.

PDF

. Towards Shared Memory Consistency Models for GPUS. BS Thesis, University of Utah, 2013.

PDF

Projects


A .gif showing the magnitude of weak memory behaviours for three litmus tests (MP, SB, LB) that appear when stressing individual memory locations of a scratchpad location. These patterns were key in finding and observing weak memory bugs in GPU applications (explained in PLDI’16 paper).



ICL Art of Research

Making art from buggy GPU programs.

Online Binary Decision Tree

Simple boolean algebra online tools.

Service

Venue Role Year
ECOOP/ISSTA PC for doctoral symposium 2018
PLDI ERC 2018
TinyToCS PC 2016
POPL AEC 2016

Journal reviewer for:

  • ACM TACO
  • Formal Methods in System Design

Awards and Recognition

PLDI'18 Best Paper Award 2018
FSE'17 Best Paper Award 2017
ICL Art of Research Staff Pick 2016
Outstanding Senior Award (University of Utah) 2014
Snow College 40 under 40 2014
Finalist (top 5) CRA Undergraduate Researcher Competition 2013