4679743
doi
10.5281/zenodo.4679743
oai:zenodo.org:4679743
Hila Peleg
UC San Diego
Nadia Polikarpova
UC San Diego
Reuben N.S. Rowe
Royal Holloway, University of London
Ilya Sergey
Yale-NUS College and National University of Singapore
Cypress (PLDI 2021 Artifact): Code and Benchmarks
Shachar Itzhaky
Technion
url:https://github.com/TyGuS/suslik/tree/v0.4-cypress
info:eu-repo/semantics/openAccess
Other (Open)
<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>
<p><strong>Virtual machine: </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 <em>README.md</em> file attached to this artifact.</p>
<p><strong>Source code:</strong> Download <em>TyGuS/suslik-v0.4-cypress.zip</em><em> </em>archive, unpack it, and follow the <em>Step by Step Instructions</em> in the <em>README.md</em> file in the root of the project. </p>
Zenodo
2021-04-11
info:eu-repo/semantics/other
1482573
v0.4-cypress
1625553313.498325
203759
md5:89a81fd339d3e18ec56b42156d100fb1
https://zenodo.org/records/4679743/files/TyGuS/suslik-v0.4-cypress.zip
7296
md5:63352cd3a80711994d29b428eb0333e5
https://zenodo.org/records/4679743/files/README.md
5781347840
md5:72517bbbbd4a625047c62b7a0aadd0e1
https://zenodo.org/records/4679743/files/Cypress.ova
public
https://github.com/TyGuS/suslik/tree/v0.4-cypress
Is supplement to
url
10.5281/zenodo.1482573
isVersionOf
doi