43 citations · 61 across the 22 of their papers we have counts for
Showing 2020Show all
3 papers · 1 filter
cs.PL2020
Typable Fragments of Polynomial Automatic Amortized Resource Analysis
Long Pham, Jan Hoffmann
Being a fully automated technique for resource analysis, automatic amortized resource analysis (AARA) can fail in returning worst-case cost bounds of programs, fundamentally due to…
cs.LG2020★ 2 cited
SOCRATES: Towards a Unified Platform for Neural Network Analysis
Long H. Pham, Jiaying Li, Jun Sun
Studies show that neural networks, not unlike traditional programs, are subject to bugs, e.g., adversarial samples that cause classification errors and discriminatory instances tha…
cs.SE2020★ 43 cited
sFuzz: An Efficient Adaptive Fuzzer for Solidity Smart Contracts
Tai D. Nguyen, Long H. Pham, Jun Sun +2
Smart contracts are Turing-complete programs that execute on the infrastructure of the blockchain, which often manage valuable digital assets. Solidity is one of the most popular p…