Follow
Yousef Alhessi
Yousef Alhessi
Verified email at ucsd.edu - Homepage
Title
Cited by
Cited by
Year
Generating correctness proofs with neural networks
A Sanchez-Stern, Y Alhessi, L Saul, S Lerner
Proceedings of the 4th ACM SIGPLAN International Workshop on Machine …, 2020
392020
Доверяй, но проверяй: SFI safety for native-compiled Wasm
E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ...
Network and Distributed Systems Security (NDSS) Symposium, 2021
212021
Swatac: A sentiment analyzer using one-vs-rest logistic regression
Y Alhessi, R Wicentowski
Proceedings of the 9th International Workshop on Semantic Evaluation …, 2015
122015
Trust but verify: SFI safety for native-compiled Wasm
E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ...
Network and Distributed System Security Symposium (NDSS). Internet Society, 2021
102021
Доверяй, Но Проверяй: SFI safety for native-compiled Wasm
E Johnson, D Thien, Y Alhessi, S Narayan, F Brown, S Lerner, ...
Proceedings 2021 Network and Distributed System Security Symposium, Virtual, 2021
22021
Course experience report: full-class compiler collaboration
JG Politz, Y Alhessi
Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 19-25, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–6