Terasic DE4 / Altera / Air Force Research Laboratory / BERI Hardware / SRI International / NetFPGA / GitHub / Xilinx / Intel / BERI Programmable Interrupt / Google Inc. / /
Event
FDA Phase / /
Facility
Cambridge Computer Laboratory / University of Cambridge / Building BERI / Air Force Research Laboratory / Building BERI2 / Unit Test Support Library / /
Defense Advanced Research Projects Agency / MIT / U.S. Government / BERI Floating-Point Unit / University of Cambridge Computer Laboratory / CHERI Floating Point Unit / University of Cambridge / University of Cambridge Technical Report / Department of Defense / /
Person
Robert Norton / Greg Morrisett Brian Randell Kenneth / Alexandre Joannou / Robert N. M. Watson / Mike Gordon Steven Hand Andrew Herbert Warren / Jeremy Epstein Virgil Gligor Li / Michael Roe / Brooks Davis / Asif Khan Anil Madhavapeddy / Doug Maughan Greg Morrisett Brian / Simon Cooper Rance DeLong Jeremy Epstein Virgil / A. Hunt Jr. Doug Maughan / Gregory Chadwick Jong Hun Han Alex Horsman / Stacey Son Richard Uhler Nirav Dave Alexandre / Nirav Dave / Kenneth F. Shotting Joe Stoy / Peter G. Neumann / Steven J. Murdoch / Jonathan Anderson Gregory Chadwick Jong / David Chisnall / Ross J. Anderson Khilan Gudka Asif / Tom Van Vleck Samuel / John Rushby Hassen Saidi Stacey / Ben Laurie Ilias Marinos Ed Maste Alan / Robert Laddaga / Colin Rothwell Muhammad Shahbaz Bjoern / Warren A. Hunt Jr. / Lee Badger Simon Cooper Rance / Hans Petter Selasky Philip Withnall / Alan Mujumdar / CHERI ISA / Gregory Chadwick / Simon W. Moore / Nirav Dave Alexandre Joannou Patrick Lincoln Andrew / Wojciech Koszek / Howie Shrobe / Virgil Gligor Li Gong Mike Gordon / Philip Paeps Hans Petter Selasky / Jonathan Woodruff / A. Theodore Markettos / Alan Mujumdar Prashanth Mundkur John / Joe Stoy Tom Van Vleck / / /
Position
program manager / King / Cambridge HDMI controller / professor / Controller / Programmer / professor and past DARPA CRASH program manager / /
Product
FreeBSD/BERI / C-0237 / Apache / BERI2 / /
ProgrammingLanguage
Verilog / /
Technology
FPGA / Floating Point Unit / HDMI / operating system / BERI2 processors / earlier experimental RISC processor / Verilog / simulation / 3.2 HDMI Chip / flash / web server / UART / /