Yanze Li is an author at Texas A&M University specializing in software engineering, system software, and formal verification.
Top concepts
EngineeringData ScienceStatic AnalysisSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisFormal VerificationComputer Engineering
Publications per year
2019–2021
3
3
OMPRacer: A Scalable and Precise Static Race Detector for OpenMP Programs
Bradley Swain, Yanze Li, Pei-Ming Liu et al. · 2020 · 20 citations
When threads meet events: efficient and precise static race detection with origins
Bozhen Liu, Pei-Ming Liu, Yanze Li et al. · 2021 · 15 citations · Full text
SWORD: A Scalable Whole Program Race Detector for Java
Yanze Li, Bozhen Liu, Jeff Huang · 2019 · 11 citations
Rows per page
1–3 of 3