A paper has been accepted by ICSME 2014

Precise Isolation of Concurrency Bugs via Delta Triaging, has been accepted into the Research Track of ICSME 2014. Congruatulations!


AEVIOU Chinese Text Input 2.0 has been released.

This version can be downloaded at the vdisk of weibo. Also see wiki.


A paper has been accepted by TPDS

“Energy-Efficient SLA Guarantees for Virtualized GPU in Cloud Gaming” has been accepted by TPDS! Congratulations!


A primary version of our Danxia Cloud Website


have a fun!


icyhttpd is a open source http server using Fiber on IOCP

icyhttpd by Gong Lu(龚路) leverages the use of both I/O multiplexing and fibers to build a user-level threading framework with high scalability. It enables programmer to write threaded code in a
heavily concurrent environment without losing performance. Our framework achieves a M:N threading model, which hosts M userlevel threads on top of N kernel-level threads. To demonstrate the usefulness of this framework, we provide a proof-of-concept open source implementation of a web server application.


Kai Chen’s talk: Routing Over Explicit Paths in Data Centers: Design and Applications

PPT: SJTU-talk
Kai's talk


Yudi Zheng’s talk: How I Learned to Stop Worrying and Love the JVM

Yudi's talk


Spring Outing in Zhoushan

Spring Outing


Advanced Programming in the Unix Environment (3rd,中译本) has been published

Advanced Programming in the Unix Environment


LUPA and Pinso have been released in github

LUPA : A tool based on LLVM automatically collect data of lock usage in open source applications [ICSM 2013].


Pinso:A fault localization system that precisely pinpoints the root cause of concurrency bugs.