NLP-based Program Optimization and Synthesis