Artem Khyzha

Identifiers

No identifiers captured yet.

Papers (3)

1. Safe Privatization in Transactional Memory cs.DC · 2018 · author #1
2. Proving Linearizability Using Partial Orders (Extended Version) cs.PL · 2017 · author #1
3. A Generic Logic for Proving Linearizability (Extended Version) cs.PL · 2016 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Alexey Gotsman 3 shared papers
• Matthew Parkinson 2 shared papers
• Hagit Attiya 1 shared papers
• Mike Dodds 1 shared papers
• Noam Rinetzky 1 shared papers