paper-conference

Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis
Wenyao Chen, Wei Li, Jingling Xue
Cite
From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust
Wei Li, Wenyao Chen, Jingling Xue
Cite
Soil moisture sensing with mmwave radar
Wenyao Chen, Yimeng Feng, Mark Cardamis, Cheng Jiang, Wei Song, Oula Ghannoum, Wen Hu
Cite