Code vectors: understanding programs through embedded abstracted symbolic traces
Code completion with statistical language models