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

Personal website:https://www.cs.princeton.edu/~ts20/

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