Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Ashley Sheng
conf.researchr.org general profile
ICFP/SPLASH 2025 profile
Registered user since Tue 2 Sep 2025
Name:
Ashley Sheng
Country:
United States
Affiliation:
Wellesley College
Contributions
2025
SPLASH
Author of Scaling Instruction-Selection Verification against Authoritative ISA Semantics within the OOPSLA-track
Share
x
Mon 27 Oct 19:32
