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


Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4850342", 
  "title": "SuSLik (CAV 2021 Artifact): Code and Benchmarks", 
  "issued": {
    "date-parts": [
      [
        2021, 
        5, 
        28
      ]
    ]
  }, 
  "abstract": "<p>Artifact accompanying the the invited paper <strong>Deductive Synthesis of Programs with Pointers: Techniques, Challenges, Opportunities</strong> published in proceedings of CAV 2021.</p>\n\n<p>Download <em>suslik-v0.5-cav21-artifact.zip</em> archive, unpack it, and follow instructions in the <em>README.md</em> file in the root of the project.</p>", 
  "author": [
    {
      "family": "Shachar Itzhaky"
    }, 
    {
      "family": "Hila Peleg"
    }, 
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Reuben N.S. Rowe"
    }, 
    {
      "family": "Ilya Sergey"
    }
  ], 
  "id": "4850342", 
  "event-place": "Virtual", 
  "version": "v0.5-cav21-artifact", 
  "type": "article", 
  "event": "33rd International Conference on Computer-Aided Verification (CAV'21)"
}
1,029
38
views
downloads
All versions This version
Views 1,029103
Downloads 381
Data volume 34.7 GB501.7 kB
Unique views 60272
Unique downloads 291

Share

Cite as