Publications

From Raw Pointers to Memory Safety: A Modular Demand-Driven Typestate Analysis for Rust. Wei Li, Wenyao Chen, Jingling Xue 2026 ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA'26). 2026.

Beyond k-Limiting: Pointer-Flow-Guided Context Sensitivity for Scalable and Precise Rust Pointer Analysis. Wenyao Chen, Wei Li, Jingling Xue 40th European Conference on Object-Oriented Programming (ECOOP'26). 2026.

Leafeon: Towards Accurate Sensing of Leaf Water Content for Protected Cropping, with mmWave Radar. Mark Cardamis, Hong Jia, Hao Qian, Wenyao Chen, Yihe Yan, Oula Ghannoum, Aaron Quigley, Chun Tung Chou, Wen Hu IEEE Internet of Things Journal. 2025.

Soil moisture sensing with mmwave radar. Wenyao Chen, Yimeng Feng, Mark Cardamis, Cheng Jiang, Wei Song, Oula Ghannoum, Wen Hu Proceedings of the 6th ACM Workshop on Millimeter-Wave and Terahertz Networks and Sensing Systems. 2022.