Energy types. - Michael Cohen; Haitao Steve Zhu; Senem Ezgi Emgin; Yu David Liu (OOPSLA, 2012)

Heap Decomposition Inference with Linear Programming. - Haitao Steve Zhu; Yu David Liu (ECOOP, 2013)

A Programming Model for Sustainable Software. - Haitao Steve Zhu; Chaoren Lin; Yu David Liu (ICSE (1), 2015)