There is a newer version of the record available.

Published March 26, 2021 | Version 0.3-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 NUS SoC

Description

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

Files

TyGuS/suslik-0.3.zip

Files (204.1 kB)

Name Size Download all
md5:6fd107bf727043200257faf0f678d32e
204.1 kB Preview Download

Additional details

Related works