Yousef Alhessi

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 4

Top Topics

Chi Square Test

Logistic Regression

Top Venues

Publications

Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan
Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. NDSS (2021)
Joe Gibbs Politz, Yousef Alhessi
Course experience report: full-class compiler collaboration. SPLASH-E (2021)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating correctness proofs with neural networks. MAPL@PLDI (2020)
Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner
Generating Correctness Proofs with Neural Networks. CoRR (2019)
Yousef Alhessi, Richard Wicentowski
SWATAC: A Sentiment Analyzer using One-Vs-Rest Logistic Regression. SemEval@NAACL-HLT (2015)