Rust is a modern system-level programming language that emphasizes safety, concurrency, and performance. Ensuring the reliability of the Rust compiler is critical, as undetected compiler defects, particularly internal compiler errors (ICEs), can lead to runtime crashes or undefined behavior in system software. Existing...
Lang-Yi Lu, Wei You, Bin Liang et al.· Proceedings of the ACM on So...· 0 citations
VSpector is presented, a specification-driven bug detection pipeline that directly checks whether CPU register-transfer level (RTL) implementations adhere to official specification rules, without requiring specialized construction of reference models, formal properties, or custom bug patterns.
Tian-Yu Jia, Zhao-Yang Yu, Yuan-Liang Chen et al.· 0 citations
A novel, model-feedback-free LRM-DoS paradigm that employs the conflict count derived from an Satisfiability Modulo Theories (SMT) solver as a low-cost external signal to guide the synthesis of inference-heavy Constraint Satisfaction Problem (CSP) instances.
Jian Yang, Zhenqi Feng, Zhaoyang Yu et al.· 0 citations
We use cookies to run the site and, with your consent, for analytics and to show ads.
See our Cookie Policy.
