Faithfulness in internet algorithms

Proceedings of the ACM SIGCOMM 2004 Workshops

Volumn , Issue , 2004, Pages 220-227

  Shneidman, Jeffrey ^a   Parkes, David C ^a   Massoulié, Laurent ^b  

^a HARVARD UNIVERSITY   (United States)

^b MICROSOFT RESEARCH   (United Kingdom)

Author keywords

Backtracing; Computational Failure Models; Computational Mechanism Design; Distributed Algorithmic Mechanism Design; Faithfulness; Program Slicing; Rational Failure; Rational Manipulation

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER SOFTWARE; DISTRIBUTED COMPUTER SYSTEMS; NETWORK PROTOCOLS; ROUTERS;

BACKTRACKING; COMPUTATIONAL FAILURE MODELS; COMPUTATIONAL MECHANISM DESIGN; DISTRIBUTED ALGORITHMIC MECHANISM DESIGN; FAILTHFULNESS; PROGRAM SLICING; RATIONAL FAILURE; RATIONAL MANIPULATION;

INTERNET;

EID: 11244261310     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1016527.1016537     Document Type: Conference Paper

References (22)

1. T. Anderson, S. Shenker, I. Stoica, and D. Wetherall. Design Guidelines for Robust Internet Protocols. HotNets-I, October 2002.
2. Blizzard Game Web site, World of Warcraft BitTorrent FAQ. http://www.blizzard.com/wow/faq/bittorrent.shtml.
3. F. Brandt and G. Weiß. Antisocial agents and Vickrey auctions. In J.-J. Ch. Meyer and M. Tambe, editors, Intelligent Agents VIII, volume 2333, pages 335-347. Springer, 2001. Revised papers from the 8th Workshop on Agent Theories, Architectures and Languages.
4. Bram Cohen. Incentives Build Robustness in BitTorrent. In Workshop on Economics of Peer to Peer Systems, June 2003.
5. J. Douceur. The Sybil Attack. In "1st Int. Workshop on Peer-to-Peer Systems (IPTPS'02)", 2002.
6. Dawson Engler and Madanlal Musuvathi. Model-checking large network protocol implementations. In To appear in NSDI 2004, 2004.
7. Joan Feigenbaum, Christos Papadimitriou, Rahul Sami, and Scott Shenker. A BGP-based mechanism for lowest-cost routing. In Proceedings of the 2002 ACM Symposium on Principles of Distributed Computing, pages 173-182, 2002.
8. Joan Feigenbaum and Scott Shenker. Distributed Algorithmic Mechanism Design: Recent Results and Future Directions. In Proceedings of the 6th International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications, pages 1-13, 2002.
9. Info-Anarchy Web site, definition for Parallel Downloading Systems: Hive. http://www.infoanarchy.org/wiki/wiki.pl?hive.
10. Jeffrey Shneidman and David C. Parkes. Rationality and Self-Interest in Peer to Peer Networks. In 2nd Int. Workshop on Peer-to-Peer Systems (IPTPS'03), 2003.
11. Jeffrey Shneidman and David C. Parkes. Specification Faithfulness in Networks with Rational Nodes. In Twenty-Third Annual ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (PODC 2004), July 2004.
12. Lindows Web site, Press Release about BitTorrent. http://www.linspire. com/lindows.news_pressreleases_archives.php?id=111.
13. Nancy Lynch. Distributed Algorithms. Morgan Kaufmann Publishers, 1996.
14. Noam Nisan and Amir Ronen. Algorithmic Mechanism Design. In Proceedings of the 31st ACM Symposium on Theory of Computing, pages 129-140, 1999.
15. Noam Nisan and Amir Ronen. Computationally feasible VCG mechanisms. In Proc. 2nd ACM Conf. on Electronic Commerce (EC-00), pages 242-252, 2000.
16. Noam Nisan and Amir Ronen. Algorithmic Mechanism Design. Games and Economic Behavior, 35:166-196, 2001.
17. David C. Parkes. Iterative Combinatorial Auctions: Achieving Economic and Computational Efficiency (Chapter 2). PhD thesis, Univesity of Pennsylvania, May 2001.
18. Pablo Rodriguez. Scalable Content Distribution in the Internet. PhD thesis, Federal Institut of Technology, Lausanne (EPFL), Sept 2000.
19. Stefan Savage, Neal Cardwell, David Wetherall, and Tom Anderson. TCP congestion control with a misbehaving receiver. Computer Communication Review, 29(5), 1999.
20. Stefan Savage. Private Communication, 4/2004.
21. F. Tip. A survey of program slicing techniques. Journal of programming languages, 3:121-189, 1995.
22. Mark Weiser. Program slicing. In Proceedings of the 5th International Conference on Software Engineering, pages 439-449. IEEE Computer Society Press, 1981.