..

Peer reviewed papers

[To Appear] MAKO: Refining Indirect-Call Targets with Type Relation Unfolding. Yibo Jin, Wei Chen, Bowen Zhang*, and Charles Zhang.

[EuroSys 2025] SEAL: Towards Diverse Specification Inference for Linux Interfaces from Security Patches. Wei Chen, Bowen Zhang*, Chengpeng Wang, Wensheng Tang, and Charles Zhang.

[ASPLOS 2024] SIRO: Empowering Version Compatibility in Intermediate Representations via Program Synthesis. Bowen Zhang, Wei Chen, Peisen Yao, Chengpeng Wang, Wensheng Tang, and Charles Zhang.

(* indicates corresponding author)

---

Links to colaborators: Wei, Peisen, Chengpeng

Last updated @2026.5