Journal article Open Access

Precise Static Modeling of Ethereum "Memory" (artifact)

Sifis Lagouvardos; Neville Grech; Ilias Tsatiris; Yannis Smaragdakis

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 (577.4 MB)
Name Size
eth-memory-modeling.tar.bz2
md5:26b3626d1817c4d997e6fc51b988a15b
577.4 MB Download
LICENSE.txt
md5:ec70efb9288072681e47b5dc1d788098
1.8 kB Download
README.md
md5:eee9bc584b8b69133c89eada72f81bd1
13.4 kB Download
302
95
views
downloads
All versions This version
Views 302302
Downloads 9595
Data volume 30.6 GB30.6 GB
Unique views 279279
Unique downloads 6565

Share

Cite as