Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yongwang Zhao
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Internetware 2023 profile
Registered user since Mon 5 Jun 2023
Name:
Yongwang Zhao
Contributions
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
Wed 10 Sep 04:45