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.4679743", 
  "title": "Cypress (PLDI 2021 Artifact): Code and Benchmarks", 
  "issued": {
    "date-parts": [
      [
        2021, 
        4, 
        11
      ]
    ]
  }, 
  "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>\n\n<p><strong>Virtual machine:&nbsp;</strong>The <em>Cypress.ova</em> file is a virtual machine image containing the full artifact and benchmarks. It should work with either VMWare or VirtualBox (we used VirtualBox 6.1). To start with it, follow the instructions in&nbsp;<em>README.md</em> file attached to this artifact.</p>\n\n<p><strong>Source code:</strong>&nbsp;Download&nbsp;<em>TyGuS/suslik-v0.4-cypress.zip</em><em> </em>archive, unpack it, and follow the&nbsp;<em>Step by Step Instructions</em>&nbsp;in the&nbsp;<em>README.md</em> file in the root of the project.&nbsp;</p>", 
  "author": [
    {
      "family": "Shachar Itzhaky"
    }, 
    {
      "family": "Hila Peleg"
    }, 
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Reuben N.S. Rowe"
    }, 
    {
      "family": "Ilya Sergey"
    }
  ], 
  "id": "4679743", 
  "event-place": "Virtual", 
  "version": "v0.4-cypress", 
  "type": "article", 
  "event": "42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation (PLDI '21)"
}
1,384
52
views
downloads
All versions This version
Views 1,384454
Downloads 5229
Data volume 46.3 GB46.3 GB
Unique views 841275
Unique downloads 4223

Share

Cite as