default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTyler Sorensen 0001
Person information
- affiliation: University of California, Santa Cruz, CA, USA
- affiliation: Princeton University, USA
- affiliation (former): University of Utah, School of Medicine, Salt Lake City, UT, USA
- affiliation (Ph.D., 2018): Imperial College London, UK
- affiliation (MS, 2014): University of Utah, UT, USA
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Books and Theses
- 2018
[b1]Tyler Sorensen:
Inter-workgroup barrier synchronisation on graphics processing units. Imperial College London, UK, 2018
Journal Articles
- 2021
- [j5]Dan Iorga
, Alastair F. Donaldson, Tyler Sorensen, John Wickerson:
The semantics of shared memory in Intel CPU/FPGA systems. Proc. ACM Program. Lang. 5(OOPSLA): 1-28 (2021) - [j4]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and testing GPU workgroup progress models. Proc. ACM Program. Lang. 5(OOPSLA): 1-30 (2021) - [j3]Aninda Manocha, Tyler Sorensen, Esin Tureci, Opeoluwa Matthews, Juan L. Aragón, Margaret Martonosi:
GraphAttack: Optimizing Data Supply for Graph Applications on In-Order Multicore Architectures. ACM Trans. Archit. Code Optim. 18(4): 53:1-53:26 (2021) - 2020
- [j2]Jake Kirkham, Tyler Sorensen, Esin Tureci, Margaret Martonosi:
Foundations of empirical memory consistency testing. Proc. ACM Program. Lang. 4(OOPSLA): 226:1-226:29 (2020) - 2011
- [j1]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:
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 80(6): 412-420 (2011)
Conference and Workshop Papers
- 2024
- [c21]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:
GhOST: a GPU Out-of-Order Scheduling Technique for Stall Reduction. ISCA 2024: 1-16 - 2023
- [c20]Reese Levine, Tianhao Guo, Mingun Cho, Alan Baker, Raph Levien, David Neto, Andrew Quinn, Tyler Sorensen:
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. ASPLOS (2) 2023: 473-488 - [c19]Yanwen Xu, Ang Li, Tyler Sorensen:
Redwood: Flexible and Portable Heterogeneous Tree Traversal Workloads. ISPASS 2023: 201-213 - [c18]Sanya Srivastava, Tyler Sorensen:
Degree-Aware Kernel Mapping for Graph Processing on GPUs. ISPASS 2023: 319-321 - [c17]Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen:
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). ISSTA 2023: 779-791 - 2020
- [c16]Tyler Sorensen, Aninda Manocha, Esin Tureci, Marcelo Orenes-Vera, Juan L. Aragón, Margaret Martonosi:
A Simulator and Compiler Framework for Agile Hardware-Software Co-design Evaluation and Exploration. ICCAD 2020: 97:1-97:9 - [c15]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:
MosaicSim: A Lightweight, Modular Simulator for Heterogeneous Systems. ISPASS 2020: 136-148 - [c14]Dan Iorga, Tyler Sorensen, John Wickerson, Alastair F. Donaldson:
Slow and Steady: Measuring and Tuning Multicore Interference. RTAS 2020: 200-212 - 2019
- [c13]Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson:
One Size Doesn't Fit All: Quantifying Performance Portability of Graph Applications on GPUs. IISWC 2019: 155-166 - [c12]Tyler Sorensen, Sreepathi Pai, Alastair F. Donaldson:
Performance Evaluation of OpenCL Standard Support (and Beyond). IWOCL 2019: 8:1-8:2 - [c11]Nathan Chong, Tyler Sorensen, John Wickerson:
The Semantics of Transactions and Weak Memory in x86, Power, ARM, and C++. USENIX ATC 2019 - 2018
- [c10]Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson:
GPU Schedulers: How Fair Is Fair Enough?. CONCUR 2018: 23:1-23:17 - [c9]Nathan Chong, Tyler Sorensen, John Wickerson:
The semantics of transactions and weak memory in x86, Power, ARM, and C++. PLDI 2018: 211-225 - 2017
- [c8]Alastair F. Donaldson, Jeroen Ketema, Tyler Sorensen, John Wickerson:
Forward Progress on GPU Concurrency (Invited Talk). CONCUR 2017: 1:1-1:13 - [c7]John Wickerson, Mark Batty, Tyler Sorensen, George A. Constantinides:
Automatically comparing memory consistency models. POPL 2017: 190-204 - [c6]Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson:
Cooperative kernels: GPU multitasking for blocking algorithms. ESEC/SIGSOFT FSE 2017: 431-441 - 2016
- [c5]Tyler Sorensen, Alastair F. Donaldson:
The Hitchhiker's Guide to Cross-Platform OpenCL Application Development. IWOCL 2016: 2:1-2:12 - [c4]Tyler Sorensen, Alastair F. Donaldson, Mark Batty, Ganesh Gopalakrishnan, Zvonimir Rakamaric:
Portable inter-workgroup barrier synchronisation for GPUs. OOPSLA 2016: 39-58 - [c3]Tyler Sorensen, Alastair F. Donaldson:
Exposing errors related to weak memory in GPU applications. PLDI 2016: 100-113 - 2015
- [c2]Jade Alglave, Mark Batty, Alastair F. Donaldson, Ganesh Gopalakrishnan, Jeroen Ketema, Daniel Poetzl, Tyler Sorensen, John Wickerson:
GPU Concurrency: Weak Behaviours and Programming Assumptions. ASPLOS 2015: 577-591 - 2013
- [c1]Tyler Sorensen, Ganesh Gopalakrishnan, Vinod Grover:
Towards shared memory consistency models for GPUs. ICS 2013: 489-490
Informal and Other Publications
- 2024
- [i8]Tyler Sorensen, Heidy Khlaaf:
LeftoverLocals: Listening to LLM Responses Through Leaked GPU Local Memory. CoRR abs/2401.16603 (2024) - [i7]Luke Geeson, James Brotherston, Wilco Dijkstra, Alastair F. Donaldson, Lee Smith, Tyler Sorensen, John Wickerson:
Mix Testing: Specifying and Testing ABI Compatibility of C/C++ Atomics Implementations. CoRR abs/2409.01161 (2024) - 2021
- [i6]Tyler Sorensen, Lucas F. Salvador, Harmit Raval, Hugues Evrard, John Wickerson, Margaret Martonosi, Alastair F. Donaldson:
Specifying and Testing GPU Workgroup Progress Models. CoRR abs/2109.06132 (2021) - 2020
- [i5]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:
The MosaicSim Simulator (Full Technical Report). CoRR abs/2004.07415 (2020) - 2018
- [i4]Dan Iorga, Tyler Sorensen, Alastair F. Donaldson:
Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis. CoRR abs/1809.05197 (2018) - 2017
- [i3]Tyler Sorensen, Hugues Evrard, Alastair F. Donaldson:
Cooperative Kernels: GPU Multitasking for Blocking Algorithms (Extended Version). CoRR abs/1707.01989 (2017) - [i2]Nathan Chong, Tyler Sorensen, John Wickerson:
The Semantics of Transactions and Weak Memory in x86, Power, ARMv8, and C++. CoRR abs/1710.04839 (2017) - 2015
- [i1]Jade Alglave, Luc Maranget, Daniel Poetzl, Tyler Sorensen:
I compute, therefore I am (buggy): methodic doubt meets multiprocessors. Tiny Trans. Comput. Sci. 3 (2015)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:16 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
