2011 Barrelfish workshop

20-21 October, Cambridge University Computer Laboratory

Thursday 20 October

09.30

Timothy Roscoe (ETH Zurich)

Welcome, last year's progress, workshop goals

10.00

Werner Haas (Intel)

System-level implications of non-volatile, random-access memory

10.15

Matt Horsnell (ARM)

OS support in ARMv7A

10.30

Andrew Baumann (Microsoft)

Drawbridge on Barrelfish

11.30

Pravin Shinde (ETH Zurich)

Scalable and adaptive network stack architecture

12.00

Zach Anderson (ETH Zurich)

Fine-grained, language-level, hierarchical resource management

12.30

Stefan Kästle (ETH Zurich)

Message-passing co-processor

14.00

Adrian Schüpbach (ETH Zurich)

A declarative language approach to device configuration

14.30

Ross McIlroy (Microsoft)

Calico: rethinking the language / runtime-system boundary

15.00

Marcin Orczyk & Calum McCall (U. Glasgow)

GHC for a multi-kernel architecture

16.00

Georgios Varisteas (KTH)

Dynamic inter-core scheduling in Barrelfish

16.30

Robert Watson (CUCL)

BERI: an open source platform for research into the h/w-s/w interface

16.45

Mikel Lujan (U. Manchester)

Teraflux: A Manchester Perspective

 

Friday 21 October

09.30

Zeus Gómez Marmolejo (BSC)

GCC cross compiler and Gasnet

10.00

Jana Giceva (ETH Zurich)

Database-OS co-design

10.30

Tim Harris (Microsoft)

Flexible hardware support for message passing