23 citations · 47 across the 19 of their papers we have counts for
5 papers · 1 filter
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…
The Bedrock of Byzantine Fault Tolerance: A Unified Platform for BFT Protocol Design and Implementation
Mohammad Javad Amiri, Chenyuan Wu, Divyakant Agrawal +3
Byzantine Fault-Tolerant (BFT) protocols have recently been extensively used by decentralized data management systems with non-trustworthy infrastructures, e.g., permissioned block…