Graph Neural Networks For Mapping Variables Between Programs
In this work, we propose using graph neural networks (GNNs) to map the set of variables between two programs based on both programs' abstract syntax trees (ASTs). To demonstrate …
Learning Variable Mappings to Repair and Verify Programs
In this talk I will propose using graph neural networks (GNNs) to map the set of variables between two programs based on both programs' abstract syntax trees (ASTs).
Project Proposal: Learning Variable Mappings to Repair Programs
In this talk I propose to learn how to map the set of variables between different small imperative programs based on both programs' abstract syntax trees (ASTs) using graph neural …
Project Proposal: Learning Variable Mappings to Repair Programs
In this position paper, we propose to learn how to map the set of variables between different small imperative programs based on both programs' abstract syntax trees (ASTs) using …