SWATAC: A Sentiment Analyzer using One-Vs-Rest Logistic Regression. - Yousef Alhessi; Richard Wicentowski (SemEval@NAACL-HLT, 2015)

Generating correctness proofs with neural networks. - Alex Sanchez-Stern; Yousef Alhessi; Lawrence K. Saul; Sorin Lerner (MAPL@PLDI, 2020)

Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. - Evan Johnson 001; David Thien; Yousef Alhessi; Shravan Narayan; Fraser Brown; Sorin Lerner; Tyler McMullen; Stefan Savage; Deian Stefan (NDSS, 2021)

Course experience report: full-class compiler collaboration. - Joe Gibbs Politz; Yousef Alhessi (SPLASH-E, 2021)

Lemmanaid: Neuro-Symbolic Lemma Conjecturing. - Yousef Alhessi; Sólrún Halla Einarsdóttir; George Granberry; Emily First; Moa Johansson; Sorin Lerner; Nicholas Smallbone (CoRR, 2025)