
Registered user since Sat 3 Sep 2016
Name: Tyler Sorensen
Bio: 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.
Country: United Kingdom
Affiliation: Imperial College London
Personal website: https://www.doc.ic.ac.uk/~tsorensen/
Contributions
POPL 2017 | Automatically Comparing Memory Consistency Models | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2017-profile
View general profile
View general profile