Login / Signup
Mingun Cho
Publication Activity (10 Years)
Years Active: 2023-2023
Publications (10 Years): 2
Top Topics
Maintaining Consistency
Low Memory
Memory Space
Compute Intensive
Top Venues
ASPLOS (2)
ISSTA
</>
Publications
</>
Reese Levine
,
Tianhao Guo
,
Mingun Cho
,
Alan Baker
,
Raph Levien
,
David Neto
,
Andrew Quinn
,
Tyler Sorensen
MC Mutants: Evaluating and Improving Testing for Memory Consistency Specifications.
ASPLOS (2)
(2023)
Reese Levine
,
Mingun Cho
,
Devon McKee
,
Andrew Quinn
,
Tyler Sorensen
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper).
ISSTA
(2023)