ELAINE

Software for embedded systems, especially operating system and programming language support. Recent projects have focused on programming, modeling, and simulation tools for wireless sensor networks.