87 citations · 168 across the 51 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2025
Bounded Exhaustive Random Program Generation for Testing Solidity Compilers
Haoyang Ma, Alastair F. Donaldson, Qingchao Shen +3
By July 2025, smart contracts collectively manage roughly $120 billion in assets. With Solidity remaining the dominant language for smart contract development, the correctness of S…
cs.PL2023★ 2 cited
Compiler Auto-tuning through Multiple Phase Learning
Mingxuan Zhu, Dan Hao, Junjie Chen
Widely used compilers like GCC and LLVM usually have hundreds of optimizations controlled by optimization flags, which are enabled or disabled during compilation to improve runtime…