1 citations · 1 across the 3 of their papers we have counts for
3 papers
cs.PL2019
Research Note: An Open Source Bluespec Compiler
David J. Greaves
In this Research Note we report on an open-source compiler for the Bluespec hardware description language.
cs.CR2018
FRAMER: A Software-based Capability Model
Myoung Jin Nam, Periklis Akritidis, David J Greaves
Fine-grained memory protection for C and C++ programs must track individual objects (or pointers), and store bounds information per object (pointer). Its cost is dominated by metad…
cs.PL2017★ 1 cited
Extending programs with debug-related features, with application to hardware development
Nik Sultana, Salvator Galea, David Greaves +8
The capacity and programmability of reconfigurable hardware such as FPGAs has improved steadily over the years, but they do not readily provide any mechanisms for monitoring or deb…