Tyler Sorensen

Registered user since Wed 9 Oct 2019

Name:Tyler Sorensen
Bio:

I am a Post Doc researcher at Princeton University working in Margaret Martonosi’s group. My research interests are in concurrency: programming, modeling, testing, and architecture. In particular, I am interested in exploring new heterogeneous architectures and how programming models can enable development of secure and efficient applications.

I received my PhD from the Multicore Programming Group at Imperial College London supervised by Alastair Donaldson. Previously, I worked with Ganesh Gopalakrishnan and Zvonimir Rakamaric at University of Utah.

Affiliation:University of California at Santa Cruz
Research interests:Heterogeneous concurrency: compilers and programming languages

Contributions

POPL 2022 Committee Member in Selection Committee within the Student Research Competition-track
SPLASH 2021 Author of Specifying and Testing GPU Workgroup Progress Models within the OOPSLA-track
Session Chair of PLDI 2020 Papers 2 (part of SIGPLAN Papers)
PLDI 2021 Co-chair in Student Research Competition (SRC) within the SRC-track
Student Research Competition Co-Chair in Organizing Committee
SPLASH 2020 Session Chair of T-5 (part of OOPSLA)
Committee Member in External Review Committee within the OOPSLA-track
Author of Foundations of Empirical Memory Consistency Testing within the OOPSLA-track
PLDI 2020 Committee Member in Program Committee within the PLDI Research Papers-track