Published September 30, 2020 | Version 1.0
Journal article Open

Precise Static Modeling of Ethereum "Memory" (artifact)

Creators

  • 1. University of Athens

Description

This is the artifact for the paper:
Precise Static Modeling of Ethereum "Memory",
Sifis Lagouvardos, Neville Grech, Ilias Tsatiris, and Yannis Smaragdakis.
In Proceedings of the ACM in Programming Languages (OOPSLA) 2020

For more details, see file README.md.

Files

LICENSE.txt

Files (577.4 MB)

Name Size Download all
md5:26b3626d1817c4d997e6fc51b988a15b
577.4 MB Download
md5:ec70efb9288072681e47b5dc1d788098
1.8 kB Preview Download
md5:eee9bc584b8b69133c89eada72f81bd1
13.4 kB Preview Download