Not registered as user yet

Name:Yousef Alhessi
Country:United States
Affiliation:University of California at San Diego

Contributions

SPLASH 2021 Author of Course Experience Report: Full-Class Compiler Collaboration within the SPLASH-E-track
MAPL 2020 Author of Generating Correctness Proofs with Neural Networks within the MAPL-track