A Typeful and Tagless Representation for XML Documents. - Dengping Zhu; Hongwei Xi 001 (APLAS, 2003)

Implementing Cut Elimination: A Case Study of Simulating Dependent Types in Haskell. - Chiyan Chen; Dengping Zhu; Hongwei Xi 001 (PADL, 2004)

Safe Programming with Pointers Through Stateful Views. - Dengping Zhu; Hongwei Xi 001 (PADL, 2005)

A Modality for Safe Resource Sharing and Code Reentrancy. - Rui Shi; Dengping Zhu; Hongwei Xi 001 (ICTAC, 2010)

To Memory Safety through Proofs. - Hongwei Xi 001; Dengping Zhu (CoRR, 2018)