Eric Koskinen

Identifiers

No identifiers captured yet.

Papers (4)

1. Specification and Inference of Trace Refinement Relations cs.PL · 2019 · author #2
2. Automatic Generation of Precise and Useful Commutativity Conditions (Extended Version) cs.PL · 2018 · author #2
3. Proust: A Design Space for Highly-Concurrent Transactional Data Structures cs.DC · 2017 · author #4
4. Adding Concurrency to Smart Contracts cs.DC · 2017 · author #4

Mentions

No mention provenance yet.

Frequent Coauthors

• Maurice Herlihy 2 shared papers
• Paul Gazzillo 2 shared papers
• Kshitij Bansal 1 shared papers
• Omer Tripp 1 shared papers
• Thomas D. Dickerson 1 shared papers
• Thomas Dickerson 1 shared papers
• Timos Antonopoulos 1 shared papers
• Ton-Chanh Le 1 shared papers