Picture for Steve Kommrusch

Steve Kommrusch

Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules

Add code
Sep 22, 2021
Figure 1 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 2 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 3 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Figure 4 for Self-Supervised Learning to Prove Equivalence Between Programs via Semantics-Preserving Rewrite Rules
Viaarxiv icon

Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models

Add code
Jun 09, 2021
Figure 1 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 2 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 3 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Figure 4 for Proving Equivalence Between Complex Expressions Using Graph-to-Sequence Neural Models
Viaarxiv icon

Neural Transfer Learning for Repairing Security Vulnerabilities in C Code

Add code
Apr 16, 2021
Figure 1 for Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Figure 2 for Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Figure 3 for Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Figure 4 for Neural Transfer Learning for Repairing Security Vulnerabilities in C Code
Viaarxiv icon

Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model

Add code
Feb 17, 2020
Figure 1 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 2 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 3 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Figure 4 for Equivalence of Dataflow Graphs via Rewrite Rules Using a Graph-to-Sequence Neural Model
Viaarxiv icon

Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities

Add code
Dec 04, 2019
Figure 1 for Using Sequence-to-Sequence Learning for Repairing C Vulnerabilities
Viaarxiv icon

SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair

Add code
Dec 24, 2018
Figure 1 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 2 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 3 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Figure 4 for SequenceR: Sequence-to-Sequence Learning for End-to-End Program Repair
Viaarxiv icon

Synthetic Lung Nodule 3D Image Generation Using Autoencoders

Add code
Nov 19, 2018
Figure 1 for Synthetic Lung Nodule 3D Image Generation Using Autoencoders
Figure 2 for Synthetic Lung Nodule 3D Image Generation Using Autoencoders
Figure 3 for Synthetic Lung Nodule 3D Image Generation Using Autoencoders
Figure 4 for Synthetic Lung Nodule 3D Image Generation Using Autoencoders
Viaarxiv icon