Our new NesT project (“improved NesC/TinyOS”, not a refreshing cold beverage) aims to simultaneously improve the efficiency (in terms of power consumption and memory usage) as well as programmability of sensor network applications, or in general any program requiring an incredibly small footprint to run in. At this point we have developed the theoretical ideas in a small ML-like staged programming language, <ML>. This project is a joint collaboration with University of Vermont and SUNY Binghamton.
Yu David Liu, Christian Skalka, and Scott Smith. Type-Specialized Staged Programming with Process Separation. Workshop on Generic Programming, Edinburgh, Scotland, 2009. Slides.
Staging is a powerful language construct that allows a program at one stage
to manipulate and specialize a program at the next. We propose