Annotation-based finite-state transducers on reconfigurable devicesRaphael PoligKubilay Atasuet al.2016FPL 2016