1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SE2024
SmartOracle: Generating Smart Contract Oracle via Fine-Grained Invariant Detection
Jianzhong Su, Jiachi Chen, Zhiyuan Fang +3
As decentralized applications (DApps) proliferate, the increased complexity and usage of smart contracts have heightened their susceptibility to security incidents and financial lo…
cs.SE2024★ 1 cited
An Empirical Study on Low-Code Programming using Traditional vs Large Language Model Support
Yongkun Liu, Jiachi Chen, Tingting Bi +6
Low-code programming (LCP) refers to programming using models at higher levels of abstraction, resulting in less manual and more efficient programming, and reduced learning effort…