[PRL] Chris Skalka visit: May 16

[David Van Horn]

Chris Skalka (http://www.cs.uvm.edu/~ceskalka/) is visiting on Thursday, 
May 16.  If you'd like to meet with Chris, please fill out the following 
survey with your availability:

    http://www.doodle.com/t4qkuev7ckt2sg92

He's giving a PRL talk from 11:45 to 1:30.

A Principled Approach to Practical Embedded Device Programming
Christian Skalka
Dept. of Computer Science, University of Vermont
=================================================

In this talk we describe the design and implementation of a domain
specific language, called Scalaness, for embedded wireless device
programming. It is intended to support automated or semi-automated
device program refinement and device control from a high powered
hub. High level language abstractions are desirable to define complex
refinement and control algorithms, but embedded devices are often
severely resource constrained and are best programmed with domain
specific low level code. We leverage a form of staged aka meta
programming to bridge the gap between high level code refinement
techniques and efficient device level programs.

In addition to staging, Scalaness incorporates several advanced
language features, including a type system supporting dynamic type
construction and type specialization of device code. A static type
analysis provides "two-stage" type safety, where static type checking
ensures type safety of dynamically refined code. These features
required significant theoretical consideration in their design, and we
will show how they were initially developed in a foundational core
calculus and then "ported" to the more practical Scalaness
setting. Scalaness has been implemented as an extension of Scala and
TinyOS.