Felix Winterstein

High-level synthesis of dynamic data structures: A case study using Vivado HLS

George A. Constantinides, Samuel Bayliss, Felix Winterstein, 2013, 2013 International Conference on Field-Programmable Technology (FPT).

Separation Logic for High-Level Synthesis

George A. Constantinides, Samuel Bayliss, Felix Winterstein, 2015, ACM Trans. Reconfigurable Technol. Syst..

Compiling Higher Order Functional Programs to Composable Digital Hardware

Tomoko Izumi, Yoshio Nakatani, Alex I. Smith, 2013, FCCM 2014.