Yousef Alhessi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2021
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | NDSS | Доверя'й, но проверя'й: SFI safety for native-compiled Wasm. | Evan Johnson, David Thien, Yousef Alhessi, Shravan Narayan, Fraser Brown, Sorin Lerner, Tyler McMullen, Stefan Savage, Deian Stefan |
| 2021 | OOPSLA | Course experience report: full-class compiler collaboration. | Joe Gibbs Politz, Yousef Alhessi |
| 2020 | PLDI | Generating correctness proofs with neural networks. | Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner |