Evita Raced: Metacompilation for declarative networks

Proceedings of the VLDB Endowment

Volumn 1, Issue 1, 2008, Pages 1153-1165

  Condie, Tyson ^a   Chu, David ^a   Hellerstein, Joseph M ^a   Maniatis, Petros ^a  

^a INTEL RESEARCH   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ENGINES; INFORMATION MANAGEMENT; NETWORK ARCHITECTURE; PROGRAM COMPILERS;

DECLARATIVE LANGUAGES; DECLARATIVE NETWORKINGS; DESIGN AND IMPLEMENTATIONS; NEW APPLICATIONS; OPTIMIZATION PROGRAMS; QUERY OPTIMIZATION; RESEARCH EFFORTS; RUNTIMES;

WIRELESS SENSOR NETWORKS;

EID: 70849084498     PISSN: None     EISSN: 21508097     Source Type: Conference Proceeding    
DOI: 10.14778/1453856.1453978     Document Type: Article

References (35)

1. M. Abadi and B. T. Loo. Towards a Declarative Language and System for Secure Networking. In International Workshop on Networking Meets Databases (NetDB), 2007.
2. T. Anderson, L. Peterson, S. Shenker, and J. T. (Eds). Report of nsf workshop on overcoming barriers to disruptive innovation in networking. Technical Report 05-02, GENI Design Document, Jan. 2005.
3. M. P. Ashley-Rollman, M. De Rosa, S. S. Srinivasa, P. Pillai, S. C. Goldstein, and J. D. Campbell. Declarative Programming for Modular Robots. In Workshop on Self-Reconfigurable Robots/Systems and Applications, 2007.
4. R. Avnur and J. M. Hellerstein. Eddies: Continuously adaptive query processing. In SIGMOD, 2000.
5. N. Belarmani, M. Dahlin, A. Nayate, and J. Zheng. Making Replication Simple with Ursa. In SOSP Poster Session, 2007.
6. D. Chu, L. Popa, A. Tavakoli, J. Hellerstein, P. Levis, S. Shenker, and I. Stoica. The Design and Implementation of a Declarative Sensor Network System. In SenSys, 2007.
7. T. Condie, J. M. Hellerstein, P. Maniatis, and S. R. T. Roscoe. Finally, a use for componentized transport protocols. In HotNets IV, 2005.
8. J. Cowling, D. Myers, B. Liskov, R. Rodrigues, and L. Shrira. HQ Replication: A Hybrid Quorum Protocol for Byzantine Fault Tolerance. In OSDI, 2006.
9. J. Eisner, E. Goldlust, and N. A. Smith. Compiling comp ling: Weighted dynamic programming and the Dyna language. In Proc. Human Language Technology Conference and Conference on Empirical Methods in Natural Language Processing (HLT-EMNLP), 2005.
10. D. D. G. Graefe. The EXODUS Optimizer Generator. In SIGMOD, 1987.
11. P. Grace, D. Hughes, B. Porter, G. Blair, G. Coulson, and F. Taiani. Experiences with Open Overlays: A Middleware Approach to Network Heterogeneity. In EuroSys, 2008.
12. G. Graefe. The cascades framework for query optimization. IEEE Data Eng. Bull., 18(3), 1995.
13. G. Graefe. Iterators, schedulers, and distributed-memory parallelism. Softw. Pract. Exper., 26(4), 1996.
14. G. Graefe and W. J. McKenna. The Volcano Optimizer Generator: Extensibility and Efficient Search. In ICDE, 1993.
15. J. M. Hellerstein. Toward network data independence. SIGMOD Rec., 32(3), 2003.
16. J. L. Hill and D. E. Culler. Mica: A wireless platform for deeply embedded networks. IEEE Micro, 22(6):12-24, 2002.
17. N. Kabra and D. J. DeWitt. Efficient mid-query re-optimization of sub-optimal query execution plans. In SIGMOD, 1998.
18. E. Kohler, R. Morris, B. Chen, J. Jannotti, and M. F. Kaashoek. The Click modular router. ACM Trans. Comput. Syst., 18(3), 2000.
19. R. Kotla, L. Alvisi, M. Dahlin, A. Clement, and E. Wong. Zyzzyva: Speculative Byzantine Fault Tolerance. In SOSP, 2007.
20. M. S. Lam, J. Whaley, V. B. Livshits, M. C. Martin, D. Avots, M. Carbin, and C. Unkel. Context-Sensitive Program Analysis as Database Queries. In PODS, 2005.
21. N. Li and J. Mitchell. Datalog with Constraints: A Foundation for Trust-management Languages. In International Symposium on Practical Aspects of Declarative Languages, 2003.
22. G. Lohman. Grammar-like Functional Rules for Representing Query Optimization Alternatives. In SIGMOD, 1988.
23. B. T. Loo. The Design and Implementation of Declarative Networks. PhD thesis, University of California, Berkeley, 2006.
24. B. T. Loo, T. Condie, M. Garofalakis, D. E. Gay, J. M. Hellerstein, P. Maniatis, R. Ramakrishnan, T. Roscoe, and I. Stoica. Declarative Networking: Language, Execution and Optimization. In SIGMOD, 2006.
25. B. T. Loo, T. Condie, J. M. Hellerstein, P. Maniatis, T. Roscoe, and I. Stoica. Implementing Declarative Overlays. In SOSP, 2005.
26. B. T. Loo, J. M. Hellerstein, I. Stoica, and R. Ramakrishnan. Declarative Routing: Extensible Routing with Declarative Queries. In SIGCOMM, 2005.
27. H. Pirahesh, J. M. Hellerstein, and W. Hasan. Extensible/Rule-Based Query Rewrite Optimization in Starburst. In SIGMOD, 1992.
28. J. H. Saltzer and M. D. Schroeder. The protection of information in computer systems. Proceedings of the IEEE, 63(9), Sept. 1975.
29. P. G. Selinger, M. Astrahan, D. Chamberlin, R. Lorie, and T. Price. Access Path Selection in a Relational Database Management System. In SIGMOD, 1979.
30. L. D. Shapiro, D. Maier, P. Benninghoff, K. Billings, Y. Fan, K. Hatwal, Q. Wang, Y. Zhang, H. min Wu, and B. Vance. Exploiting upper and lower bounds in top-down query optimization. In International Database Engineering and Application Symposium, pages 20-33, 2001.
31. W. Shen, A. Doan, J. F. Naughton, and R. Ramakrishnan. Declarative information extraction using datalog with embedded extraction predicates. In VLDB, 2007.
32. A. Singh, T. Das, P. Maniatis, P. Druschel, and T. Roscoe. BFT Protocols Under Fire. In NSDI, 2008.
33. A. Singh, P. Maniatis, T. Roscoe, and P. Druschel. Distributed monitoring and forensics in overlay networks. In EuroSys, 2006.
34. J. D. Ullman. Principles of Database and Knowledge-Base Systems: Volume II: The New Technologies. W. H. Freeman & Co., New York, NY, USA, 1990.
35. W. White, A. Demers, C. Koch, J. Gehrke, and R. Rajagopalan. Scaling games to epic proportions. In SIGMOD, 2007.