Xiao Jia

According to our database, Xiao Jia authored at least 2 papers between 2014 and 2015.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of five.

2015

Proving Lock-Freedom Easily and Automatically.

Xiao Jia, Wei Li, Viktor Vafeiadis

Proceedings of the 2015 Conference on Certified Programs and Proofs, 2015

2014

ρ-uncertainty Anonymization by Partial Suppression.

Xiao Jia, Chao Pan, Xinhui Xu, Kenny Q. Zhu, Eric Lo

Proceedings of the Database Systems for Advanced Applications, 2014