conf.researchr.org / Yousef Alhessi
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 |