publications

conference

2025

  1. OOPSLA
    SafeRace: Assessing and Addressing WebGPU Memory Safety in the Presence of Data Races
    Reese Levine, Ashley Lee, Neha Abbas, Kyle Little, and Tyler Sorensen
    In OOPSLA2 issue of the Proceedings of the ACM on Programming Languages, 2025
    PDF

2023

  1. ISSTA
    GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
    Reese Levine, Mingun Cho, Devon McKee, Andi 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, Andi 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