1
Publications
16
Citations
1
H-Index
2021
Active since
Affiliations
Runtime Verification (United States)(Current)
Zhengyao Lin is an author at Runtime Verification (United States) specializing in formal verification, computer engineering, and formal methods.
Top concepts
CompilersEngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated ReasoningFormal Verification
Publications per year
2021–2021
1
1
Language-parametric compiler validation with application to LLVM
Theodoros Kasampalis, Daejun Park, Zhengyao Lin et al. · 2021 · 16 citations
Rows per page
1–1 of 1