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.

Virtual machine: The Cypress.ova 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 README.md file attached to this artifact.

Source code: Download TyGuS/suslik-v0.4-cypress.zip archive, unpack it, and follow the Step by Step Instructions in the README.md file in the root of the project. 

Files (5.8 GB)
Name Size
Cypress.ova
md5:72517bbbbd4a625047c62b7a0aadd0e1
5.8 GB Download
README.md
md5:63352cd3a80711994d29b428eb0333e5
7.3 kB Download
TyGuS/suslik-v0.4-cypress.zip
md5:89a81fd339d3e18ec56b42156d100fb1
203.8 kB Download
496
28
views
downloads
All versions This version
Views 496114
Downloads 2814
Data volume 17.3 GB17.3 GB
Unique views 33183
Unique downloads 2110

Share

Cite as