ρ-uncertainty Anonymization by Partial Suppression. - Xiao Jia 001; Chao Pan; Xinhui Xu; Kenny Q. Zhu; Eric Lo 001 (DASFAA (2), 2014)

Proving Lock-Freedom Easily and Automatically. - Xiao Jia 001; Wei Li; Viktor Vafeiadis (CPP, 2015)