Author

Xin-Yu Wang

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Oct 2026

VARIES: Verification Harness Synthesis and Efficient Scheduling for Unsoundness Detection in Rust Libraries

Rust provides strong compile-time safety guarantees, but unsafe code in real-world libraries can still introduce unsoundness bugs that may undermine this guarantee. Compared with prior work, bounded model checking (BMC) offers a promising direction by adapting formal verification to unsoundness detection. In practice,...

Huang Li, Xing Hu, Xin Xia et al. · Proceedings of the 41st IEEE... · 0 citations

#cybersecurity Review Feb 2026

"Tab, Tab, Bug": Security Pitfalls of Next Edit Suggestions in AI-Integrated IDEs

The first systematic security study of NES systems is conducted, finding that NES retrieves a significantly expanded context, including inputs from imperceptible user actions and global codebase retrieval, which increases the attack surfaces.

Yunlong Lyu, Yi-Xuan Tang, Peng Chen et al. · arXiv.org · 1 citation