Who are we?

Current group members:

David Cock

Team lead, board design coordination, early board design, low-level ECI implementation, debug and trace infrastructure, lots of soldering.

Adam Turowski

Barrelfish, Linux, and FreeBSD OS bringup, BMC software lead

Abishek Ramdas

Cache coherence implementation

Dario Korolija

FPGA Shell design and implementation

Anastasiia Ruzhanskaia

Dataflow acceleration usecases

Daniel Schwyn

Power management software

Michael Giardino

Circuit testing, fabrication, power management, benchmarking

Cedric Heimhofer

SEL4 on the BMC

Kristina Martšenko

System power and performance modeling, benchmarking

Patrick Wicki

Platform visualization and monitoring

Faculty

Timothy Roscoe

Gustavo Alonso

Alumni

Reto Achermann

Trace processing, software emulation, Barrelfish bringup

Joel Busch

Detailed ECI cache simulation in ARM FAST models

Alain Denzler

Memory controller feasibility study

Tobias Grosser

Application use cases

Alexander Hedges

Simulation environment

Zsolt István

FPGA network stack and doughnut prototyping

Tom Kuchler

Hardware protocol analysis and filtering for ECI

Amit Kulkarni

Infrastructure and Verilog hacking

Nikita Lazarev

Interconnect protocol specification and modelling

Jialin Li

ARM FAST models ECI cache simulator

Jakob Meier

Automated ECI trace analysis

Muhsen Owaida

ECI link bringup

Pirmin Schmidt

Runtime verification on FPGAs

Jasmin Schult

Formal BMC firmware specification and synthesis of power sequencing

David Sidler

FPGA network implementation

Zeke Wang

DDR4 controllers and doughnut prototyping

Patrick Ziegler

Hardware simulator integration