I am a PhD student in the
School of Computer Science
at Tel Aviv University,
under advisors Ori Lahav and Sharon Shoham Buchbinder.
My research is focused on establishing a theoretical framework for the verification of intricate properties of distributed and concurrent systems.
Email: (click to reveal)
Office: 346 Check Point Building
Address:
School of Computer Science, Tel Aviv University, Tel Aviv, 6997801 Israel
The [pdf] links include pre-copy-editing self-produced PDFs.
Hyperproperty-Preserving Register Specifications
Yoav Ben Shimon, Ori Lahav, Sharon Shoham
Best Paper & Best Student Paper Awards
DISC 2024
[pdf]
[LIPIcs]
[arxiv]
Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs
Yoav Ben Shimon, Orr Fischer, Rotem Oshman
Best Paper & Best Student Paper Awards
SIROCCO 2022
[springer]
System-level crash safe sorting on persistent memory
Omri Arad, Yoav Ben Shimon, Ron Zadicario, Daniel G. Waddington, Moshik Hershcovitch, Adam Morrison
Best Poster Award
SYSTOR 2022
[pdf]
[poster]
[acm]
![[poster]](papers/systor2022poster.png){kind=link}