Zobrazeno 1 - 10
of 144
pro vyhledávání: '"Loo, Boon Thau"'
Autor:
Wu, Chenyuan, Qin, Haoyun, Amiri, Mohammad Javad, Loo, Boon Thau, Malkhi, Dahlia, Marcus, Ryan
This paper presents BFTBrain, a reinforcement learning (RL) based Byzantine fault-tolerant (BFT) system that provides significant operational benefits: a plug-and-play system suitable for a broad set of hardware and network configurations, and adjust
Externí odkaz:
http://arxiv.org/abs/2408.06432
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, therefore, an important task. This paper presents an automated safety v
Externí odkaz:
http://arxiv.org/abs/2211.14585
This paper presents AdaChain, a learning-based blockchain framework that adaptively chooses the best permissioned blockchain architecture in order to optimize effective throughput for dynamic transaction workloads. AdaChain addresses the challenge in
Externí odkaz:
http://arxiv.org/abs/2211.01580
This paper presents DeCon, a declarative programming language for implementing smart contracts and specifying contract-level properties. Driven by the observation that smart contract operations and contract-level properties can be naturally expressed
Externí odkaz:
http://arxiv.org/abs/2207.13827
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 applications, workloads, and data center infrastructure. We propose TeShu, wh
Externí odkaz:
http://arxiv.org/abs/2207.10746
Autor:
Amiri, Mohammad Javad, Wu, Chenyuan, Agrawal, Divyakant, Abbadi, Amr El, Loo, Boon Thau, Sadoghi, Mohammad
Byzantine Fault-Tolerant (BFT) protocols have recently been extensively used by decentralized data management systems with non-trustworthy infrastructures, e.g., permissioned blockchains. BFT protocols cover a broad spectrum of design dimensions from
Externí odkaz:
http://arxiv.org/abs/2205.04534
Debugging imperative network programs is a challenging task for developers because understanding various network modules and complicated data structures is typically time-consuming. To address the challenge, this paper presents an automated technique
Externí odkaz:
http://arxiv.org/abs/2110.06303
Publikováno v:
Proceedings of the VLDB Endowment 15, no. 11 (2022)
Today's large-scale data management systems need to address distributed applications' confidentiality and scalability requirements among a set of collaborative enterprises. This paper presents Qanaat, a scalable multi-enterprise permissioned blockcha
Externí odkaz:
http://arxiv.org/abs/2107.10836
We present Saguaro, a permissioned blockchain system designed specifically for edge computing networks. Saguaro leverages the hierarchical structure of edge computing networks to reduce the overhead of wide-area communication by presenting several te
Externí odkaz:
http://arxiv.org/abs/2101.08819