research
∙
04/05/2021
Meta-level issues in Offloading: Scoping, Composition, Development, and their Automation
This paper argues for an accelerator development toolchain that takes in...
share
research
∙
05/28/2017
Extending programs with debug-related features, with application to hardware development
The capacity and programmability of reconfigurable hardware such as FPGA...
research
∙
07/31/2015
Systematic Verification of the Modal Logic Cube in Isabelle/HOL
We present an automated verification of the well-known modal logic cube ...
research
∙
03/15/2013