• Publications
  • Influence
The Blockchain as a Software Connector
Blockchain is an emerging technology for decentralized and transactional data sharing across a large network of untrusted participants. It enables new forms of distributed software architectures,Expand
  • 239
  • 17
More than you ever wanted to know about synchronization: synchrobench, measuring the impact of the synchronization on concurrent algorithms
In this paper, we present the most extensive comparison of synchronization techniques. We evaluate 5 different synchronization techniques through a series of 31 data structure algorithms from theExpand
  • 113
  • 12
A Provably Starvation-Free Distributed Directory Protocol
This paper presents COMBINE, a distributed directory protocol for shared objects, designed for large-scale distributed systems. Directory protocols support move requests, allowing to write the objectExpand
  • 35
  • 12
A Contention-Friendly Binary Search Tree
This paper proposes a new lock-based concurrent binary tree using a methodology for writing concurrent data structures. This methodology limits the high contention induced by today's multicoreExpand
  • 47
  • 11
Why STM can be more than a research toy
Despite earlier claims, Software Transactional Memory outperforms sequential code.
  • 126
  • 8
Elastic Transactions
This paper presents elastic transactions, a variant of the transactional model. Upon conflict detection, an elastic transaction might drop what it did so far within a separate transaction thatExpand
  • 79
  • 8
Elastic transactions
This paper presents elastic transactions, an appealing alternative to traditional transactions, in particular to implement search structures in shared memory multicore architectures. Upon conflictExpand
  • 24
  • 7
Vandal: A Scalable Security Analysis Framework for Smart Contracts
The rise of modern blockchains has facilitated the emergence of smart contracts: autonomous programs that live and run on the blockchain. Smart contracts have seen a rapid climb to prominence, withExpand
  • 67
  • 6
The Balance Attack or Why Forkable Blockchains are Ill-Suited for Consortium
Most blockchain systems are forkable in that they require participants to agree on a chain out of multiple possible branches of blocks. In this paper, we identify a new form of attack, called theExpand
  • 39
  • 6
(Leader/Randomization/Signature)-free Byzantine Consensus for Consortium Blockchains
This paper presents a new Byzantine consensus algorithm targeting consortium blockchains. To this end, it first revisits the consensus validity property by requiring that the decided value satisfiesExpand
  • 35
  • 6