29 citations · 39 across the 5 of their papers we have counts for
5 papers
PolarDB-IMCI: A Cloud-Native HTAP Database System at Alibaba
Jianying Wang, Tongliang Li, Haoze Song +21
Cloud-native databases have become the de-facto choice for mission-critical applications on the cloud due to the need for high availability, resource elasticity, and cost efficienc…
Knock Out 2PC with Practicality Intact: a High-performance and General Distributed Transaction Protocol (Technical Report)
Ziliang Lai, Hua Fan, Wenchao Zhou +4
Two-phase-commit (2PC) has been widely adopted for distributed transaction processing, but it also jeopardizes throughput by introducing two rounds of network communications and tw…
Saguaro: An Edge Computing-Enabled Hierarchical Permissioned Blockchain
Mohammad Javad Amiri, Ziliang Lai, Liana Patel +3
We present Saguaro, a permissioned blockchain system designed specifically for edge computing networks. Saguaro leverages the hierarchical structure of edge computing networks to r…
A Program Logic for Verifying Secure Routing Protocols
Chen Chen, Limin Jia, Hao Xu +3
The Internet, as it stands today, is highly vulnerable to attacks. However, little has been done to understand and verify the formal security guarantees of proposed secure inter-do…
Declarative Reconfigurable Trust Management
William Marczak, David Zook, Wenchao Zhou +2
In recent years, there has been a proliferation of declarative logic-based trust management languages and systems proposed to ease the description, configuration, and enforcement o…