70 citations · 161 across the 8 of their papers we have counts for
8 papers
Towards Understanding Third-party Library Dependency in C/C++ Ecosystem
Wei Tang, Zhengzi Xu, Chengwei Liu +5
Third-party libraries (TPLs) are frequently reused in software to reduce development cost and the time to market. However, external library dependencies may introduce vulnerabiliti…
GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesis
Yushi Cao, Zhiming Li, Tianpei Yang +5
Despite achieving superior performance in human-level control problems, unlike humans, deep reinforcement learning (DRL) lacks high-order intelligence (e.g., logic deduction and re…
Unveiling Project-Specific Bias in Neural Code Models
Zhiming Li, Yanzhou Li, Tianlin Li +5
Deep learning has introduced significant improvements in many software analysis tasks. Although the Large Language Models (LLMs) based neural code models demonstrate commendable pe…
Cross-Lingual Transfer Learning for Statistical Type Inference
Zhiming Li, Xiaofei Xie, Haoliang Li +3
Hitherto statistical type inference systems rely thoroughly on supervised learning approaches, which require laborious manual effort to collect and label large amounts of data. Mos…
Formal Analysis of Composable DeFi Protocols
Palina Tolmach, Yi Li, Shang-Wei Lin +1
Decentralized finance (DeFi) has become one of the most successful applications of blockchain and smart contracts. The DeFi ecosystem enables a wide range of crypto-financial activ…
A Survey of Smart Contract Formal Specification and Verification
Palina Tolmach, Yi Li, Shang-Wei Lin +2
A smart contract is a computer program which allows users to automate their actions on the blockchain platform. Given the significance of smart contracts in supporting important ac…