Tyler Sorensen
Tyler Sorensen
Assistant Professor, UC Santa Cruz
Verified email at - Homepage
Cited by
Cited by
GPU concurrency: Weak behaviours and programming assumptions
J Alglave, M Batty, AF Donaldson, G Gopalakrishnan, J Ketema, D Poetzl, ...
ACM SIGARCH Computer Architecture News 43 (1), 577-591, 2015
Automatically comparing memory consistency models
J Wickerson, M Batty, T Sorensen, GA Constantinides
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming …, 2017
Exposing errors related to weak memory in GPU applications
T Sorensen, AF Donaldson
ACM SIGPLAN Notices 51 (6), 100-113, 2016
The semantics of transactions and weak memory in x86, Power, ARM, and C++
N Chong, T Sorensen, J Wickerson
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018
Portable inter-workgroup barrier synchronisation for GPUs
T Sorensen, AF Donaldson, M Batty, G Gopalakrishnan, Z Rakamarić
Proceedings of the 2016 ACM SIGPLAN International Conference on Object …, 2016
Slow and steady: Measuring and tuning multicore interference
D Iorga, T Sorensen, J Wickerson, AF Donaldson
2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2020
The hitchhiker's guide to cross-platform opencl application development
T Sorensen, AF Donaldson
Proceedings of the 4th International Workshop on OpenCL, 1-12, 2016
Towards shared memory consistency models for GPUs
T Sorensen, G Gopalakrishnan, V Grover
Proceedings of the 27th international ACM conference on International …, 2013
The semantics of shared memory in Intel CPU/FPGA systems
D Iorga, AF Donaldson, T Sorensen, J Wickerson
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-28, 2021
Cooperative kernels: GPU multitasking for blocking algorithms
T Sorensen, H Evrard, AF Donaldson
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
MosaicSim: A lightweight, modular simulator for heterogeneous systems
O Matthews, A Manocha, D Giri, M Orenes-Vera, E Tureci, T Sorensen, ...
2020 IEEE International Symposium on Performance Analysis of Systems and …, 2020
One size doesn't fit all: Quantifying performance portability of graph applications on GPUs
T Sorensen, S Pai, AF Donaldson
2019 IEEE International Symposium on Workload Characterization (IISWC), 155-166, 2019
Graphattack: Optimizing data supply for graph applications on in-order multicore architectures
A Manocha, T Sorensen, E Tureci, O Matthews, JL Aragón, M Martonosi
ACM Transactions on Architecture and Code Optimization (TACO) 18 (4), 1-26, 2021
GPU schedulers: how fair is fair enough?
T Sorensen, H Evrard, AF Donaldson
29th International Conference on Concurrency Theory (CONCUR 2018), 2018
Specifying and testing GPU workgroup progress models
T Sorensen, LF Salvador, H Raval, H Evrard, J Wickerson, M Martonosi, ...
Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-30, 2021
Foundations of empirical memory consistency testing
J Kirkham, T Sorensen, E Tureci, M Martonosi
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-29, 2020
A simulator and compiler framework for agile hardware-software co-design evaluation and exploration
T Sorensen, A Manocha, E Tureci, M Orenes-Vera, JL Aragón, ...
Proceedings of the 39th International Conference on Computer-Aided Design, 1-9, 2020
MC mutants: Evaluating and improving testing for memory consistency specifications
R Levine, T Guo, M Cho, A Baker, R Levien, D Neto, A Quinn, T Sorensen
Proceedings of the 28th ACM International Conference on Architectural …, 2023
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
R Levine, M Cho, D McKee, A Quinn, T Sorensen
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
Inter-workgroup barrier synchronisation on graphics processing units
T Sorensen
Imperial College London, 2018
The system can't perform the operation now. Try again later.
Articles 1–20