Jordan Henkel, Shuvendu K. Lahiri, Ben Liblit, Thomas W. Reps: Artifact for Code Vectors: Understanding Programs Through Embedded Abstracted Symbolic Traces. Zenodo 2018