![[Search]](/static/images/search.gif){kind=small}
![[A-Z Index]](/static/images/az.gif){kind=small}
![[Contact]](/static/images/contact.gif){kind=small}
![[University of Cambridge]](/static/images/identifier2.gif){kind=small}
![[Talks.cam]](/static/images/talkslogosmall.gif)
Geoffrey Mainland, Harvard University
Friday 01 April 2011, 10:00-11:00
High-level Languages for Low-level Systems
- 👤 Speaker: Geoffrey Mainland, Harvard University
- 📅 Date & Time: Friday 01 April 2011, 10:00 - 11:00
- 📍 Venue: Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
Abstract
Functional languages such as Haskell provide powerful abstraction facilities, but directly applying these tools to resource-constrained devices is impractical because doing so imposes too much time and/or space overhead. In this talk, I will describe two systems that exploit new language techniques to allow low-level devices to be programmed using Haskell. Flask provides a library of high-level combinators for composing low-level 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-time generation of GPU code from a first-order language of array computations embedded in Haskell that can communicate seamlessly with CPU computations written in Haskell.
Series This talk is part of the Microsoft Research Cambridge, public talks series.
Included in Lists
- All Talks (aka the CURE list)
- bld31
- Cambridge Centre for Data-Driven Discovery (C2D3)
- Cambridge talks
- Chris Davis' list
- Guy Emerson's list
- Interested Talks
- Microsoft Research Cambridge, public talks
- ndk22's list
- ob366-ai4er
- Optics for the Cloud
- personal list
- PMRFPS's
- rp587
- School of Technology
- Small lecture theatre, Microsoft Research Ltd, 7 J J Thomson Avenue (Off Madingley Road), Cambridge
- Trust & Technology Initiative - interesting events
- yk449
Note: Ex-directory lists are not shown.