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

18:45 SOCIAL EVENT

Joint Workshops Pre-Conference Dinner (tickets needed)

Dinner at Bom Jesus, Braga

Shuttle departure from University Campus, Gualtar

Further ETAPS 2007 Programme Information:

• Programme Overview, Social Programme
• Main Conferences: Complete Programme, CC, ESOP, FASE, FOSSACS, TACAS
• Workshops: ACCAT, Bytecode, COCV, FESCA, FinCo, GT-VMT, HAV, LDTA, MBT, MOMPES, OpenCert, QAPL, SC, SLA++P, TERMGRAPH, WITS,
• Tutorials: Stratego/XT, SoftwGen, Mobius