Method for Data Contention Testing and Proof Generation, Based on Multithreaded Program Constraint Construction (WO patent number: WO2016004808)
Image credit: Unsplash
Lechen Yu
AI Compiler Engineer
My research interests include high performance computing, program analysis, and debugging.