Tyler Sorensen

According to our database1, Tyler Sorensen authored at least 22 papers between 2013 and 2020.

Collaborative distances:



In proceedings 
PhD thesis 


Online presence:

On csauthors.net:


Foundations of empirical memory consistency testing.
Proc. ACM Program. Lang., 2020

The MosaicSim Simulator (Full Technical Report).
CoRR, 2020

Slow and Steady: Measuring and Tuning Multicore Interference.
Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems.
Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2020

A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration.
Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

Performance Evaluation of OpenCL Standard Support (and Beyond).
Proceedings of the International Workshop on OpenCL, 2019

One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs.
Proceedings of the IEEE International Symposium on Workload Characterization, 2019

Inter-workgroup barrier synchronisation on graphics processing units.
PhD thesis, 2018

Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis.
CoRR, 2018

The semantics of transactions and weak memory in x86, Power, ARM, and C++.
Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

GPU Schedulers: How Fair Is Fair Enough?.
Proceedings of the 29th International Conference on Concurrency Theory, 2018

The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++.
CoRR, 2017

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version).
CoRR, 2017

Cooperative kernels: GPU multitasking for blocking algorithms.
Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Automatically comparing memory consistency models.
Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Forward Progress on GPU Concurrency (Invited Talk).
Proceedings of the 28th International Conference on Concurrency Theory, 2017

Exposing errors related to weak memory in GPU applications.
Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Portable inter-workgroup barrier synchronisation for GPUs.
Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

The Hitchhiker's Guide to Cross-Platform OpenCL Application Development.
Proceedings of the 4th International Workshop on OpenCL, 2016

I compute, therefore I am (buggy): methodic doubt meets multiprocessors.
Tiny Trans. Comput. Sci., 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.
Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

Towards shared memory consistency models for GPUs.
Proceedings of the International Conference on Supercomputing, 2013