Tyler Sorensen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
19
Venues
14
Active years
2013–2026
Best venue rank
A*
Where they publish
Papers
19 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SIGCSE | Parallel X: Redesigning of a Parallel Programming Educational Game with Semantic Foundations and Transfer Learning. | Devon McKee, Zhiyu Lin, Boyd Fox, Jiahong Li, Jichen Zhu, Magy Seif El-Nasr, Tyler Sorensen |
| 2025 | MICRO | SHADOW: Simultaneous Multi-Threading Architecture with Asymmetric Threads. | Ishita Chaturvedi, Bhargav Reddy Godala, Abiram Gangavaram, Daniel Flyer, Tyler Sorensen, Tor M. Aamodt, David I. August |
| 2024 | ISCA | 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 |
| 2023 | ASPLOS | 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 |
| 2023 | ISPASS | Degree-Aware Kernel Mapping for Graph Processing on GPUs. | Sanya Srivastava, Tyler Sorensen |
| 2023 | ISPASS | Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. | Yanwen Xu, Ang Li, Tyler Sorensen |
| 2023 | ISSTA | GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). | Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen |
| 2020 | ICCAD | 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. Aragn, Margaret Martonosi |
| 2020 | ISPASS | 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. Aragn, Luca P. Carloni, Margaret Martonosi |
| 2020 | RTAS | Slow and Steady: Measuring and Tuning Multicore Interference. | Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson |
| 2019 | USENIX | The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2018 | CONCUR | GPU Schedulers: How Fair Is Fair Enough?. | Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson |
| 2018 | PLDI | The semantics of transactions and weak memory in x86, Power, ARM, and C++. | Nathan Chong, Tyler Sorensen, John Wickerson |
| 2017 | CONCUR | Forward Progress on GPU Concurrency (Invited Talk). | Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson |
| 2017 | POPL | Automatically comparing memory consistency models. | John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides |
| 2016 | OOPSLA | Portable inter-workgroup barrier synchronisation for GPUs. | Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric |
| 2016 | PLDI | Exposing errors related to weak memory in GPU applications. | Tyler Sorensen, Alastair F. Donaldson |
| 2015 | ASPLOS | GPU Concurrency: Weak Behaviours and Programming Assumptions. | Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson |
| 2013 | ICS | Towards shared memory consistency models for GPUs. | Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover |