Mingwei Zheng

Identifiers

No identifiers captured yet.

Papers (2)

1. Raw Pointer Rewriting with LLMs for Translating C to Safer Rust cs.SE · 2025 · author #5
2. NESA: Relational Neuro-Symbolic Static Program Analysis cs.PL · 2024 · author #6

Mentions

No mention provenance yet.

Frequent Coauthors

• Chengpeng Wang 2 shared papers
• Xiangyu Zhang 2 shared papers
• Xuwei Liu 2 shared papers
• Yifei Gao 2 shared papers
• Jinyao Guo 1 shared papers
• Pengxiang Huang 1 shared papers
• Qingkai Shi 1 shared papers
• Wuqi Zhang 1 shared papers