@inproceedings{improvingneuralprogramsynthesiswith,
  title = {Improving Neural Program Synthesis with Inferred Execution Traces},
  author = {Richard Shin and Illia Polosukhin and Dawn Song},
  year = {2018},
  booktitle = {NeurIPS 2018 12},
  url = {http://papers.nips.cc/paper/8107-improving-neural-program-synthesis-with-inferred-execution-traces},
}