March 28-29 2009

A satellite event of the ETAPS 2009 group of conferences

Call for Abstracts

Accepted talks

Advance Programme

Call for Participation

Registration (ETAPS 2009 website)

Hardware designs today are more than three orders of magnitude larger than the designs of the 1980s, yet the abstraction level of design descriptions has not changed. To compound the problem, some of our traditional simplifying assumptions -- for example, that wire delay can be neglected in early stages of the design cycle -- are no longer valid. An abstraction breakthrough is sorely needed.

The HFL workshops focus on using modern programming language techniques -- in particular, techniques derived from the field of functional programming -- to describe hardware abstractly yet precisely. A major aim of HFL is to facilitate communication and debate among academic and industrial researchers in programming languages, hardware description, high-level modeling, verification, and formal design environments.

Organizers: Andrew Martin (IBM Corp.), John O'Leary (Intel Corp.)

For futher information, please send email to the organizers at