Published April 7, 2020 | Version 1.0.0
Journal article Open

Semantic Code Search via Equational Reasoning

  • 1. MIT


  • 1. ByteAlly


This artifact contains information needed to evaluate all claims in the paper. Specifically, it contains a Docker image and most sources, with:

  1. Yogo
  2. Test scripts configured to run Yogo on its benchmarks

It further contains logs of previous runs of Yogo on the benchmarks, and scripts to analyze the results.


Files (1.2 GB)

Name Size Download all
1.2 GB Preview Download

Additional details

Related works

Is supplement to
10.1145/3385412.3386001 (DOI)