Software Open Access

TyGuS/suslik: SuSLik v1.0

Nadia Polikarpova; Ilya Sergey; Yasunari Watanabe; rashchedrin; Kiran Gopinathan; George Pîrlea; peleghila; Shachar Itzhaky; Reuben Rowe

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.5074275", 
  "title": "TyGuS/suslik: SuSLik v1.0", 
  "issued": {
    "date-parts": [
      [
        2021, 
        7, 
        6
      ]
    ]
  }, 
  "abstract": "<p>Cyclic program synthesis, with support for certification via HTT/VST/Iris.</p>", 
  "author": [
    {
      "family": "Nadia Polikarpova"
    }, 
    {
      "family": "Ilya Sergey"
    }, 
    {
      "family": "Yasunari Watanabe"
    }, 
    {
      "family": "rashchedrin"
    }, 
    {
      "family": "Kiran Gopinathan"
    }, 
    {
      "family": "George P\u00eerlea"
    }, 
    {
      "family": "peleghila"
    }, 
    {
      "family": "Shachar Itzhaky"
    }, 
    {
      "family": "Reuben Rowe"
    }
  ], 
  "version": "v1.0", 
  "type": "article", 
  "id": "5074275"
}
1,111
40
views
downloads
All versions This version
Views 1,11169
Downloads 402
Data volume 34.7 GB1.2 MB
Unique views 67964
Unique downloads 312
More info on how stats are collected.
Available in Indexed in
Publication date:
July 6, 2021
DOI:
10.5281/zenodo.5074275

Zenodo DOI Badge

DOI 

10.5281/zenodo.5074275

Markdown 

[![DOI](https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg)](https://doi.org/10.5281/zenodo.5074275)

reStructedText 

.. image:: https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg
   :target: https://doi.org/10.5281/zenodo.5074275

HTML 

<a href="https://doi.org/10.5281/zenodo.5074275"><img src="https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg" alt="DOI"></a>

Image URL 

https://zenodo.org/badge/DOI/10.5281/zenodo.5074275.svg

Target URL 

https://doi.org/10.5281/zenodo.5074275

Related identifiers:
Supplement to
License (for files):
Other (Open)

Versions

Version v1.0 10.5281/zenodo.5074275 Jul 6, 2021
Version v0.5-cav21-artifact 10.5281/zenodo.4850342 May 28, 2021
Version v0.4-cypress 10.5281/zenodo.4679743 Apr 11, 2021
Version v0.4-cypress-no-VM 10.5281/zenodo.4679740 Apr 11, 2021
Version 0.3-cypress 10.5281/zenodo.4639933 Mar 26, 2021
View all 6 versions
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.1482573. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export