MacroLab



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. MacroLab is a macroprogramming framework that offers a vector programming abstraction similar to Matlab for Cyber-Physical Systems (CPSs). The user will write a single macroprogram for an entire CPS. Our framework will compile it down to a set of microprograms that are loaded onto each node. This work is building on our previous experience with Macro-programming systems like Marionette, Semantic Streams, and Hood.
Source Code Version 1.0 of MacroLab has been released. It can be downloaded here: MacroLab-1.0.tar.bz2 Please direct any questions about MacroLab to Timothy Hnat
Publications

Jing Yang, Kevin Skadron, Mary Lou Soffa, and Kamin Whitehouse. Potential of Dynamic Binary Parallelizations. The 7th International Workshop on Unique Chips and Systems (UCAS'12). February 26, 2012, New Orleans, Louisiana, USA.

Jing Yang, Kevin Skadron, Mary Lou Soffa, and Kamin Whitehouse. Feasibility of Dynamic Binary Parallelization. The 3rd USENIX Workshop on Hot Topics in Parallelism (HotPar'11). May 26-27, 2011 Berkeley, CA.

Wei Le, Jing Yang, Mary Lou Soffa and Kamin Whitehouse. Lazy Preemption to Enable Path-Based Analysis of Interrupt-Driven Code. The 2nd Workshop on Software Engineering for Sensor Network Applications (SESENA), in conjunction with ACM/IEEE Intl. Conference on Software Engineering (ICSE). May 22, 2011, Honolulu, Hawaii.

Timothy Hnat and Kamin Whitehouse. A Relaxed Synchronization Primitive for Macroprogramming Systems. The Seventh International Conference on Networked Sensing Systems. June 15 - 18, 2010, Kassel, Germany. (ppt)
(23% acceptance rate)

Timothy Hnat, Tamim Sookoor, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse A Modular and Extensible Macroprogramming Compiler. Workshop on Software Engineering for Sensor Network Applications (SESENA), in conjunction with ACM/IEEE Intl. Conference on Software Engineering (ICSE). May 2-8, 2010, Cape Town, South Africa. (ppt)

Michael Okola and Kamin Whitehouse Unit Testing for Wireless Sensor Networks. Workshop on Software Engineering for Sensor Network Applications (SESENA), in conjunction with ACM/IEEE Intl. Conference on Software Engineering (ICSE). May 2-8, 2010, Cape Town, South Africa.

Michael Okola and Kamin Whitehouse. Automatically Exporting TinyOS Modules as Web Services. The First International Workshop on Networks of Cooperating Objects (CONET). April 12th, 2010, Stockholm, Sweden.

Tamim Sookoor, Timothy Hnat, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse, "Macrodebugging: Global Views of Distributed Program Execution".  The 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009).  Berkeley, CA, Nov. 2009. (PPT)

Timothy W. Hnat, Tamim I. Sookoor, and Kamin Whitehouse, "Demo Abstract: Macrodebugging with MDB".  The 7th ACM Conference on Embedded Networked Sensor Systems (SenSys 2009).  Berkeley, CA, Nov. 2009.

Timothy W. Hnat, Tamim I. Sookoor, Pieter Hooimeijer, Westley Weimer, and Kamin Whitehouse, "MacroLab: A Vector-based Macroprogramming Framework for Cyber-Physical Systems".  The 6th ACM Conference on Embedded Networked Sensor Systems (SenSys 2008).  Raleigh, NC, Nov. 2008. (pdf)

Tamim I. Sookoor, Timothy W. Hnat, and Kamin Whitehouse, "Demo Abstract: Programming Cyber-Physical Systems with MacroLab".  The 6th ACM Conference on Embedded Networked Sensor Systems (SenSys 2008).  Raleigh, NC, Nov. 2008.

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)

Publications

This material is based upon work supported by the National Science Foundation under Grant No. 0845761. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reflect the views of the National Science Foundation.



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