Tyler Sorensen

According to our database, Tyler Sorensen authored at least 33 papers between 2011 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations.

Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson

Proc. ACM Program. Lang., 2024

LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory.

Tyler Sorensen, Heidy Khlaaf

CoRR, 2024

GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction.

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

Proceedings of the 51st ACM/IEEE Annual International Symposium on Computer Architecture, 2024

2023

GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper).

Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen

Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2023

Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads.

Yanwen Xu, Ang Li, Tyler Sorensen

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2023

Degree-Aware Kernel Mapping for Graph Processing on GPUs.

Sanya Srivastava, Tyler Sorensen

Proceedings of the IEEE International Symposium on Performance Analysis of Systems and Software, 2023

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.

Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen

Proceedings of the 28th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, 2023

2021

GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures.

Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi

ACM Trans. Archit. Code Optim., 2021

Specifying and testing GPU workgroup progress models.

Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson

Proc. ACM Program. Lang., 2021

The semantics of shared memory in Intel CPU/FPGA systems.

Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson

Proc. ACM Program. Lang., 2021

2020

Foundations of empirical memory consistency testing.

Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi

Proc. ACM Program. Lang., 2020

The MosaicSim Simulator (Full Technical Report).

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

CoRR, 2020

Slow and Steady: Measuring and Tuning Multicore Interference.

Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson

Proceedings of the IEEE Real-Time and Embedded Technology and Applications Symposium, 2020

MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems.

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

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.

Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi

Proceedings of the IEEE/ACM International Conference On Computer Aided Design, 2020

2019

Performance Evaluation of OpenCL Standard Support (and Beyond).

Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson

Proceedings of the International Workshop on OpenCL, 2019

One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs.

Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson

Proceedings of the IEEE International Symposium on Workload Characterization, 2019

2018

Inter-workgroup barrier synchronisation on graphics processing units.

Tyler Sorensen

PhD thesis, 2018

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

Dan Iorga, Tyler Sorensen, Alastair F. Donaldson

CoRR, 2018

The semantics of transactions and weak memory in x86, Power, ARM, and C++.

Nathan Chong, Tyler Sorensen, John Wickerson

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

GPU Schedulers: How Fair Is Fair Enough?.

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Proceedings of the 29th International Conference on Concurrency Theory, 2018

2017

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

Nathan Chong, Tyler Sorensen, John Wickerson

CoRR, 2017

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

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

CoRR, 2017

Cooperative kernels: GPU multitasking for blocking algorithms.

Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Automatically comparing memory consistency models.

John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides

Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, 2017

Forward Progress on GPU Concurrency (Invited Talk).

Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson

Proceedings of the 28th International Conference on Concurrency Theory, 2017

2016

Exposing errors related to weak memory in GPU applications.

Tyler Sorensen, Alastair F. Donaldson

Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2016

Portable inter-workgroup barrier synchronisation for GPUs.

Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric

Proceedings of the 2016 ACM SIGPLAN International Conference on Object-Oriented Programming, 2016

The Hitchhiker's Guide to Cross-Platform OpenCL Application Development.

Tyler Sorensen, Alastair F. Donaldson

Proceedings of the 4th International Workshop on OpenCL, 2016

2015

I compute, therefore I am (buggy): methodic doubt meets multiprocessors.

Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen

Adv. Math. Commun., 2015

GPU Concurrency: Weak Behaviours and Programming Assumptions.

Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson

Proceedings of the Twentieth International Conference on Architectural Support for Programming Languages and Operating Systems, 2015

2013

Towards shared memory consistency models for GPUs.

Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover

Proceedings of the International Conference on Supercomputing, 2013

2011

The perception of medical professionals and medical students on the usefulness of an emergency medical card and a continuity of care report in enhancing continuity of care.

Christopher H. O. Olola, Scott P. Narus, Jonathan R. Nebeker, Mollie R. Poynton, Joseph Hales, Belle Rowan, Heather LeSieur, Cynthia Zumbrennen, Annemarie A. Edwards, Robert Crawford, Spencer Amundsen, Yasmin Kabir, Joseph Atkin, Cynthia Newberry, Jason Young, Tariq Hanifi, Ben Risenmay, Tyler Sorensen, R. Scott Evans

Int. J. Medical Informatics, 2011