2 papers
cs.SE2026
CLIR: Liveness-Driven and Structure-Aware Fuzzing for the Cranelift Compiler
Shangtong Cao, Tianlei Song, Qiuping Yi +4
Modern compilers are complex software systems that must correctly translate high-level programming languages into machine code across multiple architectures. Cranelift, a fast and…
cs.SE2025
VeriFix: Verifying Your Fix Towards An Atomicity Violation
Zhuang Li, Qiuping Yi, Jeff Huang
Atomicity violation is one of the most serious types of bugs in concurrent programs. Synchronizations are commonly used to enforce atomicity. However, it is very challenging to pla…