Publications

• Automatic refactoring of deprecated APIs
  Cristina David, Pascal Kesseli, Daniel Kroening, Hanliang Zhang (names in alphabetic order)
  Submitted

• 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]