Tyler Sorensen

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 2

Top Topics

Maintaining Consistency

Compute Intensive

Top Venues

Publications

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)
Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, Tyler Sorensen
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). ISSTA (2023)
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) (2011)