21 citations · 105 across the 25 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.SE2024
Distinguishability-guided Test Program Generation for WebAssembly Runtime Performance Testing
Shuyao Jiang, Ruiying Zeng, Yangfan Zhou +1
WebAssembly (Wasm) is a binary instruction format designed as a portable compilation target, which has been widely used on both the web and server sides in recent years. As high pe…
cs.SE2024
Fearless Unsafe. A More User-friendly Document for Unsafe Rust Programming Base on Refined Safety Properties
Mohan Cui, Penglei Mao, Shuran Sun +2
Rust, a popular systems-level programming language, has garnered widespread attention due to its features of achieving run-time efficiency and memory safety. With an increasing num…