Yanze Li [CV]

avatar

About

New I’ll be pursuing my CS PhD at UBC starting this fall! My area of interest is programming languages. In particular, I’m interested in how we can exploit programming languages (such as their type systems) to facilitate verification or synthesis tasks.

I’m currently a Software Engineer in Coderrect Inc. where I’m the main developer of an LLVM-based static analyzer for concurrent programs. My previous research mainly focuses on static analysis, especially detecting concurrency bugs, but I’m generally interested in all PL related techniques.

I got my MS in Computer Science from Texas A&M University, advised by Dr. Jeff Huang. Before that, I got my B.Eng. from Department of Electrical Engineering, Huazhong University of Science and Technology.

Publication

  1. [ PLDI’21 ] When Threads Meet Events: Efficient and Precise Static Race Detection with Origins
    Bozhen Liu, Peiming Liu, Yanze Li, Chia-Che Tsai, Dilma Da Silva, Jeff Huang

  2. [ SC’20 ] OMPRacer: A Scalable and Precise Static Race Detector for OpenMP Programs
    Bradley Swain, Yanze Li, Peiming Liu, Ignacio Laguna, Giorgis Georgakoudis, Jeff Huang
    [ PDF ] [ artifact ]

  3. [ ICSE’19 ] (Demo Track) SWORD: A Scalable Whole Program Race Detector for Java
    Yanze Li, Bozhen Liu, Jeff Huang
    [ PDF ] [ code ]

Services

SIGPLAN-M (ACM SIGPLAN Long-term Mentoring Program), Operations Committee

Sub-reviewer: [OOPSLA’20] [PLDI’19] [OOPSLA’19] [FSE’19] [ICSE’19] [TSE’18]

Misc

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.

Contact

Email: (λ\lambda x y . xy @ gmail . com) ‘liyz’ ‘unique’