AMPHION: automatic programming for subroutine libraries | IEEE Conference Publication | IEEE Xplore