UPDATE: Zenodo migration postponed to Oct 13 from 06:00-08:00 UTC. Read the announcement.

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
531
60
views
downloads
All versions This version
Views 531531
Downloads 6060
Data volume 71.3 GB71.3 GB
Unique views 492492
Unique downloads 5454
More info on how stats are collected.
Indexed in
Publication date:
April 7, 2020
DOI:
10.5281/zenodo.3743160

Zenodo DOI Badge

DOI 

10.5281/zenodo.3743160

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.3743160.svg)](https://doi.org/10.5281/zenodo.3743160)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.3743160.svg
   :target: https://doi.org/10.5281/zenodo.3743160

HTML 

<a href="https://doi.org/10.5281/zenodo.3743160"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.3743160.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.3743160.svg

Target URL 

https://doi.org/10.5281/zenodo.3743160

Meeting:
Programming Language Design and Implementation (PLDI), 15-20 June, 2020
Related identifiers:
Supplement to
License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0.0 10.5281/zenodo.3743160 Apr 7, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3743159. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export