September 30, 2020 Journal article Open Access

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

JSON-LD (schema.org) Export

{
  "inLanguage": {
    "alternateName": "eng", 
    "@type": "Language", 
    "name": "English"
  }, 
  "description": "<p>This is the artifact for the paper:<br>\nPrecise Static Modeling of Ethereum &quot;Memory&quot;,<br>\nSifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis.<br>\n<em>In Proceedings of the ACM in Programming Languages (OOPSLA) 2020</em></p>\n\n<p>For more details, see file README.md.</p>", 
  "license": "http://www.opensource.org/licenses/bsd-license.php", 
  "creator": [
    {
      "affiliation": "University of Athens", 
      "@type": "Person", 
      "name": "Sifis Lagouvardos"
    }, 
    {
      "affiliation": "University of Athens", 
      "@type": "Person", 
      "name": "Neville Grech"
    }, 
    {
      "affiliation": "University of Athens", 
      "@type": "Person", 
      "name": "Ilias Tsatiris"
    }, 
    {
      "affiliation": "University of Athens", 
      "@type": "Person", 
      "name": "Yannis Smaragdakis"
    }
  ], 
  "headline": "Precise Static Modeling of Ethereum \"Memory\" (artifact)", 
  "image": "https://zenodo.org/static/img/logos/zenodo-gradient-round.svg", 
  "datePublished": "2020-09-30", 
  "url": "https://zenodo.org/record/4059797", 
  "version": "1.0", 
  "@type": "ScholarlyArticle", 
  "keywords": [
    "ethereum", 
    "EVM", 
    "static analysis"
  ], 
  "@context": "https://schema.org/", 
  "identifier": "https://doi.org/10.5281/zenodo.4059797", 
  "@id": "https://doi.org/10.5281/zenodo.4059797", 
  "workFeatured": {
    "alternateName": "OOPSLA", 
    "@type": "Event", 
    "name": "Proceedings of the ACM on Programming Languages"
  }, 
  "name": "Precise Static Modeling of Ethereum \"Memory\" (artifact)"
}