Ownership Guided C to Rust Translation. - Hanliang Zhang; Cristina David; Yijun Yu; Meng Wang 002 (CAV (3), 2023)

Contract lenses: Reasoning about bidirectional programs via calculation. - Hanliang Zhang; Wenhao Tang; Ruifeng Xie; Meng Wang 002; Zhenjiang Hu (J. Funct. Program., 2023)

Towards Translating Real-World Code with LLMs: A Study of Translating to Rust. - Hasan Ferit Eniser; Hanliang Zhang; Cristina David; Meng Wang 002; Maria Christakis; Brandon Paulsen; Joey Dodds; Daniel Kroening (CoRR, 2024)

Quantifying the benefits of code hints for refactoring deprecated Java APIs. - Cristina David; Pascal Kesseli; Daniel Kroening; Hanliang Zhang (SIGSOFT FSE Companion, 2025)

Scalable, Validated Code Translation of Entire Projects using Large Language Models. - Hanliang Zhang; Cristina David; Meng Wang 002; Brandon Paulsen; Daniel Kroening (Proc. ACM Program. Lang., 2025)