Method for Data Contention Testing and Proof Generation, Based on Multithreaded Program Constraint Construction (WO patent number: WO2016004808) Jan 14, 2016 Link Image credit: Unsplash Lechen Yu Ph.D. Candidate My research interests include high performance computing, program analysis, and debugging.