Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Systems Research Group (Asia)
Publications

2015

Youshan Miao, Wentao Han, Kaiwei Li, Ming Wu, Fan Yang, Lidong Zhou, Vijayan Prabhakaran, Enhong Chen, and Wenguang Chen, ImmortalGraph: A System for Storage and Analysis of Temporal Graphs, in ACM Transactions on Storage (TOS), ACM – Association for Computing Machinery, December 2015.

Yifan Zhang, Yunxin Liu, Li Zhuang, Xuanzhe Liu, Feng Zhao, and Qun Li, Accurate CPU Power Modeling for Multicore Smartphones, no. MSR-TR-2015-9, February 2015.

2014

Chang Liu, Jiaxing Zhang, Hucheng Zhou, Sean McDirmid, Zhenyu Guo, and Thomas Moscibroda, Automating Distributed Partial Aggregation, in 5th ACM Symposium on Cloud Computing (SOCC), ACM – Association for Computing Machinery, November 2014.

Sean McDirmid and Jonathan Edwards, Programming with Managed Time, in SPLASH Onward!, ACM, October 2014.

Wentao Han, Youshan Miao, Kaiwei Li, Ming Wu, Fan Yang, Lidong Zhou, Vijayan Prabhakaran, Wenguang Chen, and Enhong Chen, Chronos: A Graph Engine for Temporal Graph Analysis, EuroSys, April 2014.

Zhenyu Guo, Chuntao Hong, Mao Yang, Lidong Zhou, Li Zhuang, and Dong Zhou, Rex: Replication at the Speed of Multi-core, in EuroSys '14: Proceedings of the Ninth European Conference on Computer Systems, EuroSys, 2014.

2013

Mahesh Balakrishnan, Dahlia Malkhi, Ted Wobber, Ming Wu, Vijayan Prabhakaran, Micheal Wei, John D. Davis, Sriram Rao, Tao Zou, and Aviad Zuck, Tango: Distributed Data Structures over a Shared Log, in SOSP, November 2013.

Sean McDirmid, Usable Live Programming, in SPLASH Onward!, ACM SIGPLAN, October 2013.

Sebastian Burckhardt, Manuel Fahndrich, Peli de Halleux, Jun Kato, Sean McDirmid, Michal Moskal, and Nikolai Tillmann, It's Alive! Continuous Feedback in UI Programming, in PLDI, ACM SIGPLAN, June 2013.

Sihan Li, Hucheng Zhou, Haoxiang Lin, Tian Xiao, Haibo Lin, Wei Lin, and Tao Xie, A Characteristic Study on Failures of Production Distributed Data-Parallel Programs, in ICSE (SEIP track). Best paper!, ACM/IEEE, 22 May 2013.

Zhenyu Guo, Sean McDirmid, Mao Yang, Li Zhuang, Pu Zhang, Yingwei Luo, Tom Bergan, Peter Bodik, Madan Musuvathi, Zheng Zhang, and Lidong Zhou, Failure Recovery: When the Cure Is Worse Than the Disease, in HotOS, USENIX, 13 May 2013.

Zhengping Qian, Yong He, Chunzhi Su, Zhuojie Wu, Hongyu Zhu, Taizhi Zhang, Lidong Zhou, Yuan Yu, and Zheng Zhang, TimeStream: Reliable Stream Computation in the Cloud, in EuroSys 2013, ACM, April 2013.

Haoxiang Lin, Model Checking Distributed Systems (in Chinese), in Communications of The CCF, vol. 9, no. 2, pp. 46-51, China Computer Federation, February 2013.

2012

Sean McDirmid, Escape from the Maze of Twisty Classes, in SPLASH Onward!, ACM SIGPLAN, October 2012.

Cheng Zhang, Longwen Lu, Hucheng Zhou, Jianjun Zhao, and Zheng Zhang, MoonBox: Debugging with Online Slicing and Dryrun, APSys, 23 July 2012.

Vijayan Prabhakaran, Ming Wu, Xuetian Weng, Frank McSherry, Lidong Zhou, and Maya Haridasan, Managing Large Graphs on Multi-Cores with Graph Awareness , in USENIX Annual Technical Conference (USENIX ATC'12), USENIX, June 2012.

Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y.Li, Wei Lin, Jingren Zhou, and Lidong Zhou, Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions, in NSDI, USENIX, 25 April 2012.

Zhengping Qian, Xiuwei Chen, Nanxi Kang, Mingcheng Chen, Yuan Yu, Thomas Moscibroda, and Zheng Zhang, MadLINQ: Large-Scale Distributed Matrix Computation for the Cloud, in EuroSys 2012, ACM, April 2012.

Raymond Cheng, Ji Hong, Aapo Kyrola, Youshan Miao, Xuetian Weng, Ming Wu, Fan Yang, Lidong Zhou, Feng Zhao, and Enhong Chen, Kineograph: taking the pulse of a fast-changing and connected world, ACM Eurosys, April 2012.

Jiaxing Zhang, Hucheng Zhou, Rishan Chen, Xuepeng Fan, Zhenyu Guo, Haoxiang Lin, Jack Y. Li, Wei Lin, Jingren Zhou, and Lidong Zhou, Optimizing Data Shuffling in Data-Parallel Computation by Understanding User-Defined Functions, no. MSR-TR-2012-28, April 2012.

Fan Yang, Zhengping Qian, Xiuwei Chen, Ivan Beschastnikh, Li Zhuang, Lidong Zhou, and Guobin Shen, Sonora: A Platform for Continuous Mobile-Cloud Computing, no. MSR-TR-2012-34, March 2012.

2011

Sean McDirmid, Coding at the Speed of Touch, in SPLASH Onward!, ACM SIGPLAN, October 2011.

Huayang Guo, Ming Wu, Lidong Zhou, Gang Hu, Junfeng Yang, and Lintao Zhang, Practical software model checking via dynamic interface reduction, Symposium on Operating Systems Principles (SOSP), October 2011.

Zhenyu Guo, Dong Zhou, Haoxiang Lin, Mao Yang, Fan Long, Chaoqiang Deng, Changshu Liu, and Lidong Zhou, G2: A Graph Processing System for Diagnosing Distributed Systems, in Proceedings of the 2011 USENIX Annual Technical Conference (USENIX ATC '11), USENIX, 15 June 2011.

Cheng Zhang, Zhenyu Guo, Ming Wu, Longwen Lu, Yu Fan, Jianjun Zhao, and Zheng Zhang, AutoLog: facing log redundancy and insufficiency, APSys, 2011.

2010

Ming Wu, Fan Long, Xi Wang, Zhilei Xu, Haoxiang Lin, Xuezheng Liu, Zhenyu Guo, Huayang Guo, Lidong Zhou, and Zheng Zhang, Language-Based Replay via Data Flow Cut, in Proceedings of the 18th ACM SIGSOFT International Symposium on Foundations of Software Engineering (FSE-18), ACM, November 2010.

Sai Tung On, Yinan Li, Bingsheng He, Ming Wu, Qiong Luo, and Jianliang Xu, FD-Buffer: A Buffer Manager for Databases on Flash Disks, no. MSR-TR-2010-121, 11 September 2010.

Hongyi Wang, Qingfeng Jing, Rishan Chen, Bingsheng He, Zhengping Qian, and Lidong Zhou, Distributed Systems Meet Economics: Pricing in the Cloud, in HotCloud '10, USENIX, June 2010.

2009

Junfeng Yang, Tisheng Chen, Ming Wu, Zhilei Xu, Xuezheng Liu, Haoxiang Lin, Mao Yang, Fan Long, Lintao Zhang, and Lidong Zhou, MODIST: Transparent Model Checking of Unmodified Distributed Systems, in Proceedings of the 6th Symposium on Networked Systems Design and Implementation (NSDI '09), USENIX, 22 April 2009.

Bingsheng He, Mao Yang, Zhenyu Guo, Rishan Chen, Wei Lin, Bing Su, Hongyi Wang, and Lidong Zhou, Wave Computing in the Cloud, in HotOS, USENIX, April 2009.

2008

Ruini Xue, Xuezheng Liu, Ming Wu, Zhenyu Guo, Wenguang Chen, Weimin Zheng, Zheng Zhang, and Geoffrey M. Voelker, MPIWiz: Subgroup Reproducible Replay of MPI Applications, no. MSR-TR-2008-127, September 2008.

Xi Wang, Zhenyu Guo, Xuezheng Liu, Zhilei Xu, Haoxiang Lin, Xiaoge Wang, and Zheng Zhang, Hang analysis: Fighting responsiveness bugs, in Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008, ACM, April 2008.

Xuezheng Liu, Zhenyu Guo, Xi Wang, Feibo Chen, Xiaochen Lian, Jian Tang, Ming Wu, M. Frans Kaashoek, and Zheng Zhang, D3S: Debugging Deployed Distributed Systems, NSDI, February 2008.

Wei Lin, Mao Yang, Lintao Zhang, and Lidong Zhou, PacificA: Replication in Log-Based Distributed Storage Systems, no. MSR-TR-2008-25, February 2008.

Zhenyu Guo, Xi Wang, Xuezheng Liu, Wei Lin, and Zheng Zhang, BOX: Icing the APIs, no. MSR-TR-2008-03, January 2008.

Zhenyu Guo, Xi Wang, Xuezheng Liu, Wei Lin, and Zheng Zhang, Towards Pragmatic Library-based Replay, no. MSR-TR-2008-02, January 2008.

2007

Yu Chen and Wei Chen, Decentralized, Connectivity-Preserving, and Cost-Effective Structured Overlay Maintenance, Springer-Verlag, November 2007.

Ming Chen, Wei Chen, Likun Liu, and Zheng Zhang, An Analytical Framework and Its Applications for Studying Brick Storage Reliability , IEEE Computer Society, October 2007.

Mao Yang, Qinyuan Feng, Yafei Dai, and Zheng Zhang, A Multi-dimensional Reputation System Combined with Trust and Incentive Mechanisms in P2P File Sharing Systems, IEEE Computer Society, June 2007.

Ming Chen, Lex Stein, and Zheng Zhang, Dependability, Access Diversity, Low Cost: Pick Two, USENIX, June 2007.

Qiao Lian, Zheng Zhang, Mao Yang, Ben Y. Zhao, Yafei Dai, and Xiaoming Li, An Empirical Study of Collusion Behavior in the Maze P2P File-Sharing System, IEEE Computer Society, June 2007.

Wei Chen, Jialin Zhang, Yu Chen, and Xuezheng Liu, Failure Detectors and Extended Paxos for k-Set Agreement, no. MSR-TR-2007-48, May 2007.

Wei Chen, Jialin Zhang, Yu Chen, and Xuezheng Liu, Partition Approach to Failure Detectors for k-Set Agreement, no. MSR-TR-2007-49, May 2007.

Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang, WiDS Checker: Combating Bugs in Distributed Systems, USENIX, April 2007.

Shuo Tang, Yu Chen, and Zheng Zhang, Machine Bank: Own Your Virtual Personal Computer, IEEE Computer Society, March 2007.

Lex Stein, David Holland, Margo Seltzer, and Zheng Zhang, Can a File System Virtualize Processors?, Association for Computing Machinery, Inc., March 2007.

Bin Cheng, Xuezheng Liu, Zhengyou Zhang, and Hai Jin, A Measurement Study of a Peer-to-Peer Video-on-Demand System, February 2007.

2006

Chun Yuan, Ni Lao, Ji-Rong Wen, Jiwei Li, Zheng Zhang, Yi-Min Wang, and Wei-Ying Ma, Automated Known Problem Diagnosis with Event Traces, Association for Computing Machinery, Inc., April 2006.

Wei Chen and Xuezheng Liu, Enforcing Routing Consistency in Structured Peer-to-Peer Overlays: Should We and Could We?, February 2006.

Qiao Lian, Peng Yu, Mao Yang, Zheng Zhang, Yafei Dai, and Xiaoming Li, Robust Incentives via Multi-level Tit-for-tat, February 2006.

2005

Wei Chen, Shiding Lin, Qiao Lian, and Zheng Zhang, Sigma: A Fault-Tolerant Mutual Exclusion Algorithm in Dynamic Distributed Systems Subject to Process Crashes and Memory Losses, no. MSR-TR-2005-58, December 2005.

Zheng Zhang, Qiao Lian, Shiding Lin, Wei Chen, Yu Chen, and Chao Jin, BitVault: a Highly Reliable Distributed Data Retention Platform, Association for Computing Machinery, Inc., December 2005.

Shiding Lin, Aimin Pan, Rui Guo, and Zheng Zhang, Simulating Large-Scale P2P Systems with the WiDS Toolkit, Institute of Electrical and Electronics Engineers, Inc., September 2005.

Qiao Lian, Wei Chen, Zheng Zhang, Shaomei Wu, and Ben Y. Zhao, Z-Ring: Fast Prefix Routing via a Low Maintenance Membership Protocol, Institute of Electrical and Electronics Engineers, Inc., August 2005.

Qiao Lian, Wei Chen, and Zheng Zhang, On the Impact of Replica Placement to the Reliability of Distributed Brick Storage System, Institute of Electrical and Electronics Engineers, Inc., June 2005.

Qiao Lian, Wei Chen, and Zheng Zhang, On the impact of replica placement to the reliability of distributed brick storage systems, no. MSR-TR-2005-71, June 2005.

Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, and Zhenyu Guo, WiDS: an Integrated Toolkit for Distributed System Development, in HotOS, USENIX, June 2005.

Mao Yang, Zhengyou Zhang, Xiaoming Li, and Yafei Dai, An Empirical Study of Free-Riding Behavior in the Maze P2P File-Sharing System, February 2005.

2004

Mao Yang, Hua Chen, Ben Y. Zhao, Yafei Dai, and Zhengyou Zhang, Deployment of a Large-scale Peer-to-Peer Social Network, USENIX, December 2004.

Zheng Zhang, Qiao Lian, and Yu Chen, XRing: Achieving High-Performance Routing Adaptively in Structured P2P, no. MSR-TR-2004-93, September 2004.

Zheng Zhang, Yu Chen, Shi-Ding Lin, Bo-Ying Lu, Shu-Ming Shi, Xing Xie, and Chun Yuan, P2P Resource Pool and Its Application to Optimize Wide-Area Application Level Multicasting, August 2004.

Zheng Zhang, P2P Research and Reality: Some Preliminary Thoughts, Institute of Electrical and Electronics Engineers, Inc., July 2004.

Zheng Zhang, The Power of DHT as a Logical Space, Institute of Electrical and Electronics Engineers, Inc., May 2004.

Zheng Zhang, Mallik Mahalingam, Zhichen Xu, and Wenting Tang, Scalable, Structured Data Placement over P2P Storage Utilities, Institute of Electrical and Electronics Engineers, Inc., May 2004.

Zheng Zhang, Shiding Lin, Qiao Lian, and Chao Jin, RepStore: A Self-Managing and Self-Tuning Storage Backend with Smart Bricks, Institute of Electrical and Electronics Engineers, Inc., May 2004.

Shi-Ding Lin, Qiao Lian, Ming Chen, and Zheng Zhang, A Practical Distributed Mutual Exclusion Protocol in Dynamic Peer-to-Peer Systems, Springer-Verlag, February 2004.

Helen J. Wang, Yih-Chun Hu, Chun Yuan, Zheng Zhang, and Yi-Min Wang, Friends Troubleshooting Network: Towards Privacy-Preserving, Automatic Troubleshooting, Springer-Verlag, February 2004.

Yizhou Lu, Xuezheng Liu, Wensi Xi, Benyu Zhang, Hua Li, Zheng Chen, Shuicheng Yan, and Wei-Ying Ma, Efficient pagerank with same out-link groups, in 2004 Asia Information Retrieval Symposium, January 2004.

2003

Yi-Min Wang, Chad Verbowski, John Dunagan, Yu Chen, Helen J. Wang, Chun Yuan, and Zheng Zhang, STRIDER: A Black-box, State-based Approach to Change and Configuration Management and Support, October 2003.

Zheng Zhang, Xing Xie, Shiding Lin, and Boying Lu, Optimizing Wide-Area Application Level Multicasting using P2P Resource Pool, no. MSR-TR-2003-36, June 2003.

Chun Yuan, Zhigang Hua, and Zheng Zhang, Proxy+: Simple Proxy Augmentation for Dynamic Content Processing, May 2003.

Chun Yuan, Yu Chen, and Zheng Zhang, Evaluation of Edge Caching/Offloading for Dynamic Content Delivery, May 2003.

Zhichen Xu, Chunqiang Tang, and Zheng Zhang, Building Topology-Aware Overlays using Global Soft-State, Institute of Electrical and Electronics Engineers, Inc., May 2003.

Chi Zhang and Zheng Zhang, Trading Replication Consistency for Performance and Availability: an Adaptive Approac, Institute of Electrical and Electronics Engineers, Inc., May 2003.

Zheng Zhang, Shu-Ming Shi, and Jing Zhu, SOMO: Self-Organized Metadata Overlay for Resource Management in P2P DHT, Springer-Verlag, February 2003.

2002

Zheng Zhang, Shu-Ming Shi, and Jing Zhu, Self-Balanced P2P Expressway: When Marxism Meets Confucian, no. MSR-TR-2002-72, July 2002.

Zheng Zhang, Xing Xie, Boying Lu, and Shiding Lin, Enabling rich content service on the edge: opportunities and challenges, no. MSR-TR-2002-71, July 2002.

Zheng Zhang and Qiao Lian, Reperasure: Replication Protocol using Erasure-code, no. MSR-TR-2002-59, June 2002.