There is a newer version of the record available.

Published April 11, 2021 | Version v0.4-cypress
Software Open

Cypress (PLDI 2021 Artifact): Code and Benchmarks

  • 1. Technion
  • 2. UC San Diego
  • 3. Royal Holloway, University of London
  • 4. Yale-NUS College and National University of Singapore


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. 


Files (5.8 GB)

Name Size Download all
5.8 GB Download
7.3 kB Preview Download
203.8 kB Preview Download

Additional details

Related works