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/

POPL 2017 Activities

• Author of Automatically Comparing Memory Consistency Models within the POPL-track in POPL 2017
• Show activities from other conferences