Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Raneem Abu-Yosef
conf.researchr.org general profile
CC 2025 profile
CGO 2025 profile
Registered user since Tue 31 Dec 2024
Name:
Raneem Abu-Yosef
Affiliation:
Ohio State University
Contributions
2025
CGO
Author of Automated Input-Level SMT Optimization via Constraint Reconstruction and Bitwidth Reduction within the Student Research Competition-track
CC
Author of Scalable Data-Flow Modeling and Validation of Distributed-Memory Algorithms within the Main Conference-track
Share
x
Mon 27 Oct 21:55