Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs. - Yoav Ben Shimon; Orr Fischer; Rotem Oshman (SIROCCO, 2022)

System-level crash safe sorting on persistent memory. - Omri Arad; Yoav Ben Shimon; Ron Zadicario; Daniel G. Waddington; Moshik Hershcovitch; Adam Morrison 001 (SYSTOR, 2022)

Hyperproperty-Preserving Register Specifications. - Yoav Ben Shimon; Ori Lahav 001; Sharon Shoham (DISC, 2024)

Hyperproperty-Preserving Register Specifications (Extended Version). - Yoav Ben Shimon; Ori Lahav 001; Sharon Shoham (CoRR, 2024)