Reliable and efficient programming abstractions for wireless sensor networks

ACM SIGPLAN Notices

Volumn 42, Issue 6, 2007, Pages 200-210

  Kothari, Nupur ^a   Gummadi, Ramakrishna ^a   Millstein, Todd ^b   Govindan, Ramesh ^a  

^a UNIVERSITY OF SOUTHERN CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Deadlocks; Energy Efficiency; Macroprogramming; Serializability; Wireless Sensor Networks

Indexed keywords

ABSTRACTING; C (PROGRAMMING LANGUAGE); DISTRIBUTED COMPUTER SYSTEMS; ENERGY EFFICIENCY; INTERACTIVE COMPUTER SYSTEMS; LOCKS (FASTENERS); SENSOR NODES; WIRELESS SENSOR NETWORKS;

COMPONENT-BASED LANGUAGE; CONCURRENT EXECUTION; DEADLOCKS; LEVEL OF ABSTRACTION; MACROPROGRAMMING; PROGRAMMING ABSTRACTIONS; REALISTIC APPLICATIONS; SERIALIZABILITY;

PROGRAM COMPILERS;

EID: 67650085815     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1273442.1250757     Document Type: Article

References (29)

1. G. Calinescu, C. G. Fernandes, and B. Reed. Multicuts in unweighted graphs with bounded degree and bounded tree-width. LNCS 1998.
2. B. D. Carlstrom, A. McDonald, H. Chafi, J. Chung, C. C. Minh, C. Kozyrakis, and K. Olukotun. The Atomos transactional programming language. In PLDI 2006.
3. D. E. Culler, A. C. Arpaci-Dusseau, S. C. Goldstein, A. Krishnamurthy, S. Lumetta, T. von Eicken, and K. A. Yelick. Parallel programming in Split-C. In Supercomputing, 1993.
4. A. K. Elmagarmid. A survey of distributed deadlock detection algorithms. SIGMOD Rec., 1986.
5. D. Gay, P. Levis, R. von Behren, M. Welsh, E. Brewer, and D. Culler. The nesC language: A holistic approach to networked embedded systems. In PLDI 2003.
6. D. Gelernter and N. Carriero. Coordination languages and their significance. Commun. ACM, 1992.
7. O. Gnawali, B. Greenstein, K.-Y. Jang, A. Joki, J. Paek, M. Vieira, D. Estrin, R. Govindan, and E. Kohler. The TENET architecture for tiered sensor networks. In SenSys 2006.
8. R. Gummadi, O. Gnawali, and R. Govindan. Macro-programming wireless sensor networks using Kairos. In DCOSS 2005.
9. R. Gummadi, N. Kothari, T. Millstein, and R. Govindan. Declarative failure recovery for sensor networks. In AOSD 2007.
10. T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Composable memory transactions. In PPoPP 2005.
11. J. Hill, R. Szewczyk, A. Woo, S. Hollar, D. Culler, and K. Pister. System architecture directions for networked sensors. SIGOPS Oper. Syst. Rev., 2000.
12. G. C. Hunt and M. L. Scott. The Coign automatic distributed partitioning system. In OSDI 1999.
13. P. Keleher, A. L. Cox, and W. Zwaenepoel. Lazy release consistency for software distributed shared memory. In ISCA 1992, 1992.
14. C. Koelbel. An overview of High Performance Fortran. SIGPLAN Fortran Forum, 11(4), 1992.
15. L. Krishnamurthy, R. Adler, P. Buonadonna, J. Chhabra, M. Flanigan, N. Kushalnagar, L. Nachman, and M. Yarvis. Design and deployment of industrial sensor networks: Experiences from a semiconductor plant and the north sea. In SenSys 2005.
16. B. J. Kuipers and Y.-T. Byun. A Robust Qualitative Method for Spatial Learning in Unknown Environments. In AAAI 1988.
17. B. Liskov. Distributed programming in Argus. Commun. ACM, 31(3), 1988.
18. H. Liu, T. Roeder, K. Walsh, R. Barr, and E. G. Sirer. Design and implementation of a single system image operating system for ad hoc networks. In MobiSys 2005.
19. S. Madden, M. J. Franklin, J. M. Hellerstein, and W. Hong. The design of an acquisitional query processor for sensor networks. In SIGMOD 2003.
20. B. McCloskey, F. Zhou, D. Gay, and E. Brewer. Autolocker: Synchronization inference for atomic sections. In POPL 2006.
21. G. C. Necula, S. McPeak, S. Rahul, and W. Weimer. CIL: Intermediate language and tools for analysis and transformation of C programs. In Conference on Compilier Construction, 2002.
22. M. Neubauer and P. Thiemann. From sequential programs to multi-tier applications by program transformation. In POPL 2005.
23. R. Newton, Arvind, and M. Welsh. Building up to macroprogramming: An intermediate language for sensor networks. In IPSN 2005.
24. R. Newton and M. Welsh. Region Streams: Functional macroprogramming for sensor networks. In DMSN 2004.
25. Y. Ni, U. Kremer, A. Stere, and L. Iftode. Programming ad-hoc networks of mobile and resource-constrained devices. In PLDI 2005.
26. C. Sharp, S. Schaffert, A. Woo, N. Sastry, C. Karlof, S. Sastry, and D. Culler. Design and implementation of a sensor network system for vehicle tracking and autonomous interception. In EWSN 2005.
27. D. Shoup. New York Times Op-Ed: Gone Parkin', http://www.nytimes.com/ 2007/03/29/opinion/29shoup.html.
28. G. Tolle, J. Polastre, R. Szewczyk, D. Culler, N. Turner, K. Tu, S. Burgess, T. Dawson, P. Buonadonna, D. Gay, and W. Hong. A macroscope in the Redwoods. In SenSys 2005.
29. M. Welsh and G. Mainland. Programming sensor networks using Abstract Regions. In NSDI 2004.