Felix Winterstein, Samuel Bayliss, George A. Constantinides. Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis. In 22nd IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2014, Boston, MA, USA, May 11-13, 2014. pages 1-8, IEEE Computer Society, 2014. [doi]
Abstract is missing.