Predicting and/or applying symbolic transformation templates

A method for generating a plurality of synthetic source code transformations to train a symbolic transformation template prediction (STTP) model for automation of source code transformations, the method implemented using one or more processors and comprising:

• processing a training predecessor source code snippet to generate a training predecessor graph;
• non-deterministically transforming the training predecessor graph into a training successor graph;
• based on the training predecessor and successor graphs, determining a training symbolic transformation template;
• and
• applying the training symbolic transformation template to the training predecessor source code snippet to generate a training synthetic successor source code snippet,
• wherein the training predecessor source code snippet and the training synthetic successor source code snippet together comprise one of the synthetic source code transformations that are used to train the STTP model.

A system comprising one or more processors and memory storing instructions that, in response to execution by the one or more processors, cause the one or more processors to:

• process one or more pairs of source code snippets using a symbolic transformation template prediction (STTP) model, wherein each pair of source code snippets includes a respective predecessor source code snippet and a respective successor source code snippet;
• based on output generated using the STTP model, predict a symbolic transformation template that includes a predecessor portion that matches the one or more predecessor source code snippets of the one or more pairs and a successor portion that matches the one or more successor source code snippets of the one or more pairs;
• identify at least one additional predecessor source code snippet that matches the predecessor portion of the predicted symbolic transformation template;
• bind one or more placeholders of the predecessor portion of the predicted symbolic transformation template to one or more tokens of the at least one additional predecessor source code snippet to create one or more bindings;
• and
• apply the successor portion of the predicted symbolic transformation template to the one or more bindings to generate, and store in memory, at least one additional successor source code snippet.