Eric Koskinen

Transactional boosting

Maurice Herlihy, Eric Koskinen · 2008 · 311 citations

Computing, Computer Science, Computer Systems +15

Adding Concurrency to Smart Contracts

Thomas Dickerson, Paul Gazzillo, Maurice Herlihy et al. · 2017 · 157 citations · Full text

Computing, Computer Science, Computer Systems +17

Control-flow refinement and progress invariants for bound analysis

Sumit Gulwani, Sagar Jain, Eric Koskinen · 2009 · 130 citations

Computing, Computer Science, Algorithms +11

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · 2017 · 86 citations · Full text

Computing, Computer Engineering, Computer Science +13

Coarse-grained transactions

Eric Koskinen, Matthew Parkinson, Maurice Herlihy · 2010 · 70 citations

Computing, Computer Engineering, Computer Science +14