Yoav Ben Shimon

According to our database, Yoav Ben Shimon authored at least 4 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Hyperproperty-Preserving Register Specifications (Extended Version).

Yoav Ben Shimon, Ori Lahav, Sharon Shoham

CoRR, 2024

Hyperproperty-Preserving Register Specifications.

Yoav Ben Shimon, Ori Lahav, Sharon Shoham

Proceedings of the 38th International Symposium on Distributed Computing, 2024

2022

System-level crash safe sorting on persistent memory.

Omri Arad, Yoav Ben Shimon, Ron Zadicario, Daniel G. Waddington, Moshik Hershcovitch, Adam Morrison

Proceedings of the SYSTOR '22: The 15th ACM International Systems and Storage Conference, Haifa, Israel, June 13, 2022

Proof Labeling Schemes for Reachability-Related Problems in Directed Graphs.

Yoav Ben Shimon, Orr Fischer, Rotem Oshman

Proceedings of the Structural Information and Communication Complexity, 2022