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/

PLDI 2018 Activities

Using general profile