Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bow-Yaw Wang
conf.researchr.org general profile
APLAS 2023 profile
ESEC/FSE 2020 profile
SPLASH 2020 profile
Not registered as user
Name:
Bow-Yaw Wang
Affiliation:
Academia Sinica
Contributions
2023
APLAS
Author of Certified Automatic Verification of Industrial Cryptographic Primitive Programs within the APLAS 2023-track
2020
SPLASH
Author of Incremental Predicate Analysis for Regression Verification within the Posters-track
Author of Incremental Predicate Analysis for Regression Verification within the OOPSLA-track
ESEC/FSE
Author of Interval Counterexamples for Loop Invariant Learning within the Research Papers-track
Share
x
Sun 2 Nov 06:14