Yanze Li [CV]

About

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, adviced by Dr. Jeff Huang. Before that, I got my B.Eng. from Department of Electrical Engineering, Huazhong University of Science and Technology.

I’m currently looking for PhD openings in 2021Fall. 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.

Publication

  1. [ 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 ]

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

Services

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”). Therefore, it should be pronounced as “YEHN-ZUH”. Nevertheless, I’m happy with any 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’