Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yongwang Zhao
conf.researchr.org general profile
FSE 2026 profile
ICFP/SPLASH 2025 profile
Internetware 2023 profile
Registered user since Mon 5 Jun 2023
Name:
Yongwang Zhao
Contributions
2026
ESEC/FSE
Author of Compiler Optimization-Based SMT Simplifications: An In-Depth Study within the Journal-First Paper-track
2025
SPLASH
Author of A complete formal semantics of eBPF instruction set architecture for Solana within the OOPSLA-track
2023
Internetware
Author of Isabelle/Cloud: Delivering Isabelle/HOL as a Cloud IDE for Theorem Proving within the Main Track-track
Share
x
Sun 16 Aug 21:44