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

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

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

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

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, 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

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

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, 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

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

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

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 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

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, 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, 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

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

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

Chun Yuan, Yu Chen, and Zheng Zhang, Evaluation of Edge Caching/Offloading for Dynamic Content Delivery, 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