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 | Author of Automatically Comparing Memory Consistency Models within the POPL-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2017-profile
View general profile
View general profile