ICSA Colloquium Talk
Professor Kevin Hammond - 26 November 2009
| What |
|
|---|---|
| When |
Nov 26, 2009 from 03:30 pm to 04:30 pm |
| Where | 4.31/4.33 |
| Contact Name | Fiona Clark |
| Contact Phone | 0131 651 3291 |
| Add event to calendar |
vCal
iCal
|
Thursday 26 November 2009 15:30 - 16:30 Informatics Forum, Room 4.31/4.33
Kevin Hammond, Professor of Computer Science, University of St Andrews
Hume: a functionally-based Domain Specific Language Targeting real-time Embedded Systems
In this talk, I will introduce the novel Hume programming language, which is built from the ground up around the concept of costable resource usage. Hume aims to provide a high level of programming abstraction while allowing good cost models and analyses to be constructed. Key to this is the concept of box-based programming, which allows the construction of complex reaction systems from simpler language components.
The talk introduces the Hume language, discusses key concepts and considers recent research results in costing first-order and higher-order programs using automatic amortised analysis. These results will be presented in detail at FM 2009 and in
a forthcoming POPL 2010 paper.
Gadgets could go greener with new low-powered chip
Informatics Lifting the Lid 2009
