2016
2015
-
Paxos Made Transparent
Heming Cui, Rui Gu, Cheng Liu, Tianyu Chen and Junfeng Yang
In Proceedings of the 2015 ACM Symposium on Operating Systems Priciples, Monterey, USA (SOSP'15).
Slides | Video
-
Repframe: An Efficient and Transparent Framework for Dynamic Program Analysis
Heming Cui, Rui Gu, Cheng Liu and Junfeng Yang
In Proceedings of the 2015 ACM SIGOPS Asia-Pacific Workshop on Systems, Tokyo, Japan (APSys'15).
-
What Change History Tells Us About Thread Synchronization
Rui Gu, Guoliang Jin, Linhai Song, Linjie Zhu and Shan Lu
In Proceedings of the 2015 ACM SIGSOFT Symposium on the Foundations of Software Engineering, Bergamo, Italy (FSE'15).
Slides
2013