Tyler Sorensen

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 27

Top Topics

Correctness Criterion

Technical Report

Top Venues

Proc. ACM Program. Lang.

Publications

Tyler Sorensen, Heidy Khlaaf
LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. CoRR (2024)
Ishita Chaturvedi, Bhargav Reddy Godala, Yucan Wu, Ziyang Xu, Konstantinos Iliakis, Panagiotis-Eleftherios Eleftherakis, Sotirios Xydis, Dimitrios Soudris, Tyler Sorensen, Simone Campanoni, Tor M. Aamodt, David I. August
GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction. ISCA (2024)
Sanya Srivastava, Tyler Sorensen
Degree-Aware Kernel Mapping for Graph Processing on GPUs. ISPASS (2023)
Yanwen Xu, Ang Li, Tyler Sorensen
Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. ISPASS (2023)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and Testing GPU Workgroup Progress Models. CoRR (2021)
Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5 (OOPSLA) (2021)
Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi
GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. ACM Trans. Archit. Code Optim. 18 (4) (2021)
Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi
Foundations of empirical memory consistency testing. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi
A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. ICCAD (2020)
Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi
The MosaicSim Simulator (Full Technical Report). CoRR (2020)
Opeoluwa Matthews, Aninda Manocha, Davide Giri, Marcelo Orenes-Vera, Esin Tureci, Tyler Sorensen, Tae Jun Ham, Juan L. Aragón, Luca P. Carloni, Margaret Martonosi
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS (2020)
Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS (2020)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX Annual Technical Conference (2019)
Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL (2019)
Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC (2019)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
GPU Schedulers: How Fair Is Fair Enough?. CONCUR (2018)
Dan Iorga, Tyler Sorensen, Alastair F. Donaldson
Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR (2018)
Nathan Chong, Tyler Sorensen, John Wickerson
The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI (2018)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE (2017)
Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
Forward Progress on GPU Concurrency (Invited Talk). CONCUR (2017)
Nathan Chong, Tyler Sorensen, John Wickerson
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR (2017)
John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides
Automatically comparing memory consistency models. POPL (2017)
Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR (2017)
Tyler Sorensen, Alastair F. Donaldson
Exposing errors related to weak memory in GPU applications. PLDI (2016)
Tyler Sorensen, Alastair F. Donaldson
The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL (2016)
Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA (2016)
Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS (2015)
Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015)
Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover
Towards shared memory consistency models for GPUs. ICS (2013)