Method for Multithreaded Program Output Uniqueness Testing and Proof Generation, Based on Program Constraint Construction (US patent number: US20170010957)
Image credit: Unsplash
Lechen Yu
Ph.D. Candidate
My research interests include high performance computing, program analysis, and debugging.