Guy Golan-Gueta
YOU?
Author Swipe
View article: Using Nesting to Push the Limits of Transactional Data Structure Libraries
Using Nesting to Push the Limits of Transactional Data Structure Libraries Open
Transactional data structure libraries (TDSL) combine the ease-of-programming of transactions with the high performance and scalability of custom-tailored concurrent data structures. They can be very efficient thanks to their ability to ex…
View article: SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains.
SBFT: a Scalable Decentralized Trust Infrastructure for Blockchains. Open
We present SBFT: a scalable decentralized trust infrastructure for Blockchains. SBFT implements a new Byzantine fault tolerant algorithm that addresses the challenges of scalability and decentralization. Unlike many previous BFT systems th…
View article: Online detection of effectively callback free objects with applications to smart contracts
Online detection of effectively callback free objects with applications to smart contracts Open
Callbacks are essential in many programming environments, but drastically complicate program understanding and reasoning because they allow to mutate object's local states by external objects in unexpected fashions, thus breaking modularit…
View article: Top-k Query Processing with Conditional Skips
Top-k Query Processing with Conditional Skips Open
This work improves the efficiency of dynamic pruning algorithms by introducing a new posting iterator that can skip large parts of the matching documents during top-k query processing. Namely, the conditional-skip iterator jumps to a targe…