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 (204.1 kB)
Name Size
TyGuS/suslik-0.3.zip
md5:6fd107bf727043200257faf0f678d32e 		204.1 kB Download
1,038
38
views
downloads
All versions This version
Views 1,038109
Downloads 382
Data volume 34.7 GB408.3 kB
Unique views 61167
Unique downloads 292
More info on how stats are collected.
Available in Indexed in
Publication date:
March 26, 2021
DOI:
10.5281/zenodo.4639933

Zenodo DOI Badge

DOI 

10.5281/zenodo.4639933

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

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