Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis.

Felix Winterstein, Samuel Bayliss, George A. Constantinides

Browse the full FCCM paper archive.