Tyler Sorensen

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 study testing and modeling of many-core systems, with an emphasis on fine-grained communication idioms.

Country: United Kingdom

Affiliation: Imperial College London

Personal website: https://www.doc.ic.ac.uk/~trs15/

Contributions

PLDI 2018Committee Member in External Review Committee
Author of The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++ within the PLDI Research Papers-track
Show activities from other conferences

Using general profile