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

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4639933", 
  "title": "Cypress (PLDI 2021 Artifact): Code and Benchmarks", 
  "issued": {
    "date-parts": [
      [
        2021, 
        3, 
        26
      ]
    ]
  }, 
  "abstract": "<p>Artifact accompanying the the paper <a href=\"https://ilyasergey.net/assets/pdf/papers/cypress-extended.pdf\">Cyclic Program Synthesis</a> published in proceedings of <a href=\"https://pldi21.sigplan.org/\">PLDI 2021</a>.</p>", 
  "author": [
    {
      "family": "Shachar Itzhaky"
    }, 
    {
      "family": "Hila Peleg"
    }, 
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Reuben N.S. Rowe"
    }, 
    {
      "family": "Ilya Sergey"
    }
  ], 
  "id": "4639933", 
  "event-place": "Virtual", 
  "version": "0.3-cypress", 
  "type": "article", 
  "event": "42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21)"
}
1,115
40
views
downloads
All versions This version
Views 1,115118
Downloads 402
Data volume 34.7 GB408.3 kB
Unique views 68376
Unique downloads 312
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