Yousef Alhessi

According to our database, Yousef Alhessi authored at least 5 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2025

Lemmanaid: Neuro-Symbolic Lemma Conjecturing.

Yousef Alhessi, Sólrún Halla Einarsdóttir, George Granberry, Emily First, Moa Johansson, Sorin Lerner, Nicholas Smallbone

CoRR, April, 2025

2021

Course experience report: full-class compiler collaboration.

Joe Gibbs Politz, Yousef Alhessi

Proceedings of the 2021 ACM SIGPLAN International Symposium on SPLASH-E, 2021

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm.

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan

Proceedings of the 28th Annual Network and Distributed System Security Symposium, 2021

2020

Generating correctness proofs with neural networks.

Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner

Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, 2020

2015

SWATAC: A Sentiment Analyzer using One-Vs-Rest Logistic Regression.

Yousef Alhessi, Richard Wicentowski

Proceedings of the 9th International Workshop on Semantic Evaluation, 2015