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 | 36 | 2020 |
Доверяй, но проверяй: 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 | 21 | 2021 |
Swatac: A sentiment analyzer using one-vs-rest logistic regression Y Alhessi, R Wicentowski Proceedings of the 9th International Workshop on Semantic Evaluation …, 2015 | 11 | 2015 |
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 | 9 | 2021 |
Äîâåðÿé, Íî Ïðîâåðÿé: 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 | 2 | 2021 |
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 |