Determinacy Checking of Heterogeneous Parallel Programs

Image credit: Unsplash

Date
Mar 8, 2024 12:15 PM — 12:40 PM
Lechen Yu
Lechen Yu
Ph.D. Candidate

My research interests include high performance computing, program analysis, and debugging.