Macro-Programming



Research Publications Misc
Overview Macro-programming is the task of specifying the global behavior of a distributed system and deriving the behaviors of individual nodes. This is the opposite of specifying local node behaviors and deriving global, emergent behaviors. We are designing a programming abstraction which would enable the user to program a sensor network as if it were a single computer. The user will write a script describing the behavior of the system at the application level using a high-level language such as Java. Our compiler/run-time system will decompose the user generated script into scripts to be executed on each device within the sensor network. This work is building on our previous experience with Macro-programming systems like Marionette and Semantic Streams.
Publications

Kamin Whitehouse, Gilman Tolle, Jay Taneja, Cory Sharp, Sukun Kim, Jaein Jeong, Jonathan Hui, Prabal Dutta, and David Culler. "Marionette: Using RPC for Interactive Development and Debugging of Wireless Embedded Networks".  The Fifth International Conference on Information Processing in Sensor Networks: Special Track on Sensor Platform, Tools, and Design Methods for Network Embedded Systems (IPSN/SPOTS '06).  Nashville, TN, April 21, 2006. (ppt)

Kamin Whitehouse, Jie Liu, Feng Zhao."Semantic Streams: a Framework for Composable Inference over Sensor Data". The Third European Workshop on Wireless Sensor Networks (EWSN), Springer-Verlag Lecture Notes in Computer Science. Zurich, Switzerland. February 13-15, 2006. (ppt)

Kamin Whitehouse, Cory Sharp, Eric Brewer, David Culler.  "Hood: a Neighborhood Abstraction for Sensor Networks."  In Proceedings of ACM International Conference on Mobile Systems, Applications, and Services (MobiSys '04).  Boston, MA, June, 2004.  ACM Press. (ppt)



Kamin Whitehouse
Computer Science Department
The University of Virginia
217 Olsson Hall
Charlottesville, Virginia 94720