2018
-
OWL: Understanding and Detecting Concurrency Attacks
Shixiong Zhao, Rui Gu, Haoran Qiu, Tsz On Li, Yuexuan Wang, Heming Cui, and Junfeng Yang
In Proceedings of the 48th IEEE/IFIP International Conference on Dependable Systems and Networks 2018(DSN'18).
* Shixiong and Rui are both lead-author(annotated in the paper's first page footnote)
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