Skip to content

Latest commit

 

History

History
12 lines (10 loc) · 677 Bytes

File metadata and controls

12 lines (10 loc) · 677 Bytes
title
permalink /publications
layout page

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