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