2011 Barrelfish workshop 20-21 October, FW11, Cambridge University Computer Laboratory

Thursday 20 October

09.00 Coffee 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.00 Coffee

11.30 Pravin Shinde (ETH Zurich) Scalable and adaptive network stack architecture 12.00 Jana Giceva (ETH Zurich) Database-OS co-design 12.30 Zach Anderson (ETH Zurich) Fine-grained, language-level, hierarchical resource management

13.00 Buffet lunch

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 GHC for a multi-kernel architecture

15.30 Coffee

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

17.00 Discussion & close

Friday 21 October

09.00 Coffee

09.30 Zeus Gómez Marmolejo (BSC) GCC cross compiler and Gasnet 10.00 Stefan Kästle (ETH Zurich) Message-passing co-processor 10.30 Tim Harris (Microsoft) Flexible hardware support for message passing

11.00 Coffee, discussion, close