Jordan Henkel

Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces

A novel technique for embedding semantically rich program artifacts. This paper explores how to combine sophisticated program analysis (in the form of lightweight symbolic execution) with off-the-shelf machine learning.