\"Omer \c{S}akar

Identifiers

No identifiers captured yet.

Papers (1)

1. Deductive Verification of Weak Memory Programs with View-based Protocols (extended version) cs.LO · 2026 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Anton Wijs 1 shared papers
• Marieke Huisman 1 shared papers
• Soham Chakraborty 1 shared papers