MACEDON: Methodology for automatically creating, evaluating, and designing overlay networks

1st Symposium on Networked Systems Design and Implementation, NSDI 2004

Volumn , Issue , 2004, Pages

  Rodriguez, Adolfo ^a   Killian, Charles ^a   Bhat, Sooraj ^a,c   Kostić, Dejan ^a   Vahdat, Amin ^b  

^a DUKE UNIVERSITY   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c GEORGIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

PROBLEM ORIENTED LANGUAGES; SYSTEMS ANALYSIS;

ALGORITHM IMPLEMENTATION; COMPETING ALGORITHMS; DOMAIN SPECIFIC LANGUAGES; EVALUATION INFRASTRUCTURE; EXPERIMENTAL EVALUATION; LIVE NETWORKS; PRODUCTION CYCLE; RESOURCE USE;

OVERLAY NETWORKS;

EID: 85094631495     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (31)

1. Mark B. Abbott and Larry L. Peterson. A Language-Based Approach to Protocol Implementation. IEEE/ACM Transactions on Networking, 1(1):4-19, 1993.
2. David G. Andersen, Hari Balakrishnan, M. Frans Kaashoek, and Robert Morris. Resilient Overlay Networks. In Proceedings of SOSP 2001, October 2001.
3. David P. Anderson and Lawrence H. Landweber. A grammar-based methodology for protocol specification and implementation. In Proceedings of the ninth symposium on Data communications, pages 63-70. ACM Press, 1985.
4. Suman Banerjee, Bobby Bhattacharjee, and Christopher Kommareddy. Scalable application layer multicast. In Proceedings of ACM SIGCOMM 2002, pages 165-175, 2002.
5. Brannon Batson and Leslie Lamport. High-level specifications: Lessons from industry. In Proceedings of the First International Symposium on Formal Methods for Comp onents and Objects, Leiden, The Netherlands, March 2003.
6. Miguel Castro, Peter Druschel, Anne-Marie Kermarrec, Animesh Nandi, Antony Rowstron, and Atul Singh. SplitStream: High-Bandwidth Multicast in Cooperative Environments. In Proceedings of the 19th ACM Symposium on Operating System Principles, October 2003.
7. Satish Chandra, Bradley Richards, and James R. Larus. Teapot: a domain-specific language for writing cache coherence protocols. IEEE Transactions on Software Engineering, 25(3):317-333, May/June 1999.
8. Hyunseok Chang, Ramesh Govindan, Sugih Jamin, Scott Shenker, and Walter Willinger. Towards Capturing Representative AS-Level Internet Topologies. In Proceedings of ACM SIGMETRICS, June 2002.
9. Frank Dabek, M. Frans Kaashoek, David Karger, Robert Morris, and Ion Stoica. Wide-area Cooperative Storage with CFS. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), October 2001.
10. Frank Dabek, Ben Zhao, Peter Drushcel, John Kubiatowicz, and Ion Stoica. Towards a Common API for Structured Peer-to-Peer Overlays. In 2nd International Workshop on Peer-to-peer Systems (IPTPS'03), February 2003.
11. Indranil Gupta, Ken Birman, Prakash Linga, Al Demers, and Robbert van Renesse. Kelips: Building an efficient and stable P2P DHT through increased memory and background overhead. In Proceedings of the 2nd International Workshop on Peer-to-Peer Systems (IPTPS'03), 2003.
12. Yang hua Chu, Sanjay G. Rao, Srinivasan Seshan, and Hui Zhang. Enabling Conferencing Applications on the Internet using an Overlay Multicast Architecture. In Proceedings of ACM SIGCOMM, August 2001.
13. John Jannotti, David K. Gifford, Kirk L. Johnson, M. Frans Kaashoek, and Jr. James W. O'Toole. Overcast: Reliable Multicasting with an Overlay Network. In Proceedings of Operating Systems Design and Implementation (OSDI), October 2000.
14. Eddie Kohler, M. Frans Kaashoek, and David R. Montgomery. A Readable TCP in the Prolac Protocol Language. In SIGCOMM, pages 3-13, 1999.
15. Dejan Kostić, Adolfo Rodriguez, Jeannie Albrecht, Abhijeet Bhirud, and Amin Vahdat. Using Random Subsets to Build Scalable Network Services. In Proceedings of the USENIX Symposium on Internet Technologies and Systems, March 2003.
16. Dejan Kostić, Adolfo Rodriguez, Jeannie Albrecht, and Amin Vahdat. Bullet: High Bandwidth Data Dissemination Using an Overlay Mesh. In Proceedings of the 19th ACM Symposium on Operating System Principles, October 2003.
17. Massachusetts Institute of Technology. lsd, 2004. http://www.pdos.lcs.mit.edu/chord/.
18. Fabric Merillon, Laurent Reveillere, Charles Consel, Renaud Marlet, and Gilles Muller. Devil: An IDL for hardware programming. In Proceedings of the 4th USENIX Symposium on Operating Systems Design and Imp lementation (OSDI'2000), San Diego, California, October 2000.
19. Larry Peterson, Tom Anderson, David Culler, and Timothy Roscoe. A Blueprint for Introducing Disruptive Technology into the Internet. In Proceedings of ACM HotNets-I, October 2002.
20. Rice University. FreePastry, 2004. http://www.cs.rice.edu/CS/Systems/Pastry/FreePastry/.
21. Adolfo Rodriguez, Dejan Kostić, and Amin Vahdat. Scalability in Adaptive Multi-Metric Overlays. In The 24th International Conference on Distributed Computing Systems (ICDCS), March 2004.
22. Antony Rowstron and Peter Druschel. Pastry: Scalable, Distributed Object Location and Routing for Large-scale Peer-to-Peer Systems. In Middleware'2001, November 2001.
23. Antony Rowstron and Peter Druschel. Storage Management and Caching in PAST, a Large-Scale, Persistent Peer-to-Peer Storage Utility. In Proceedings of the 18th ACM Symposium on Operating Systems Principles (SOSP'01), October 2001.
24. Antony Rowstron, Anne-Marie Kermarrec, Miguel Castro, and Peter Druschel. SCRIBE: The Design of a Large-scale Event Notification Infrastructure. In Third International Workshop on Networked Group Communication, November 2001.
25. Ion Stoica, Robert Morris, David Karger, Frans Kaashoek, and Hari Balakrishnan. Chord: A Scalable Peer to Peer Lookup Service for Internet Applications. In Proceedings of the 2001 SIGCOMM, August 2001.
26. Peter Urban, Xavier Defago, and Andre Schiper. Neko: A Single Environment to Simulate and Prototype Distributed Algorithms. In ICOIN, pages 503-511, 2001.
27. Amin Vahdat, Ken Yocum, Kevin Walsh, Priya Mahadevan, Dejan Kostić, Jeff Chase, and David Becker. Scalability and Accuracy in a Large-Scale Network Emulator. In Proceedings of the 5th Symposium on Operating Systems Design and Implementation (OSDI), December 2002.
28. Toh Ne Win, Michael D. Ernst, Stephen J. Garland, Dilsu n Kirli, and Nancy Lynch. Using simulated execution in verifying distributed algorithms. In Fourth International Conference on Verification, Model Checking and Abstrac t Interpretation, pages 283-297, New York, January 2003.
29. Ellen W. Zegura, Kenneth Calvert, and M. Jeff Donahoo. A Quantitative Comparison of Graph-Based Models for Internet Topology. IEEE/ACM Transactions on Networking, 5(6), December 1997.
30. Ben Y. Zhao, John D. Kubiatowicz, and Anthony D. Joseph. Tapestry: An Infrastructure for Fault-tolerant Wide-area Location and Routing. Technical Report UCB/CSD-01-1141, UC Berkeley, April 2001.
31. Shelley Q. Zhuang, Ben Y. Zhao, Anthony D. Joseph, Randy H. Katz, and John Kubiatowicz. Bayeux: An Architecture for Scalable and Fault-tolerant Wide-Area Data Dissemination. In Proceedings of the Eleventh International Workshop on Network and Operating System Support for Digital Audio and Video, 2001.