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

Dublin Core Export

<?xml version='1.0' encoding='utf-8'?>
<oai_dc:dc xmlns:dc="" xmlns:oai_dc="" xmlns:xsi="" xsi:schemaLocation="">
  <dc:creator>Shachar Itzhaky</dc:creator>
  <dc:creator>Hila Peleg</dc:creator>
  <dc:creator>Nadia Polikarpova</dc:creator>
  <dc:creator>Reuben N.S. Rowe</dc:creator>
  <dc:creator>Ilya Sergey</dc:creator>
  <dc:description>Artifact accompanying the the invited paper Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities published in proceedings of CAV 2021.

Download archive, unpack it, and follow instructions in the file in the root of the project.</dc:description>
  <dc:title>SuSLik (CAV 2021 Artifact): Code and Benchmarks</dc:title>
All versions This version
Views 1,029103
Downloads 381
Data volume 34.7 GB501.7 kB
Unique views 60272
Unique downloads 291


Cite as