There is a newer version of this record available.

Software Open Access

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey

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 (501.7 kB)
Name Size
TyGuS/suslik-v0.5-cav21-artifact.zip
md5:091592dfe7ba51a57db73cdb421c7816
501.7 kB Download
1,587
64
views
downloads
All versions This version
Views 1,587176
Downloads 644
Data volume 63.6 GB2.0 MB
Unique views 1,034143
Unique downloads 544

Share

Cite as