Tutorial T8A: Automated Application Engine Synthesis from C Algorithms | IEEE Conference Publication | IEEE Xplore