23 citations · 47 across the 19 of their papers we have counts for
19 papers
ScaleGANN: Accelerate Large-Scale ANN Indexing by Cost-effective Cloud GPUs
Lan Lu, Peiqi Yin, Isaac Yang +5
Graph-based ANNS algorithms have gained increasing research interest and market adoption due to their efficiency and accuracy in retrieval. Existing approaches primarily rely on CP…
BFTBrain: Adaptive BFT Consensus with Reinforcement Learning
Chenyuan Wu, Haoyun Qin, Mohammad Javad Amiri +3
This paper presents BFTBrain, a reinforcement learning (RL) based Byzantine fault-tolerant (BFT) system that provides significant operational benefits: a plug-and-play system suita…
Safety Verification of Declarative Smart Contracts
Haoxian Chen, Lan Lu, Brendan Massey +2
Smart contracts manage a large number of digital assets nowadays. Bugs in these contracts have led to significant financial loss. Verifying the correctness of smart contracts is, t…
AdaChain: A Learned Adaptive Blockchain
Chenyuan Wu, Bhavana Mehta, Mohammad Javad Amiri +2
This paper presents AdaChain, a learning-based blockchain framework that adaptively chooses the best permissioned blockchain architecture in order to optimize effective throughput…
Declarative Smart Contracts
Haoxian Chen, Gerald Whitters, Mohammad Javad Amiri +2
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contra…
Templating Shuffles
Qizhen Zhang, Jiacheng Wu, Ang Chen +2
Cloud data centers are evolving fast. At the same time, today's large-scale data analytics applications require non-trivial performance tuning that is often specific to the applica…