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


JSON-LD (schema.org) Export

{
  "description": "<p>Cyclic program synthesis, with support for certification via HTT/VST/Iris.</p>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "UC San Diego", 
      "@type": "Person", 
      "name": "Nadia Polikarpova"
    }, 
    {
      "affiliation": "Yale-NUS College and NUS SoC", 
      "@type": "Person", 
      "name": "Ilya Sergey"
    }, 
    {
      "@type": "Person", 
      "name": "Yasunari Watanabe"
    }, 
    {
      "@type": "Person", 
      "name": "rashchedrin"
    }, 
    {
      "affiliation": "????", 
      "@type": "Person", 
      "name": "Kiran Gopinathan"
    }, 
    {
      "@type": "Person", 
      "name": "George P\u00eerlea"
    }, 
    {
      "@type": "Person", 
      "name": "peleghila"
    }, 
    {
      "@type": "Person", 
      "name": "Shachar Itzhaky"
    }, 
    {
      "@type": "Person", 
      "name": "Reuben Rowe"
    }
  ], 
  "url": "https://zenodo.org/record/5074275", 
  "codeRepository": "https://github.com/TyGuS/suslik/tree/v1.0", 
  "datePublished": "2021-07-06", 
  "version": "v1.0", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.5074275", 
  "@id": "https://doi.org/10.5281/zenodo.5074275", 
  "@type": "SoftwareSourceCode", 
  "name": "TyGuS/suslik: SuSLik v1.0"
}
1,115
40
views
downloads
All versions This version
Views 1,11570
Downloads 402
Data volume 34.7 GB1.2 MB
Unique views 68365
Unique downloads 312

Share

Cite as