Actions
  • shareshare
  • link
  • cite
  • add
add
Research software . Software . 2021

SuSLik (CAV 2021 Artifact): Code and Benchmarks

Shachar Itzhaky; Hila Peleg; Nadia Polikarpova; Reuben N.S. Rowe; Ilya Sergey;
Open Access
Published: 28 May 2021
Publisher: Zenodo
Abstract
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.
Download from
moresidebar