META-AMPHION: synthesis of efficient domain-specific program synthesis systems | IEEE Conference Publication | IEEE Xplore