• Generic recursive lens combinators and their calculation laws. Ruifeng Xie, Zhenjiang Hu. Theoretical Computer Science, Volume 913, April 20 2022, Pages 113-137.
• Contract Lenses: Reasoning about Bidirectional Programs via Calculation. Hanliang Zhang, Wenhao Tang, Ruifeng Xie, Meng Wang, Zhenjiang Hu. Journal of Functional Programming, Volume 33, November 06 2023, e10.
• Fusing Direct Manipulations into Functional Programs. Xing Zhang, Ruifeng Xie, Guanchen Guo, Xiao He, Tao Zan, Zhenjiang Hu. Proceedings of the ACM on Programming Languages, Volume 8, Issue POPL (POPL 2024), January 17 2024, Pages 1211-1238.