Ori Lahav

Identifiers

No identifiers captured yet.

Papers (7)

1. Rely-Guarantee Reasoning for Causally Consistent Shared Memory (Extended Version) cs.PL · 2023 · author #1
2. Bridging the Gap between Programming Languages and Hardware Weak Memory Models cs.PL · 2018 · author #2
3. On the Semantics of Snapshot Isolation cs.LO · 2018 · author #2
4. Sequent systems for negative modalities cs.LO · 2017 · author #1
5. Verifying Reachability in Networks with Mutable Datapaths cs.NI · 2016 · author #2
6. It ain't necessarily so: Basic sequent systems for negative modalities cs.LO · 2016 · author #1
7. Verifying Isolation Properties in the Presence of Middleboxes cs.NI · 2014 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Aurojit Panda 2 shared papers
• Jo\~ao Marcos 2 shared papers
• Katerina Argyraki 2 shared papers
• Mooly Sagiv 2 shared papers
• Scott Shenker 2 shared papers
• Viktor Vafeiadis 2 shared papers
• Yoni Zohar 2 shared papers
• Anton Podkopaev 1 shared papers
• Azalea Raad 1 shared papers
• Brijesh Dongol 1 shared papers
• Heike Wehrheim 1 shared papers