Follow
Reese Levine
Reese Levine
Verified email at ucsc.edu - Homepage
Title
Cited by
Cited by
Year
MC mutants: Evaluating and improving testing for memory consistency specifications
R Levine, T Guo, M Cho, A Baker, R Levien, D Neto, A Quinn, T Sorensen
Proceedings of the 28th ACM International Conference on Architectural …, 2023
62023
GPUHarbor: Testing GPU Memory Consistency at Large (Experience Paper)
R Levine, M Cho, D McKee, A Quinn, T Sorensen
Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023
52023
Probabilistic Memory Consistency Specifications
R Levine, T Sorensen
The system can't perform the operation now. Try again later.
Articles 1–3