2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.SE2022
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…
cs.SE2022★ 1 cited
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…
cs.LG2021★ 2 cited
Interpret-able feedback for AutoML systems
Behnaz Arzani, Kevin Hsieh, Haoxian Chen
Automated machine learning (AutoML) systems aim to enable training machine learning (ML) models for non-ML experts. A shortcoming of these systems is that when they fail to produce…