Planned intervention: On Thursday March 28th 07:00 UTC Zenodo will be unavailable for up to 5 minutes to perform a database upgrade.

There is a newer version of the record available.

Published April 11, 2021 | Version v0.4-cypress-no-VM
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

Description

Artifact accompanying the the paper Cyclic Program Synthesis published in proceedings of PLDI 2021.

Files

TyGuS/suslik-v0.4-cypress.zip

Files (203.8 kB)

Name Size Download all
md5:89a81fd339d3e18ec56b42156d100fb1
203.8 kB Preview Download

Additional details

Related works