Dynamic Neural Program Embedding for Program Repair

Understand

Neural program embeddings have shown much promise recently for a variety of program analysis tasks, including program synthesis, program repair, fault localization, etc.

• However, most existing program embeddings are based on syntactic features of programs, such as raw token sequences or abstract syntax trees.
• Unlike images and text, a program has an unambiguous semantic meaning that can be difficult to capture by only considering its syntax (i.e.
• syntactically similar pro- grams can exhibit vastly different run-time behavior), which makes syntax-based program embeddings fundamentally limited.