Programme of HFL at ETAPS 2007

(Hardware design using Functional Languages)

Saturday, March 24, room: CP2-110

09:00 - 10:30 SESSION 1

Introducing Scheduling Primitives and Derived Interfaces in Bluespec
Arvind, Nirav Dave, and Michael Pellauer (MIT)
Declarative Programming Techniques for Many-Core Architectures
Satnam Singh (Microsoft Research Cambridge)

10:30 - 11:00 Coffee Break

11:00 - 12:30 SESSION 2

Searching for prefix networks to fit in a context using a lazy functional programming language
Mary Sheeran (Chalmers)
The E Language
Robert S. Boyer and Warren A. Hunt, Jr. (University of Texas)

12:30 - 14:30 Lunch and time for discussion

14:30 - 16:00 SESSION 3

A framework for designing hardware in Ocaml
Andrew K. Martin and Ahmed Gheith (IBM)
High-Level Micro-Architectural Transformations and Cycle-Accurate High-Level Models
Carl-Johan H. Seger (Intel)

16:00 - 16:30 Coffee Break

16:30 - 18:00 SESSION 4

Functional Programming for Hardware Definition, Verification and Modelling
Nathan Chong and Samin Ishtiaq (ARM)
Program Transformation for Functional Circuit Descriptions
Manfred Schmidt-Schauß and David Sabel (Johann Wolfgang Goethe-Universitßt)

Sunday, March 25, room: CP2-110

09:00 - 10:30 SESSION 1

Embedded Hardware Description Languages: Exploring the Design Space
Koen Claessen (Chalmers) and Gordon Pace (University of Malta)
Lightweight Relational Programming for Wired
Matthew Naylor (University of York), Emil Axelsson (Chalmers), and Colin Runciman (University of York)

10:30 - 11:45 Coffee Break and Demos

11:45 - 12:30 SESSION 2

Towards Automatically Compiling Efficient FPGA Hardware
Jean Baptiste Note and Jean Vuillemin (Ecole Normale Supérieure Paris)

12:30 - 14:30 Lunch and time for discussion

14:30 - 16:00 SESSION 3

Design Principles for Hardware Description
Tim Sheard (Portland State University)
Hardware descriptions as two-level computations
Walid Taha, Yousra Alkabani, Cherif Andraos, Jennifer Gillenwater, Gregory Malecha and Angela Yun Zhu (Rice University) and Jim Grundy and John O'Leary (Intel)

15:15 - 16:30 Coffee, demos, planning of next workshop


Joint Workshops Pre-Conference Dinner (tickets needed)
Dinner at Bom Jesus, Braga
Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

ETAPS 2007 | Top | HTML 4.01 | Last Update: 2007-03-13