NIFD: Non-intrusive FPGA Debugger – Debugging FPGA 'Threads' for Rapid HW/SW Systems Prototyping. - Hari Angepat; Gage Eads; Christopher Craik; Derek Chiou (FPL, 2010)

Tessellation operating system: Building a real-time, responsive, high-throughput client OS for many-core architectures. - Juan A. Colmenares; Sarah Bird; Gage Eads; Steven A. Hofmeyr; Albert Kim; Rohit Poddar; Hilfi Alkaff; Krste Asanovic; John Kubiatowicz (Hot Chips Symposium, 2011)

Tessellation: refactoring the OS around explicit resource containers with continuous adaptation. - Juan A. Colmenares; Gage Eads; Steven A. Hofmeyr; Sarah Bird; Miquel Moretó; David Chou; Brian Gluzman; Eric Roman; Davide B. Bartolini; Nitesh Mor; Krste Asanovic; John Kubiatowicz (DAC, 2013)