5 citations · 5 across the 1 of their papers we have counts for
3 papers
cs.DC2020★ 5 cited
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…
cs.PL2019
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…
cs.CR2018
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…