my papers on decoder synthesis