There is a newer version of this record available.

Software Open Access

Cypress (PLDI 2021 Artifact): Code and Benchmarks

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey

Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.

Files (203.8 kB)
Name Size
TyGuS/suslik-v0.4-cypress.zip
md5:89a81fd339d3e18ec56b42156d100fb1 		203.8 kB Download
1,084
38
views
downloads
All versions This version
Views 1,08460
Downloads 381
Data volume 34.7 GB203.8 kB
Unique views 65745
Unique downloads 291
More info on how stats are collected.
Available in Indexed in
Publication date:
April 11, 2021
DOI:
10.5281/zenodo.4679740

Zenodo DOI Badge

DOI 

10.5281/zenodo.4679740

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Meeting:
42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21), Virtual, June 20-25, 2021
Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v1.0 10.5281/zenodo.5074275 Jul 6, 2021
Version v0.5-cav21-artifact 10.5281/zenodo.4850342 May 28, 2021
Version v0.4-cypress 10.5281/zenodo.4679743 Apr 11, 2021
Version v0.4-cypress-no-VM 10.5281/zenodo.4679740 Apr 11, 2021
Version 0.3-cypress 10.5281/zenodo.4639933 Mar 26, 2021
View all 6 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1482573. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export