Tyler Sorensen

44 papers A* 6A 5B 5Journal 18Unranked 9

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Memory DisOrder: Memory Re-orderings as a Timerless Side-channel. CoRR Sean Siddens, Sanya Srivastava, Reese Levine, Josiah Dykstra, Tyler Sorensen
2026	—	`conf`	Parallel X: Redesigning of a Parallel Programming Educational Game with Semantic Foundations and Transfer Learning. SIGCSE (1) Devon McKee, Zhiyu Lin, Boyd Fox, Jiahong Li, Jichen Zhu, Magy Seif El-Nasr, Tyler Sorensen
2026	J	`jnl`	Unlocking Open-Player-Modeling-enhanced Game-Based Learning: The Open Player Socially Analytical Intelligence Architecture. CoRR Zhiyu Lin, Boyd Fox, Devon McKee, Sai Siddartha Maram, Jiahong Li, Tyler Sorensen, Brian K. Smith, Roger Azevedo, Jichen Zhu, Magy Seif El-Nasr
2025	—	`conf`	BetterTogether: An Interference-Aware Framework for Fine-grained Software Pipelining on Heterogeneous SoCs. IISWC Yanwen Xu, Rithik Sharma, Zheyuan Chen, Shaan Mistry, Tyler Sorensen
2025	J	`jnl`	PEAK: A Performance Engineering AI-Assistant for GPU Kernels Powered by Natural Language Transformations. CoRR Muhammad Usman Tariq, Abhinav Jangda, Angélica Moreira, Madan Musuvathi, Tyler Sorensen
2025	A*	`conf`	SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads. MICRO Ishita Chaturvedi, Bhargav Reddy Godala, Abiram Gangavaram, Daniel Flyer, Tyler Sorensen, Tor M. Aamodt, David I. August
2025	J	`jnl`	SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races. Proc. ACM Program. Lang. Reese Levine, Ashley Lee, Neha Abbas, Kyle Little, Tyler Sorensen
2025	—	`conf`	miniGiraffe: A Pangenomic Mapping Proxy App. IISWC Jessica Imlau Dagostini, Joseph B. Manzano, Tyler Sorensen, Scott Beamer
2024	A*	`conf`	GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction. ISCA 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
2024	J	`jnl`	LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. CoRR Tyler Sorensen, Heidy Khlaaf
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2024	J	`jnl`	Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. Proc. ACM Program. Lang. Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson
2023	B	`conf`	Degree-Aware Kernel Mapping for Graph Processing on GPUs. ISPASS Sanya Srivastava, Tyler Sorensen
2023	A	`conf`	GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). ISSTA Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen
2023	—	`conf`	MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. ASPLOS (2) Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen
2023	B	`conf`	Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. ISPASS Yanwen Xu, Ang Li, Tyler Sorensen
2021	J	`jnl`	GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. ACM Trans. Archit. Code Optim. Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi
2021	J	`jnl`	Specifying and Testing GPU Workgroup Progress Models. CoRR Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	J	`jnl`	Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson
2021	J	`jnl`	The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. Dan Iorga, Alastair F. Donaldson, Tyler Sorensen, John Wickerson
2020	A	`conf`	A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. ICCAD Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi
2020	J	`jnl`	Foundations of empirical memory consistency testing. Proc. ACM Program. Lang. Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi
2020	B	`conf`	MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS 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
2020	A	`conf`	Slow and Steady: Measuring and Tuning Multicore Interference. RTAS Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson
2020	J	`jnl`	The MosaicSim Simulator (Full Technical Report). CoRR 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
2019	—	`conf`	One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
2019	—	`conf`	Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson
2019	—	`conf`	The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX ATC Nathan Chong, Tyler Sorensen, John Wickerson
2018	J	`jnl`	Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR Dan Iorga, Tyler Sorensen, Alastair F. Donaldson
2018	B	`conf`	GPU Schedulers: How Fair Is Fair Enough?. CONCUR Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2018	—	`—`	Inter-workgroup barrier synchronisation on graphics processing units. Tyler Sorensen
2018	A*	`conf`	The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI Nathan Chong, Tyler Sorensen, John Wickerson
2017	A*	`conf`	Automatically comparing memory consistency models. POPL John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides
2017	J	`jnl`	Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2017	—	`conf`	Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson
2017	B	`conf`	Forward Progress on GPU Concurrency (Invited Talk). CONCUR Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson
2017	J	`jnl`	The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR Nathan Chong, Tyler Sorensen, John Wickerson
2016	A*	`conf`	Exposing errors related to weak memory in GPU applications. PLDI Tyler Sorensen, Alastair F. Donaldson
2016	A	`conf`	Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric
2016	—	`conf`	The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL Tyler Sorensen, Alastair F. Donaldson
2015	A*	`conf`	GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson
2015	J	`jnl`	I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen
2013	A	`conf`	Towards shared memory consistency models for GPUs. ICS Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover
2011	J	`jnl`	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. Int. J. Medical Informatics 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