Registered user since Sat 3 Sep 2016
I’m a PhD student at Imperial College London supervised by Alastair Donaldson. I’m interested in writing and reasoning about GPU programs, especially ones that require non-traditional synchronisation idioms.
|POPL 2017||Automatically Comparing Memory Consistency Models|
|Show activities from other conferences|
View general profile