publications

conference

2023

  1. ISSTA
    GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
    Reese Levine, Mingun Cho, Devon McKee, Andrew Quinn, and Tyler Sorensen
    In International Symposium on Software Testing and Analysis (ISSTA), 2023
    Distinguished Artifact
    PDF
  2. 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, and Tyler Sorensen
    In Architectural Support for Programming Languages and Operating Systems (ASPLOS), 2023
    Distinguished Paper, Distinguished Artifact
    PDF

workshop

2023

  1. YArch
    Probabilistic Memory Consistency Specifications
    Reese Levine and Tyler Sorensen
    In Young Architect Workshop, 2023
    PDF