Systems Research - Microsoft Research

Systems Research

Publications

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 Proceedings of the 35th International Conference on Software Engineering (ICSE 2013), Software Engineering in Practice (SEIP), ACM, 22 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
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 Proceedings of the 9th Symposium on Networked Systems Design and Implementation (NSDI '12), 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
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
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
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
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, Towards Pragmatic Library-based Replay, no. MSR-TR-2008-02, January 2008
Zhenyu Guo, Xi Wang, Xuezheng Liu, Wei Lin, and Zheng Zhang, BOX: Icing the APIs, no. MSR-TR-2008-03, January 2008
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
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
Ming Chen, Lex Stein, and Zheng Zhang, Dependability, Access Diversity, Low Cost: Pick Two, USENIX, June 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
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
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
Xuezheng Liu, Wei Lin, Aimin Pan, and Zheng Zhang, WiDS Checker: Combating Bugs in Distributed Systems, USENIX, April 2007
Lex Stein, David Holland, Margo Seltzer, and Zheng Zhang, Can a File System Virtualize Processors?, Association for Computing Machinery, Inc., March 2007
Shuo Tang, Yu Chen, and Zheng Zhang, Machine Bank: Own Your Virtual Personal Computer, IEEE Computer Society, 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
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
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
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
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
Shiding Lin, Aimin Pan, Zheng Zhang, Rui Guo, and Zhenyu Guo, WiDS: an Integrated Toolkit for Distributed System Development, in HotOS, USENIX, June 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
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
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, 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
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
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
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
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
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, Yu Chen, and Zheng Zhang, Evaluation of Edge Caching/Offloading for Dynamic Content Delivery, May 2003
Chun Yuan, Zhigang Hua, and Zheng Zhang, Proxy+: Simple Proxy Augmentation for Dynamic Content Processing, 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
Zhichen Xu, Chunqiang Tang, and Zheng Zhang, Building Topology-Aware Overlays using Global Soft-State, 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
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