Building up to macroprogramming: An intermediate language for sensor networks

2005 4th International Symposium on Information Processing in Sensor Networks, IPSN 2005

Volumn 2005, Issue , 2005, Pages 37-44

  Newton, Ryan ^a   Arvind, ^a   Welsh, Matt ^b  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

^b HARVARD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ATOMIC ACTION MODEL OF CONCURRENCY; DESIGN SPACE; LOWER-LEVEL RUNTIME ENVIRONMENT; TOKEN MACHINE LANGUAGE (TML);

COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; MATHEMATICAL MODELS; PROGRAM COMPILERS; SENSORS;

TELECOMMUNICATION NETWORKS;

EID: 33744909832     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IPSN.2005.1440891     Document Type: Conference Paper

References (23)

1. Harold Abelson, Don Allen, Daniel Coore, Chris Hanson, George Homsy, Jr. Thomas F. Knight, Radhika Nagpal, Erik Rauch, Gerald Jay Sussman, and Ron Weiss. Amorphous computing. Commun. ACM, 43(5):74-82, 2000.
2. R. Barr, J. Bicket, D. Dantas, B. Du, T. Kim, B. Zhou, and E. Sirer, the need for system-level support for ad hoc and sensor networks, 2002.
3. B. Blum, P. Nagaraddi, A. Wood, T. Abdelzaher, S. Son, and J. Stankovic. An entity maintenance and connection service for sensor networks, 2003.
4. Cristian Borcea, Chalermek Intanagonwiwat, Porlin Kang, Ulrich Kremer, and Liviu Iftode. Spatial programming using smart messages: Design and implementation. In 24th International Conference on Distributed Computing Systems (ICDCS 2004), March 2004.
5. W. Butera. Programming a Paintable Computer. PhD thesis, MIT, 2002.
6. David E. Culler, Anurag Sah, Klaus E. Schauser, Thorsten von Eicken, and John Wawrzynek. Fine-grain parallelism with minimal hardware support: a compiler-controlled threaded abstract machine. In Proceedings of the fourth international conference on Architectural support for programming languages and operating systems, pages 164-175. ACM Press, 1991.
7. Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. SIGPLAN Not., 39(4):502-514, 2004.
8. Deepak Ganesan, Ben Greenstein, Denis Perelyubskiy, Deborah Estrin, and John Heidemann. An evaluation of multi-resolution search and storage in resource-constrained sensor networks. In Proc. the First ACM Conference on Embedded Networked Sensor Systems (SenSys 2003), November 2003.
9. Ben Greenstein, Eddie Kohler, and Deborah Estrin. A sensor network application construction kit (snack). In Proceedings of the 2nd international conference on Embedded networked sensor systems, pages 69-80. ACM Press, 2004.
10. Benjamin Greenstein, Deborah Estrin, Ramesh Govindan, Sylvia Ratnasamy, and Scott Shenker. DIPS: A distributed index for features in sensor networks. In Proc. the First IEEE International Workshop on Sensor Network Protocols and Applications, May 2003.
11. John Hatcliff and Olivier Danvy. A generic account of continuation-passing styles. In Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pages 458-471. ACM Press, 1994.
12. Wendi Heinzelman, Joanna Kulik, and Hari Balakrishnan. Adaptive protocols for information dissemination in wireless sensor networks. In Proc. the 5th ACM/IEEE Mobicom Conference, August 1999.
13. Jason Hill, Robert Szewczyk, Alec Woo, Seth Hollar, David Culler, and Kristofer Pister. System architecture directions for networked sensors. In Proceedings of the ninth international conference on Architectural support for programming languages and operating systems, pages 93-104. ACM Press, 2000.
14. Chalermek Intanagonwiwat, Ramesh Govindan, and Deborah Estrin. Directed diffusion: A scalable and robust communication paradigm for sensor networks. In Proc. International Conference on Mobile Computing and Networking, August 2000.
15. Philip Levis and David Culler. Mate: a tiny virtual machine for sensor networks. In Proceedings of the 10th international conference on Architectural support for programming languages and operating systems, pages 85-95. ACM Press, 2002.
16. Samuel Madden, Michael J. Franklin, Joseph M. Hellerstein, and Wei Hong. TAG: A Tiny AGgregation Service for Ad-Hoc Sensor Networks. In Proc. the 5th OSDI, December 2002.
17. Ryan Newton and Matt Welsh. Region streams: Functional macroprogramming for sensor networks. In Proceedings of the First International Workshop on Data Management for Sensor Networks (DMSN), August 2004.
18. Amr Sabry and Matthias Felleisen. Reasoning about programs in continuation-passing style. In Proceedings 1992 ACM Conf. on Lisp and Functional Programming, San Francisco, CA, USA, 22-24 June 1992, pages 288-298. ACM Press, New York, 1992.
19. Thorsten von Eicken, David E. Culler, Seth Copen Goldstein, and Klaus Erik Schauser. Active messages: a mechanism for integrating communication and computation. In 25 years of the international symposia on Computer architecture (selected papers), pages 430-440. ACM Press, 1998.
20. Matt Welsh and Geoff Mainland. Programming sensor networks using abstract regions. In Proc. the First USENIX/ACM Symposium on Networked Systems Design and Implementation (NSDI '04), March 2004.
21. Kamin Whitehouse, Cory Sharp, Eric Brewer, and David Culler. Hood: A neighborhood abstraction for sensor networks. In Proc. the International Conference on Mobile Systems, Applications, and Services (MOBISYS'04), June 2004.
22. Bridging The Gap: Programming Sensor Networks with Application Specific Virtual Machines. In submission to osdi 2004.
23. Yong Yao and J. E. Gehrke. The Cougar approach to in-network query processing in sensor networks. ACM Sigmod Record, 31(3), September 2002.