How to make ad-hoc polymorphism less ad hoc
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Computational lambda-calculus and monads
Proceedings of the Fourth Annual Symposium on Logic in computer science
Database programming languages: a functional approach
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Active messages: a mechanism for integrated communication and computation
ISCA '92 Proceedings of the 19th annual international symposium on Computer architecture
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
A transformation-based optimiser for Haskell
Science of Computer Programming - Special issue on the 6th European symposium on programming
Adaptive protocols for information dissemination in wireless sensor networks
MobiCom '99 Proceedings of the 5th annual ACM/IEEE international conference on Mobile computing and networking
Directed diffusion: a scalable and robust communication paradigm for sensor networks
MobiCom '00 Proceedings of the 6th annual international conference on Mobile computing and networking
System architecture directions for networked sensors
ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
Implicit parallel programming in pH
Implicit parallel programming in pH
GHT: a geographic hash table for data-centric storage
WSNA '02 Proceedings of the 1st ACM international workshop on Wireless sensor networks and applications
The cougar approach to in-network query processing in sensor networks
ACM SIGMOD Record
FAD, a Powerful and Simple Database Language
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
NESL: A Nested Data-Parallel Language (Version 2.6)
NESL: A Nested Data-Parallel Language (Version 2.6)
Paradigms for Structure in an Amorphous Computer
Paradigms for Structure in an Amorphous Computer
Botanical computing: a developmental approach to generating interconnect topologies on an amorphous computer
Programmable self-assembly: constructing global shape using biologically-inspired local interactions and origami mathematics
An evaluation of multi-resolution storage for sensor networks
Proceedings of the 1st international conference on Embedded networked sensor systems
Spatial Programming Using Smart Messages: Design and Implementation
ICDCS '04 Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS'04)
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
TAG: a Tiny AGgregation service for Ad-Hoc sensor networks
OSDI '02 Proceedings of the 5th symposium on Operating systems design and implementationCopyright restrictions prevent ACM from being able to make the PDFs for this conference available for downloading
Programming sensor networks using abstract regions
NSDI'04 Proceedings of the 1st conference on Symposium on Networked Systems Design and Implementation - Volume 1
Biologically-inspired self-assembly of two-dimensional shapes using global-to-local compilation
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Organizing a global coordinate system from local information on an ad hoc sensor network
IPSN'03 Proceedings of the 2nd international conference on Information processing in sensor networks
Panel on mobility in sensor networks
Proceedings of the 6th international conference on Mobile data management
EESR '05 Proceedings of the 2005 workshop on End-to-end, sense-and-respond systems, applications and services
Tinker: a tool for designing data-centric sensor networks
Proceedings of the 5th international conference on Information processing in sensor networks
Marionette: using RPC for interactive development and debugging of wireless embedded networks
Proceedings of the 5th international conference on Information processing in sensor networks
A spreadsheet approach to programming and managing sensor networks
Proceedings of the 5th international conference on Information processing in sensor networks
snBench: programming and virtualization framework for distributed multitasking sensor networks
Proceedings of the 2nd international conference on Virtual execution environments
Infrastructure for Engineered Emergence on Sensor/Actuator Networks
IEEE Intelligent Systems
Issues in designing a compilation framework for macroprogrammed networked sensor systems
InterSense '06 Proceedings of the first international conference on Integrated internet ad hoc and sensor networks
Building up to macroprogramming: an intermediate language for sensor networks
IPSN '05 Proceedings of the 4th international symposium on Information processing in sensor networks
Building virtual sensors and actuators over logical neighborhoods
Proceedings of the international workshop on Middleware for sensor networks
Abstractions for safe concurrent programming in networked embedded systems
Proceedings of the 4th international conference on Embedded networked sensor systems
Declarative failure recovery for sensor networks
Proceedings of the 6th international conference on Aspect-oriented software development
The regiment macroprogramming system
Proceedings of the 6th international conference on Information processing in sensor networks
Reliable and efficient programming abstractions for wireless sensor networks
Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation
Decentralized, adaptive resource allocation for sensor networks
NSDI'05 Proceedings of the 2nd conference on Symposium on Networked Systems Design & Implementation - Volume 2
Macroprogramming heterogeneous sensor networks using cosmos
Proceedings of the 2nd ACM SIGOPS/EuroSys European Conference on Computer Systems 2007
Workflow support for wireless sensor and actor networks: a position paper
DMSN '07 Proceedings of the 4th workshop on Data management for sensor networks: in conjunction with 33rd International Conference on Very Large Data Bases
Controlling sensors and actuators collectively using the COCOS-framework
Proceedings of the First ACM workshop on Sensor and actor networks
Future scenarios of parallel computing: Distributed sensor networks
Journal of Visual Languages and Computing
The design and implementation of a declarative sensor network system
Proceedings of the 5th international conference on Embedded networked sensor systems
Sensor network programming with Flask
Proceedings of the 5th international conference on Embedded networked sensor systems
Programming models for sensor networks: A survey
ACM Transactions on Sensor Networks (TOSN)
TRANSACT: A Transactional Framework for Programming Wireless Sensor/Actor Networks
IPSN '08 Proceedings of the 7th international conference on Information processing in sensor networks
Life cycle support for sensor network applications
Proceedings of the 2nd international workshop on Middleware for sensor networks
Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 3
Engineering Contextual Information for Pervasive Multiagent Systems
Engineering Environment-Mediated Multi-Agent Systems
Clustering Distributed Sensor Data Streams
ECML PKDD '08 Proceedings of the European conference on Machine Learning and Knowledge Discovery in Databases - Part II
A comparison of software platforms for wireless sensor networks: MANTIS, TinyOS, and ZigBee
ACM Transactions on Embedded Computing Systems (TECS)
A methodology for in-network evaluation of integrated logical-statistical models
Proceedings of the 6th ACM conference on Embedded network sensor systems
Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation
Supporting situation-aware services with virtual macro sensors
Proceedings of the 2007 Workshop on INnovative SERvice Technologies
An interrelational grouping abstraction for heterogeneous sensors
ACM Transactions on Sensor Networks (TOSN)
Programming pervasive and mobile computing applications: The TOTA approach
ACM Transactions on Software Engineering and Methodology (TOSEM)
Knowledge networks for pervasive services
Proceedings of the 2009 international conference on Pervasive services
Evaluating a BASIC approach to sensor network node programming
Proceedings of the 7th ACM Conference on Embedded Networked Sensor Systems
A case study on prototyping power management protocols for sensor networks
SSS'06 Proceedings of the 8th international conference on Stabilization, safety, and security of distributed systems
A compilation framework for macroprogramming networked sensors
DCOSS'07 Proceedings of the 3rd IEEE international conference on Distributed computing in sensor systems
Handling dynamics in diffusive aggregation schemes: An evaporative approach
Future Generation Computer Systems
A modular and extensible macroprogramming compiler
Proceedings of the 2010 ICSE Workshop on Software Engineering for Sensor Network Applications
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Programming wireless sensor networks: Fundamental concepts and state of the art
ACM Computing Surveys (CSUR)
Clustering distributed sensor data streams using local processing and reduced communication
Intelligent Data Analysis - Ubiquitous Knowledge Discovery
Macro Programming a Spatial Computer with Bayesian Networks
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Core operational semantics of Proto
Proceedings of the 2011 ACM Symposium on Applied Computing
A programming model for the automatic construction of USN applications based on nano-qplus
EUC'06 Proceedings of the 2006 international conference on Embedded and Ubiquitous Computing
Programming paradigms for networked sensing: a distributed systems’ perspective
IWDC'05 Proceedings of the 7th international conference on Distributed Computing
Database-centric programming for wide-area sensor systems
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Macro-programming wireless sensor networks using Kairos
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
Design and comparison of lightweight group management strategies in envirosuite
DCOSS'05 Proceedings of the First IEEE international conference on Distributed Computing in Sensor Systems
The omni macroprogramming environment for sensor networks
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part III
A technique for code generation of USN applications based on nano-qplus
ICCS'06 Proceedings of the 6th international conference on Computational Science - Volume Part IV
Programming an amorphous computational medium
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
A state-based model of sensor protocols
OPODIS'05 Proceedings of the 9th international conference on Principles of Distributed Systems
Self-organizing virtual macro sensors
ACM Transactions on Autonomous and Adaptive Systems (TAAS) - Special section on formal methods in pervasive computing, pervasive adaptation, and self-adaptive systems: Models and algorithms
Semantic streams: a framework for composable semantic interpretation of sensor data
EWSN'06 Proceedings of the Third European conference on Wireless Sensor Networks
A state-based model of sensor protocols
Theoretical Computer Science
Proceedings of the 7th International Workshop on Middleware Tools, Services and Run-Time Support for Sensor Networks
Operational semantics of proto
Science of Computer Programming
Hi-index | 0.00 |
Sensor networks present a number of novel programming challenges for application developers. Their inherent limitations of computational power, communication bandwidth, and energy demand new approaches to programming that shield the developer from low-level details of resource management, concurrency, and in-network processing. We argue that sensor networks should be programmed at the global level, allowing the compiler to automatically generate nodal behaviors from a high-level specification of the network's global behavior.This paper presents the design of a functional macroprogramming language for sensor networks, called Regiment. The essential data model in Regiment is based on region streams, which represent spatially distributed, time-varying collections of node state. A region stream might represent the set of sensor values across all nodes in an area or the aggregation of sensor values within that area. Regiment is a purely functional language, which gives the compiler considerable leeway in terms of realizing region stream operations across sensor nodes and exploiting redundancy within the network.We describe the initial design and implementation of Regiment, including a compiler that transforms a macroprogram into an efficient nodal program based on a token machine. We present a progresssion of simple programs that illustrate the power of Regiment to succinctly represent robust, adaptive sensor network applications.