Reese Levine
Santa Cruz, CA
I am a fifth year PhD candidate and an NDSEG Fellow at UC Santa Cruz, where I work with Tyler Sorensen and am generally affiliated with the LSD Lab.
My research interests are in parallel and concurrent programming, specifically how multi-core and distributed systems are implemented. My current work focuses on GPU memory models, designing and evaluating techniques to test the conformance of compilers and hardware to specifications. I am also working on ways to exploit weak memory behaviors to increase applications’ performance, and to test and improve the safety properties of GPU programming models in the face of data races or other undefined behavior.
news
| Oct 31, 2024 | I presented our work on testing memory consistency at Stanford University. |
|---|---|
| Feb 12, 2024 | I presented our work on testing the Vulkan memory model at Vulkanised 2024. |
| Jan 15, 2024 | I gave a talk on evolving weak memory models for evolving architectures at the Future of Weak Memory workshop at POPL 2024. |
| Jan 13, 2024 | I presented our work on testing memory consistency at Imperial College London, University of Kent, Cambridge University, and Bristol University. |
| Jun 23, 2023 | I presented GPUHarbor at ISSTA 2023, where it won a Distinguished Artifact Award. |