BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//Talks.cam//talks.cam.ac.uk//
X-WR-CALNAME:Talks.cam
BEGIN:VEVENT
SUMMARY:High-level Languages for Low-level Systems - Geoffrey Mainland\, H
 arvard University
DTSTART:20110401T090000Z
DTEND:20110401T100000Z
UID:TALK30440@talks.cam.ac.uk
CONTACT:Microsoft Research Cambridge Talks Admins
DESCRIPTION:Functional languages such as Haskell provide powerful abstract
 ion facilities\, but directly applying these tools to resource-constrained
  devices is impractical because doing so imposes too much time and/or spac
 e overhead. In this talk\, I will describe two systems that exploit new la
 nguage techniques to allow low-level devices to be programmed using Haskel
 l. Flask provides a library of high-level combinators for composing low-le
 vel code fragments into programs that run on TelosB motes\, which have 16-
 bit processors and 10K of RAM. Nikola supports both run-time and compile-t
 ime generation of GPU code from a first-order language of array computatio
 ns embedded in Haskell that can communicate seamlessly with CPU computatio
 ns written in Haskell.
LOCATION:Small lecture theatre\, Microsoft Research Ltd\, 7 J J Thomson Av
 enue (Off Madingley Road)\, Cambridge
END:VEVENT
END:VCALENDAR