Yanze Li has recently graduated with his M.S. in computer science from Dr. Jeff Huang's Origin-Oriented Programming (O2) Lab at Texas A&M University. His main research focus is on static analysis techniques for detecting concurrency bugs. Before starting his M.S. at Texas A&M, he received his B.E. from the Department of Electrical Engineering, Huazhong University of Science and Technology (HUST) in 2017.
Compilers Analysis and Optimization