36 citations · 48 across the 4 of their papers we have counts for
6 papers
Automatic Horizontal Fusion for GPU Kernels
Ao Li, Bojian Zheng, Gennady Pekhimenko +1
We present automatic horizontal fusion, a novel optimization technique that complements the standard kernel fusion techniques for GPU programs. Unlike the standard fusion, whose go…
GHAST: Breaking Confirmation Delay Barrier in Nakamoto Consensus via Adaptive Weighted Blocks
Chenxing Li, Fan Long, Guang Yang
Initiated from Nakamoto's Bitcoin system, blockchain technology has demonstrated great capability of building secure consensus among decentralized parties at Internet-scale, i.e.,…
Engineering Economics in the Conflux Network
Yuxi Cai, Fan Long, Andreas Park +1
Proof-of-work blockchains need to be carefully designed so as to create the proper incentives for miners to faithfully maintain the network in a sustainable way. This paper describ…
Securing Smart Contract On The Fly
Ao Li, Jemin Andrew Choi, Fan Long
We present Solythesis, a source to source Solidity compiler which takes a smart contract code and a user specified invariant as the input and produces an instrumented contract that…
Detecting Standard Violation Errors in Smart Contracts
Ao Li, Fan Long
We present SOLAR, a new analysis tool for automatically detecting standard violation errors in Ethereum smart contracts.Given the Ethereum Virtual Machine (EVM) bytecode of a smart…
Scaling Nakamoto Consensus to Thousands of Transactions per Second
Chenxing Li, Peilun Li, Dong Zhou +3
This paper presents Conflux, a fast, scalable and decentralized blockchain system that optimistically process concurrent blocks without discarding any as forks. The Conflux consens…