At the End of Synthesis: Narrowing Program Candidates | IEEE Conference Publication | IEEE Xplore