MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications. - Reese Levine; Tianhao Guo; Mingun Cho; Alan Baker; Raph Levien; David Neto; Andrew Quinn 001; Tyler Sorensen 001 (ASPLOS (2), 2023)

GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper). - Reese Levine; Mingun Cho; Devon McKee; Andrew Quinn 001; Tyler Sorensen 001 (ISSTA, 2023)