Statistics
Publications
2
Citations
97
H-Index
2
Active since
2016
Affiliations
Shijiao Yuwen is an author at University of Illinois Urbana-Champaign specializing in program analysis, automated reasoning, and formal methods.
Publications per year
2016–2016
2
2
Semantics-based program verifiers for all languages
Andrei Ștefănescu, Daejun Park, Shijiao Yuwen et al. · 2016 · 74 citations
Semantics-based program verifiers for all languages
Andrei Ștefănescu, Daejun Park, Shijiao Yuwen et al. · ACM SIGPLAN Notices · 2016 · 23 citations · Full text
1–2 of 2