There is a newer version of the record available.

Published May 28, 2021 | Version v0.5-cav21-artifact
Software Open

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Authors/Creators

  • 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 invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.

Download suslik-v0.5-cav21-artifact.zip archive, unpack it, and follow instructions in the README.md file in the root of the project.

Files

TyGuS/suslik-v0.5-cav21-artifact.zip

Files (501.7 kB)

Name Size
md5:091592dfe7ba51a57db73cdb421c7816
501.7 kB Preview Download

Additional details

Related works

Is identical to
https://github.com/TyGuS/suslik/tree/v0.5-cav21-artifact (URL)