Scholar

Hui Xu

Google Scholar ID: 16neAUkAAAAJ

Associate Professor, Fudan University

Program AnalysisSoftware Reliability

Citations & Impact

All-time

Citations

892

H-index

i10-index

Publications

Co-authors

list available

Contact

Publications

1 items

2026

Cited

Resume (English only)

Academic Achievements

Developed RAPx, a static program analysis platform for Rust Crates, participating in the verify-rust-std challenge
Proposed a tracing-based methodology for unsafe code verification with formal rationale for soundness
Defined safety properties for unsafe APIs in the Rust standard library and submitted an RFC to the Rust community
Delivered recent talks at venues including Rust Formal Methods Interest Group, CCF Xiu Lake Meeting, GOSIM Workshop, and CCF-ADL
Served as Chair of ISSRE 2024 FA Track, General Co-Chair of DSML 2021, and Publicity Co-Chair of DSN 2021
Served on program committees of ASE, ICSE (TechDebt), DSN, ISSRE, TASE, QRS, Internetware, PRDC, ICPADS, and related workshops

Co-authors

46 total