A paper has been accepted by ToN

Our joint paper with Dr. Xin Zhang, “DFL: Secure and Practical Fault Localization for Datacenter Networks”, has been accepted by IEEE/ACM Transactions on Networking. Congratulations!

A paper has been accepted by ICSM 2013

“An Automation-assisted Empirical Study on Lock Usage for Concurrent Programs ” has been accepted for presentation and publication as a full technical paper at the 29th IEEE International Conference on Software Maintenance, to be held in Eindhoven, the Netherlands, September 22-28, 2013. Congratulations!

Expo’s hiking

Expo’s hiking