Publications R. Levine, M. Cho, D. McKee, A. Quinn, T. Sorensen “GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)”. Distinguished Artifact Award in ISSTA 2023. Link R. Levine, T. Guo, M. Cho, A. Baker, R. Levien, D. Neto, A. Quinn, T. Sorensen “MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications”. Distinguished Paper Award and Distinguished Artifact Award in ASPLOS 2023. Link