TS
Tyler Sorensen
University California, Santa Cruz, Princeton University, Imperial Collegel London, University of Utah, Snow College
0000-0003-1646-7935
Employment
-
University California, Santa Cruz Assistant Professor2019 - Present
-
Princeton University Post Doctoral Researcher2018 - 2019
Education
-
Imperial Collegel London PhD2014 - 2019
-
University of Utah MS2012 - 2014
-
University of Utah BS2010 - 2014
-
University of Utah BS2010 - 2012
-
Snow College AS2008 - 2010
Projects & Funding
Projects & funding information is unavailable.
Publications (35)
- Consistency and Coherence of the NVIDIA Grace-Hopper Superchip Save
- Kuiper: Correct and Efficient GPU Programming with Dependent Types and Separation Logic Save
- SIMT-Step Execution: A Flexible Operational Semantics for GPU Subgroup Behavior Save
- Parallel X: Redesigning of a Parallel Programming Educational Game with Semantic Foundations and Transfer Learning Save
- The Next Frontier for AI-Generated Kernels: Correctness Save
- SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads Save
- SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races Save
- Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations Save
- GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper) Save
- Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads Save