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; et al. (Int. J. Medical Informatics, 2011)

Towards shared memory consistency models for GPUs. - Tyler Sorensen 001; Ganesh Gopalakrishnan; Vinod Grover (ICS, 2013)

GPU Concurrency: Weak Behaviours and Programming Assumptions. - Jade Alglave; Mark Batty; Alastair F. Donaldson; Ganesh Gopalakrishnan; Jeroen Ketema; Daniel Poetzl; Tyler Sorensen 001; John Wickerson (ASPLOS, 2015)

I compute, therefore I am (buggy): methodic doubt meets multiprocessors. - Jade Alglave; Luc Maranget; Daniel Poetzl; Tyler Sorensen 001 (Adv. Math. Commun., 2015)

The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. - Tyler Sorensen 001; Alastair F. Donaldson (IWOCL, 2016)

Portable inter-workgroup barrier synchronisation for GPUs. - Tyler Sorensen 001; Alastair F. Donaldson; Mark Batty; Ganesh Gopalakrishnan; Zvonimir Rakamaric (OOPSLA, 2016)

Exposing errors related to weak memory in GPU applications. - Tyler Sorensen 001; Alastair F. Donaldson (PLDI, 2016)

Forward Progress on GPU Concurrency (Invited Talk). - Alastair F. Donaldson; Jeroen Ketema; Tyler Sorensen 001; John Wickerson (CONCUR, 2017)

Automatically comparing memory consistency models. - John Wickerson; Mark Batty; Tyler Sorensen 001; George A. Constantinides (POPL, 2017)

Cooperative kernels: GPU multitasking for blocking algorithms. - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (ESEC/SIGSOFT FSE, 2017)

Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (CoRR, 2017)

The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. - Nathan Chong; Tyler Sorensen 001; John Wickerson (CoRR, 2017)

GPU Schedulers: How Fair Is Fair Enough?. - Tyler Sorensen 001; Hugues Evrard; Alastair F. Donaldson (CONCUR, 2018)

The semantics of transactions and weak memory in x86, Power, ARM, and C++. - Nathan Chong; Tyler Sorensen 001; John Wickerson (PLDI, 2018)

Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. - Dan Iorga; Tyler Sorensen 001; Alastair F. Donaldson (CoRR, 2018)

Inter-workgroup barrier synchronisation on graphics processing units. - Tyler Sorensen 001 (2018)

One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. - Tyler Sorensen 001; Sreepathi Pai; Alastair F. Donaldson (IISWC, 2019)

Performance Evaluation of OpenCL Standard Support (and Beyond). - Tyler Sorensen 001; Sreepathi Pai; Alastair F. Donaldson (IWOCL, 2019)

A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. - Tyler Sorensen 001; Aninda Manocha; Esin Tureci; Marcelo Orenes-Vera; Juan L. Aragón; Margaret Martonosi (ICCAD, 2020)

MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. - Opeoluwa Matthews; Aninda Manocha; Davide Giri; Marcelo Orenes-Vera; Esin Tureci; Tyler Sorensen 001; Tae Jun Ham; Juan L. Aragón; Luca P. Carloni; Margaret Martonosi (ISPASS, 2020)

Slow and Steady: Measuring and Tuning Multicore Interference. - Dan Iorga; Tyler Sorensen 001; John Wickerson; Alastair F. Donaldson (RTAS, 2020)

The MosaicSim Simulator (Full Technical Report). - Opeoluwa Matthews; Aninda Manocha; Davide Giri; Marcelo Orenes-Vera; Esin Tureci; Tyler Sorensen 001; Tae Jun Ham; Juan L. Aragón; Luca P. Carloni; Margaret Martonosi (CoRR, 2020)

Foundations of empirical memory consistency testing. - Jake Kirkham; Tyler Sorensen 001; Esin Tureci; Margaret Martonosi (Proc. ACM Program. Lang., 2020)

The semantics of shared memory in Intel CPU/FPGA systems. - Dan Iorga; Alastair F. Donaldson; Tyler Sorensen 001; John Wickerson (Proc. ACM Program. Lang., 2021)

Specifying and testing GPU workgroup progress models. - Tyler Sorensen 001; Lucas F. Salvador; Harmit Raval; Hugues Evrard; John Wickerson; Margaret Martonosi; Alastair F. Donaldson (Proc. ACM Program. Lang., 2021)

GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. - Aninda Manocha; Tyler Sorensen 001; Esin Tureci; Opeoluwa Matthews; Juan L. Aragón; Margaret Martonosi (ACM Trans. Archit. Code Optim., 2021)

MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. - Reese Levine; Tianhao Guo; Mingun Cho; Alan Baker; Raph Levien; David Neto; Andrew Quinn 001; Tyler Sorensen 001 (ASPLOS (2), 2023)

Degree-Aware Kernel Mapping for Graph Processing on GPUs. - Sanya Srivastava; Tyler Sorensen 001 (ISPASS, 2023)

Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. - Yanwen Xu; Ang Li 011; Tyler Sorensen 001 (ISPASS, 2023)

GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). - Reese Levine; Mingun Cho; Devon McKee; Andrew Quinn 001; Tyler Sorensen 001 (ISSTA, 2023)

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 001; Simone Campanoni; Tor M. Aamodt; David I. August (ISCA, 2024)

LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. - Tyler Sorensen 001; Heidy Khlaaf (CoRR, 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 001; John Wickerson (Proc. ACM Program. Lang., 2024)