Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Yousef Alhessi
conf.researchr.org general profile
PLDI 2020 profile
SPLASH 2021 profile
Not registered as user yet
Name:
Yousef Alhessi
Country:
United States
Affiliation:
University of California at San Diego
Contributions
2021
SPLASH
Author of Course Experience Report: Full-Class Compiler Collaboration within the SPLASH-E-track
2020
MAPS
Author of Generating Correctness Proofs with Neural Networks within the MAPL-track
Share
x
Sun 24 Nov 11:15