January 29, 2020 Software Open Access

Ilya Sergey; Nadia Polikarpova; Amy Zhu; rashchedrin; andrecostea

JSON-LD (schema.org) Export

{
  "description": "<p>Artifact accompanying the ESOP 2020 paper <a href=\"https://arxiv.org/abs/2001.10723\">Concise Read-Only Specifications for Better Synthesis of Programs with Pointers</a>.</p>", 
  "license": "", 
  "creator": [
    {
      "affiliation": "Yale-NUS College and NUS SoC", 
      "@type": "Person", 
      "name": "Ilya Sergey"
    }, 
    {
      "affiliation": "UC San Diego", 
      "@type": "Person", 
      "name": "Nadia Polikarpova"
    }, 
    {
      "@type": "Person", 
      "name": "Amy Zhu"
    }, 
    {
      "@type": "Person", 
      "name": "rashchedrin"
    }, 
    {
      "@type": "Person", 
      "name": "andrecostea"
    }
  ], 
  "url": "https://zenodo.org/record/3630045", 
  "codeRepository": "https://github.com/TyGuS/robosuslik/tree/1.0", 
  "datePublished": "2020-01-29", 
  "version": "1.0", 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.3630045", 
  "@id": "https://doi.org/10.5281/zenodo.3630045", 
  "@type": "SoftwareSourceCode", 
  "name": "TyGuS/robosuslik: ESOP 2020 Artifact"
}