Journal article Open Access

Semantic Code Search via Equational Reasoning

Varot Premtoon; James Koppel; Armando Solar-Lezama

Other(s)
Sreenidhi Nair

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
yogo-artifact-exp.zip
md5:31eb881d487e6ec7bc55ec46e71af468
1.2 GB Download
374
47
views
downloads
All versions This version
Views 374374
Downloads 4747
Data volume 55.9 GB55.9 GB
Unique views 342342
Unique downloads 4141

Share

Cite as