Program Synthesis with Algorithm Pseudocode Guidance | IEEE Conference Publication | IEEE Xplore