19 citations · 31 across the 4 of their papers we have counts for
6 papers
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…
Presentation and Publication: Loss and Slippage in Networks of Automated Market Makers
Daniel Engel, Maurice Herlihy
Automated market makers (AMMs) are smart contracts that automatically trade electronic assets according to a mathematical formula. This paper investigates how an AMM's formula affe…
Invited Paper: Failure is (literally) an Option: Atomic Commitment vs Optionality in Decentralized Finance
Daniel Engel, Maurice Herlihy, Yingjie Xue
Many aspects of blockchain-based decentralized finance can be understood as an extension of classical distributed computing. In this paper, we trace the evolution of two interrelat…
VBR: Version Based Reclamation
Gali Sheffi, Maurice Herlihy, Erez Petrank
Safe lock-free memory reclamation is a difficult problem. Existing solutions follow three basic methods (or their combinations): epoch based reclamation, hazard pointers, and optim…
Composing Networks of Automated Market Makers
Daniel Engel, Maurice Herlihy
Automated market makers (AMMs) are automata that trade electronic assets at rates set by mathematical formulas. AMMs are usually implemented by smart contracts on blockchains. In p…
Linearizability: A Typo
Gal Sela, Maurice Herlihy, Erez Petrank
Linearizability is the de facto consistency condition for concurrent objects, widely used in theory and practice. Loosely speaking, linearizability classifies concurrent executions…