Declarative networking

Communications of the ACM

Volumn 52, Issue 11, 2009, Pages 87-95

  Loo, Boon Thau ^a   Condie, Tyson ^b   Garofalakis, Minos ^c   Gay, David E ^d   Hellerstein, Joseph M ^b   Maniatis, Petros ^b   Ramakrishnan, Raghu ^d   Roscoe, Timothy ^e   Stoica, Ion ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c TECHNICAL UNIVERSITY OF CRETE   (Greece)

^d INTEL RESEARCH   (United States)

^e ETH Zurich ^*

Author keywords

[No Author keywords available]

Indexed keywords

DATAFLOW; DATALOG; DECLARATIVE PROGRAMMING; EVENTUAL CONSISTENCY; EXECUTION STRATEGIES; LANGUAGE DESIGN; NETWORK STATE; NETWORKED ENVIRONMENTS; PROGRAMMING METHODOLOGY;

COMPUTER PROGRAMMING; INTERNET; LINGUISTICS; OVERLAY NETWORKS; ROUTING PROTOCOLS; SEMANTICS;

NETWORK PROTOCOLS;

EID: 70350752327     PISSN: 00010782     EISSN: 15577317     Source Type: Journal    
DOI: 10.1145/1592761.1592785     Document Type: Article

References (33)

1. Chu, Y.-H., Rao, S.G., Zhang, H. a case for end system multicast. in Proceedings of ACM SIGMETRICS (2000), 1-12
2. Clark, D.D. the design philosophy of the DarPa internet protocols. in Proceedings of ACM SIGCOMM Conference on Data Communication (Stanford, Ca, 1988), aCM, 106-114.
3. Condie, T., Chu, D., hellerstein, J.M., Maniatis, P. evita raced: metacompilation for declarative networks. in Proceedings of VLDB Conference (2008)
4. Gnutella. http://www.gnutella.com.
5. Graefe, G. encapsulation of parallelism in the volcano query processing system. in Proceedings of ACM SIGMOD International Conference on Management of Data (1990).
6. Gray, J. What next? a few remaining problems in information technlogy, SigMoD Conference 1999. aCM turing award Lecture, Video ACM SIGMOD Digital Symposium Collection 2, 2 (2000).
7. Gupta, A., Mumick, I.S., Subrahmanian, V.S. Maintaining views incrementally. in Proceedings of ACM SIGMOD International Conference on Management of Data (1993).
8. Kohler, E., Morris, R., Chen, B., Jannotti, J., Kaashoek, M.F. the click modular router. ACM Trans. Comp. Sys. 18, 3 (2000), 263-297.
9. Krishnamurthy, R., Ramakrishnan, R., Shmueli, O. a framework for testing safety and effective computability. J. Comp. Sys. Sci. 52, 1 (1996), 100-124.
10. Lampson, B. getting computers to understand. J. ACM 50, 1 (2003), 70-72.
11. Liu, C., Correa, R., Li, X., Basu, P., Loo, B.T., Mao, Y. Declarative Policy-based adaptive Manet routing. in 17th IEEE International Conference on Network Protocols (ICNP) (2009).
12. Liu, M., Taylor, N., Zhou, W., Ives, Z., Loo, B.T. recursive computation of regions and connectivity in networks. in Proceedings of IEEE Conference on Data Engineering (ICDE) (2009).
13. Loo, B.T. the Design and implementation of Declarative networks (Ph.D. Dissertation). technical report UCb/eeCS-2006-2177, UC berkeley (2006).
14. Loo, B.T., Condie, T., Garofalakis, M., Gay, D.E., hellerstein, J.M., Maniatis, P., ramakrishnan, r., roscoe, t. Stoica, I. Declarative networking: language, execution and optimization. in Proceedings of ACM SIGMOD International Conference on Management of Data (2006).
15. Loo, B.T., Condie, T., Hellerstein, J.M., Maniatis, P., Roscoe, T., Stoica, I. implementing declarative overlays. in Proceedings of ACM Symposium on Operating Systems Principles (2005).
16. Loo, B.T., Hellerstein, J.M., Stoica, I., Ramakrishnan, R. Declarative routing: extensible routing with declarative queries. in Proceedings of ACM SIGCOMM Conference on Data Communication (2005).
17. Marczak, W.R., Zook, D., Zhou, W., Aref, M., Loo, B.T. Declarative reconfgurable trust management. in Proceedings of Conference on Innovative Data Systems Research (CIDR) (2009).
18. P2: Declarative networking System. http://p2.cs.berkeley.edu.
19. Perez, J.N., Rybalchenko, A., Singh, A. Cardinality abstraction for declarative networking applications. in Proceedings of Computer Aided Verifcation (CAV) (2009)
20. PlanetLab. global testbed. 2006. http://www.planet-lab.org/.
21. Ramakrishnan, R., Ullman, J.D. a survey of research on deductive database systems. J. Logic Prog. 23, 2 (1993), 125-149.
22. Singh, A., Maniatis, P., Roscoe, T., Druschel, P. Distributed monitoring and forensics in overlay networks. in Proceedings of Eurosys (2006).
23. Skype. Skype P2P telephony. 2006. http://www.skype.com.
24. Stoica, I., Morris, R., Karger, D., Kaashoek, M.F., Balakrishnan, H. Chord: a scalable P2P lookup service for internet applications. in SIGCOMM (2001).
25. Tennenhouse, D.L., Smith, J.M., Sincoskie, W.D., Wetherall, D.J., Minden, G.J. a survey of active network research. IEEE Commun. Mag. 35, 1 (1997), 80-86.
26. Wang, A., Basu, P., Loo, B.T., Sokolsky, O. towards declarative network verifcation. in 11th International Symposium on Practical Aspects of Declarative Languages (PADL) (2009).
27. Zhou, W., Mao, Y., Loo, B.T., Abadi, M. Unifed declarative platform for secure networked information systems. in Proceedings of IEEE Conference on Data Engineering (ICDE) (2009)
28. Akamai. akamai Content Distribution network. 2006. http://www.akamai.com.
29. Alvaro, P., Condie, T., Conway, N., Elmeleegy, K., Hellerstein, J.M., Sears, R.C. booM: Data-centric programming in the datacenter. technical report UCb/eeCS-2009-2098, eeCS Department, University of California, berkeley, Jul 2009.
30. Balbin I., Ramamohanarao, K. a generalization of the differential approach to recursive query evaluation. J. Logic Prog. 4, 3 (1987), 259-262.
31. Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J. Magic sets and other strange ways to implement logic programs. in Proceedings of ACM SIGMOD International Conference on Management of Data (1986).
32. Chu, D., hellerstein, J. automating rendezvous and proxy selection in sensor networks. in Eighth International Conference on Information Processing in Sensor Networks (IPSN) (2009).
33. Chu, D.C., Popa, L., Tavakoli, A., Hellerstein, J.M., Levis, P., Shenker, S., Stoica, I. the design and implementation of a declarative sensor network system. in 5th ACM Conference on Embedded Networked Sensor Systems (SenSys) (2007).