Yanze Li [CV]
Before that, I worked as a Software Engineer in Coderrect Inc. where I was the main developer of an LLVM-based static analyzer for concurrent programs. My previous research focused on static analysis, especially detecting concurrency bugs. Check out our recently open-sourced race detection tool!
I got my MS in Computer Science from Texas A&M University, advised by Jeff Huang. Before that, I got my B.Eng. from Department of Electrical Engineering, Huazhong University of Science and Technology.
SIGPLAN-M (ACM SIGPLAN Long-term Mentoring Program), Operations Committee
Sub-reviewer: [OOPSLA’20] [PLDI’19] [OOPSLA’19] [FSE’19] [ICSE’19] [TSE’18]
I was often asked how to pronounce my first name correctly. It contains 2 Chinese characters (“Yan(彦)” and “Ze(泽)”) and pronounces similar to “YEHN-ZUH”. Nevertheless, I’m happy with any reasonable pronunciation.
I’m a huge fan of video games (although I don’t have enough time playing them since I started doing research).
I love games with good story-telling (e.g., Life is Strange/Detroit: Become Human) and games with sci-fi/cyberpunk backgrounds. I sincerely hope video games can be a main stream for story-telling someday.
Email: ( x y . xy @ gmail . com) ‘liyz’ ‘unique’