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

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Shachar Itzhaky</dc:creator>
  <dc:creator>Hila Peleg</dc:creator>
  <dc:creator>Nadia Polikarpova</dc:creator>
  <dc:creator>Reuben N.S. Rowe</dc:creator>
  <dc:creator>Ilya Sergey</dc:creator>
  <dc:description>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 file attached to this artifact.

Source code: Download TyGuS/ archive, unpack it, and follow the Step by Step Instructions in the file in the root of the project. </dc:description>
  <dc:title>Cypress (PLDI 2021 Artifact): Code and Benchmarks</dc:title>
All versions This version
Views 1,384454
Downloads 5229
Data volume 46.3 GB46.3 GB
Unique views 841275
Unique downloads 4223


Cite as