Publications & Manuscripts

• Scalable, Validated Code Translation of Entire Projects using Large Language Models
  Hanliang Zhang, Cristina David, Meng Wang, Brandon Paulsen, Daniel Kroening
  Conditionally accepted to PLDI’25 Preprint Arxiv

• Towards Translating Real-World Code with LLMs: A Study of Translating to Rust
  Hasan Ferit Eniser*, Hanliang Zhang*, Cristina David, Meng Wang, Maria Christakis, Brandon Paulsen, Joey Dodds, Daniel Kroening (* indicates equal contribution)
  Submitted Arxiv

• Quantifying the benefits of code hints for refactoring deprecated Java APIs
  Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang (names in alphabetic order)
  Accepted at FSE Industrial track Preprint Arxiv

• Ownership Guided C to Rust Translation
  Hanliang Zhang, Cristina David, Yijun Yu, Meng Wang
  Published in CAV’2023 [Paper]

• Contract Lenses: Reasoning about Bidirectional Programs via Calculation
  Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu
  Published in JFP [Paper]