Tyler Sorensen

Registered user since Sat 3 Sep 2016

Name:Tyler Sorensen

I’m a PhD student at Imperial College London supervised by Alastair Donaldson. I study testing and modeling of many-core systems, with an emphasis on fine-grained communication idioms.

Country:United Kingdom
Affiliation:Imperial College London


PLDI 2018 Committee Member in External Review Committee
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++
Show activities from other conferences

PLDI 2018-profile
View general profile