Share this page
Share this page E-mail this page Print this page RSS feeds
Home > People > Wei Chen > Publications
Publications

 

Journals, refereed conferences and worshops

  1. Yang Liu, Wei Chen, Yanhong A. Liu, and Jun Sun. Model Checking Linearizability via Refinement. In Proceedings of the 16th International Symposium on Formal Methods (FM'2009), Eindhoven, the Netherlands, Nov. 2009.
  2. Wei Chen, Christian Sommer, Shang-Hua Teng, and Yajun Wang. Compact routing in power-law graphs. In Proceedings of the 23rd International Symposium on Distributed Computing (DISC'2009), Elche/Elx, Spain, Sept. 2009. [pdf][full technical report: MSR-TR-2009-84]
  3. Jialin Zhang and Wei Chen. Bounded cost algorithms for multivalued consensus using binary consensus instances. Information Processing Letters, Elsevier, (109), 2009, pp. 1005 -1009. [pdf]
  4. Xiaohui Bei, Wei Chen, Shang-Hua Teng, Jialin Zhang, and Jiajie Zhu. Bounded budget betweenness centrality game for strategic network formations. In Proceedings of the 17th European Symposium of Algorithms (ESA'2009), Copenhagen, Denmark, Sept. 2009. [pdf][full technical report: MSR-TR-2009-78][related technical report: MSR-TR-2008-167]
  5. Shao Jie Zhang, Yang Liu, Jun Sun, Jin Song Dong, Yanhong A. Liu and Wei Chen. Formal verification of Scalable NonZero Indicators. The 21st International Conference on Software Engineering and Knowledge Engineering (SEKE'2009), Boston, U.S.A., July 2009. [pdf]
  6. Wei Chen, Yajun Wang, and Siyu Yang. Efficient influence maximization in social networks. In Proceedings of the 15th ACM SIGKDD Conference on Knowledge Discovery and Data Mining (KDD'2009), Paris, France, June 2009. [pdf]
  7. Wei Chen, Shang-Hua Teng, Yajun Wang, and Yuan Zhou. On the $\alpha$-Sensitivity of Nash Equilibria in PageRank-Based Network Reputation Games. In Proceedings of the 3rd International Frontiers of Algorithmics Workshop (FAW'2009), Hefei, China, June 2009. [pdf]
  8. Yingchao Zhao, Wei Chen, and Shang-Hua Teng. The isolation game: A game of distances. In Proceedings of the 19th International Symposium on Algorithms and Computation ( ISAAC'2008), Gold Coast, Australia, Dec. 2008. [pdf] [technical report: MSR-TR-2008-126]
  9. Jing Tian, Zhi Yang, Wei Chen, Ben Y. Zhao and Yafei Dai. Probabilistic failure detection for efficient distributed storage maintenance. In Proceedings of the 27th IEEE International Symposium on Reliable Distributed Systems (SRDS'2008), Napoli, Italy, Oct. 2008. [pdf]
  10. Kazuya Okamoto, Wei Chen, and Xiang-Yang Li. Ranking of closeness centrality for large-scale social networks. In Proceedings of the 2nd International Frontiers of Algorithmics Workshop (FAW'2008), Changsha, China, June 2008. [pdf]
  11. Wei Chen, Jialin Zhang, Yu Chen, and Xuezheng Liu. Failure detectors and extended paxos for k-set agreement. In Proceedings of the 13th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC'2007), Melbourne, Australia, Dec. 2007. [pdf] [technical report: MSR-TR-2007-48]
  12. Yu Chen and Wei Chen. Decentralized, connectivity-preserving, and cost-effective structured overlay maintenance. In Proceedings of the 9th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS'2007), Paris, France, Nov. 2007. [pdf] [technical report: MSR-TR-2007-84]
  13. Ming Chen, Wei Chen, and Zheng Zhang. An analytical framework and its applications for studying brick storage reliability. In Proceedings of the 26th IEEE International Symposium on Reliable Distributed Systems (SRDS'2007), Beijing, China, Oct. 2007. [pdf]
  14. Wei Chen, Jialin Zhang, Yu Chen, and Xuezheng Liu. Weakening failure detectors for k-set agreement via the partition approach. In Proceedings of the 21st International Symposium on Distributed Computing (DISC'2007), Lemesos, Cyprus, Sept. 2007. [pdf] [technical reports: MSR-TR-2007-49, MSR-TR-2007-50]
  15. Wei Chen, Jialin Zhang, Yu Chen, and Xuezheng Liu. Partition approach to failure detectors for k-set agreement (Brief Announcement). In Proceedings of the 26th Annual ACM Symposium on Principles of Distributed Computing (PODC'2007), Portland, Oregon, U.S.A., Aug. 2007. [pdf]
  16. Yu Chen and Wei Chen. Decentralized, connectivity-preserving, and cost-effective structured overlay maintenance (Brief Announcement). In Proceedings of the 20th International Symposium on Distributed Computing (DISC'2006), Stockholm, Sweden, Sept. 2006. [pdf]
  17. Wei Chen and Xuezheng Liu. Enforcing routing consistency in structured peer-to-peer overlays: Should we and could we? In Proceedings of the 5th International Workshop on Peer-to-Peer Systems (IPTPS'2006), Santa Barbara, CA, U.S.A., Febrary, 2006. [pdf]
  18. 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. In Proceedings of the 11th IEEE Pacific Rim International Symposium on Dependable Computing(PRDC'2005), Changsha, Hunan, China, December 2005. [pdf] [technical report: MSR-TR-2005-58]
  19. Qiao Lian, Wei Chen, Zheng Zhang, Shaomei Wu, and Ben Y. Zhao. Fast prefix routing via a low maintenance membership protocol. In Proceedings of the 13th IEEE International Conference on Network Protocols (ICNP'2005), Boston, MA, U.S.A., November 2005. [pdf, typo fixed]
  20. Qiao Lian, Wei Chen, and Zheng Zhang. On the impact of replica placement to the reliability of distributed brick storage systems. In Proceedings of the 25th IEEE International Conference on Distributed Computing Systems (ICDCS'2005), Columbus, OH, U.S.A., June 2005, pp. 187-196. [pdf] [technical report: MSR-TR-2005-71]
  21. Wei Chen, Sam Toueg, and Marcos K. Aguilera. On the quality of service of failure detectors. IEEE Transaction on Computers, 51:5, May 2002, pp. 561-580. [pdf]
  22. Wei Chen, Sam Toueg, and Marcos K. Aguilera. On the quality of service of failure detectors. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'2000), New York, NY, USA, IEEE Computer Society and IFIP WG 10.4, June 2000, pp. 191-200. Winner of the William C. Carter Award. [pdf]
  23. Marcos K. Aguilera, Wei Chen, and Sam Toueg. On quiescent reliable communication. SIAM Journal on Computing, 29:6, April 2000, pp. 2040-2073. [pdf]
  24. Marcos K. Aguilera, Wei Chen, and Sam Toueg. Failure detection and consensus in the crash-recovery model. Distributed Computing, Springer-Verlag, 13:2, April 2000, pp. 99-125. [pdf]
  25. Marcos K. Aguilera, Wei Chen, and Sam Toueg. Using the heartbeat failure detector for quiescent reliable communication and consensus in partitionable networks. Theoretical Computer Science, Elsevier Science, invited paper in the special issue on distributed algorithms, 220:1, June 1999, pp. 3-30. [pdf]
  26. Marcos K. Aguilera, Wei Chen, and Sam Toueg. Failure detection and consensus in the crash-recovery model. In Proceedings of the 12th International Symposium on Distributed Computing (DISC'98), Andros, Greece, Lecture Notes on Computer Science 1499, Springer-Verlag, September 1998, pp. 231-245 [pdf]
  27. Marcos K. Aguilera, Wei Chen, and Sam Toueg. Heartbeat: a timeout-free failure detector for quiescent reliable communication. In Proceedings of the 11th International Workshop on Distributed Algorithms (WDAG'97), Saarbruecken, Germany, Lecture Notes on Computer Science 1320, Springer-Verlag, September 1997, pp. 126-140. [pdf]
  28. Yiqi Dai, Jie Shang, Wei Chen, and Zhongmin Su. New key management scheme in database encryption. Journal of Tsinghua University (Science and Technology), 35:4 Aug. 1995, pp. 43-47.
  29. Wei Chen. Techniques of key distribution and management in database encryption. Journal of Tsinghua University (Science and Technology), 34:1, Feb. 1994, pp. 99-104.
  30. Wei Chen, Techniques of key distribution and management in database encryption. In Proceedings of the 3rd Annual Symposium on Computer Information Security, Chinese Computer Association, November 1992, pp. 97-101.
  31. Wei Chen, Yiqi Dai. Key transformation through transformation table. In Proceedings of the 3rd Annual Symposium on Computer Information Security, Chinese Computer Association, November 1992, pp. 91-96.
  32. Wei Chen. Pseudo-random number generators and the analysis of their strengths. In Proceedings of the 2nd Annual Symposium on Computer Information Security, Chinese Computer Association, 1991.

Other papers

  1. Wei Chen, Xuezheng Liu, Yunni Xia, and Lidong Zhou. Quorum-based perfect failure detection Service. Technical Report MSR-TR-2009-62, Microsoft Research, May 2009. [pdf]
  2. Zheng Zhang, Qiao Lian, Shiding Lin, Wei Chen, Yu Chen, and Chao Jin. BitVault: a highly reliable distributed data retention platform. ACM SIGOPS Operating Systems Review, 41:2, April 2007, pp. 27-36. [pdf]
  3. Wei Chen. Abortable consensus and its application to probabilistic atomic broadcast. Technical Report MSR-TR-2006-135, Microsoft Research, September 2007. [pdf]

Book

1. Yiqi Dai, Guanzhang Hu, and Wei Chen, Graph Theory and Algebraic Structure (text book). Tsinghua University Press, 1995.

Doctoral Dissertation

On the quality of service of failure detectors [gzipped ps]