Subscribe to the mailing list for updates.
Who are we?
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
Ben Fiedler
Formal verification of BMC software, cluster administration
Zhenhao He
RDMA and TCP stacks
Dario Korolija
FPGA Shell design and implementation
Zikai Liu
BMC software
Roman Meier
Cluster administration
Abishek Ramdas
Cache coherence implementation
Anastasiia Ruzhanskaia
Dataflow acceleration usecases
Jasmin Schult
Formal specification of ECI and the power distribution topology
Daniel Schwyn
BMC software, power management
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
Michael Giardino
Circuit testing, fabrication, power management, benchmarking
Tobias Grosser
Application use cases
Alexander Hedges
Simulation environment
Cedric Heimhofer
SEL4 on the BMC
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
Kristina Martšenko
System power and performance modeling, benchmarking
Jakob Meier
Automated ECI trace analysis
Muhsen Owaida
ECI link bringup
Pirmin Schmid
Runtime verification on FPGAs
David Sidler
FPGA network implementation
Zeke Wang
DDR4 controllers and doughnut prototyping
Patrick Wicki
Platform visualization and monitoring
Patrick Ziegler
Hardware simulator integration