Publications

T. Sorensen, H. Khlaaf (2024). LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. ArXiv, work done while at Trail of Bits.

PDF

R. Levine, M. Cho, D. McKee, A. Quinn, T. Sorensen (2023). GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). Distinguished Artifact Award in ISSTA.

PDF

R. Levine, T. Guo, M. Cho, A. Baker, R. Levien, D. Neto, A. Quinn, T. Sorensen (2023). MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. Distinguished Paper Award and Distinguished Artifact Award in ASPLOS.

PDF

Y. Xu, A. Li, T. Sorensen (2023). Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. in ISPASS.

PDF

T. Sorensen, L. F. Salvador, H. Raval, H. Evrard, J. Wickerson, M. Martonosi, A. F. Donaldson (2021). Specifying and Testing GPU Workgroup Progress Models. In OOPSLA.

PDF Code Test Explorer

D. Iorga, A. F. Donaldson, T. Sorensen, J. Wickerson (2021). The Semantics of Shared Memory in Intel CPU/FPGASystems. In OOPSLA.

PDF Code Blog

A. Manocha, T. Sorensen, E. Tureci, O. Mathews, J. L. Aragón, M. Martonosi (2021). GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. In TACO.

PDF

J. Kirkham, T. Sorensen, E. Tureci, M. Martonosi (2020). Foundations of Empirical Memory Consistency Testing. In OOPSLA.

PDF Video

D. Iorga, T. Sorensen, J. Wickerson, A. F. Donaldson (2020). Slow and Steady: Measuring and Tuning Multicore Interference. in RTAS.

PDF

O. Matthews, A. Manocha, D. Giri, M. Orenes-Vera, E. Tureci, T. Sorensen, T. Ham, J. L. Aragón, L. Carloni, M. Martonosi (2020). MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. Best Paper Nomination in ISPASS.

PDF

T. Sorensen, A. Manocha, E. Tureci, M. Orenes-Vera, J. L. Aragón, M. Martonosi (2020). A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. Invited talk at ICCAD.

PDF Slides

T. Sorensen, S. Pai, A. F. Donaldson (2019). One size doesn’t fit all: quantifying performance portability of graph applications on GPUs. Best Paper Award in IISWC.

PDF Slides

T. Sorensen, S. Pai, A. F. Donaldson (2019). Performance evaluation of OpenCL standard support (and beyond). Best Paper Award in IWOCL.

PDF Slides

T. Sorensen, Adviser: A. F. Donaldson (2018). PhD: Device-wide Barrier Synchronisation on Graphics Processing Units. PhD Thesis, Imperial College London.

PDF

T. Sorensen, H. Evrard, A. F. Donaldson (2018). GPU schedulers: how fair is fair enough?. in CONCUR.

PDF Slides

N. Chong, T. Sorensen, J. Wickerson (2018). The semantics of transactions and weak memory in x86, Power, ARM, and C++. Best Paper Award in PLDI.

PDF

T. Sorensen, H. Evrard, A. F. Donaldson (2017). Cooperative kernels: GPU multitasking for blocking algorithms. Distinguished Paper Award in FSE.

PDF Code Poster Slides

J. Wickerson, M. Batty, T. Sorensen, G. Constantinides (2017). Automatically comparing memory consistency models. In POPL.

PDF

T. Sorensen, A. F. Donaldson, M. Batty, G. Gopalakrishnan, Z. Rakamaric (2016). Portable inter-workgroup barrier synchronisation for GPUs. In OOPSLA.

PDF Code Slides

T. Sorensen, A. F. Donaldson (2016). Exposing errors related to weak memory in GPU applications. In PLDI.

PDF Slides Video

T. Sorensen, A. F. Donaldson (2016). The hitchhiker’s guide to cross-platform OpenCL application development. in IWOCL.

PDF Slides

J. Alglave, M. Batty, A. F. Donaldson, G. Gopalakrishnan, J. Ketema, D. Poetzl, T. Sorensen, J. Wickerson (2015). GPU concurrency: weak behaviours and programming assumptions. In ASPLOS.

PDF Dataset Poster

J. Alglave, L. Maranget, D. Poetzl, T. Sorensen (2015). I compute, therefore I am (buggy): methodic doubt meets multiprocessors. in TinyToCS (vol 3).

PDF

T. Sorensen, Adviser: G. Gopalakrishnan and Z. Rakamaric (2014). MS: Testing and Exposing Weak GPU Memory Models. MS Thesis, University of Utah.

PDF

T. Sorensen, J. Alglave, G. Gopalakrishnan, V. Grover (2013). Towards shared memory consistency models for GPUs. 1st place undergrad SRC in ICS.

Preprint PDF Poster

T. Sorensen, Adviser: G. Gopalakrishnan (2013). BS: Towards Shared Memory Consistency Models for GPUS. BS Thesis, University of Utah.

PDF