Journal article Open Access

Precise Static Modeling of Ethereum "Memory" (artifact)

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

Citation Style Language JSON Export

{
  "publisher": "Zenodo", 
  "DOI": "10.5281/zenodo.4059797", 
  "language": "eng", 
  "title": "Precise Static Modeling of Ethereum \"Memory\" (artifact)", 
  "issued": {
    "date-parts": [
      [
        2020, 
        9, 
        30
      ]
    ]
  }, 
  "abstract": "<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>", 
  "author": [
    {
      "family": "Sifis Lagouvardos"
    }, 
    {
      "family": "Neville Grech"
    }, 
    {
      "family": "Ilias Tsatiris"
    }, 
    {
      "family": "Yannis Smaragdakis"
    }
  ], 
  "id": "4059797", 
  "version": "1.0", 
  "type": "article-journal", 
  "event": "Proceedings of the ACM on Programming Languages (OOPSLA)"
}
304
95
views
downloads
All versions This version
Views 304304
Downloads 9595
Data volume 30.6 GB30.6 GB
Unique views 281281
Unique downloads 6565
More info on how stats are collected.
Indexed in
Publication date:
September 30, 2020
DOI:
10.5281/zenodo.4059797

Zenodo DOI Badge

DOI 

10.5281/zenodo.4059797

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
ethereum EVM static analysis
Meeting:
Proceedings of the ACM on Programming Languages (OOPSLA)
License (for files):
BSD licenses (New and Simplified)

Versions

Version 1.0 10.5281/zenodo.4059797 Sep 30, 2020
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.4059796. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export