Software Open Access

ilyasergey/scilla-benchmarks: OOPSLA 2019 Artefact

Ilya Sergey; Vaivaswatha Nagaraj; Jacob Johannsen; Amrit Kumar; Anton Trunov; Ken Chan Guan Hao

Benchmarks accompanying the OOPSLA 2019 paper Safer Smart Contract Programming with Scilla.

Files (54.2 MB)
Name Size
ilyasergey/scilla-benchmarks-v1.0.zip
md5:b84d8a86744c708cfb94910faf2ac333 		54.2 MB Download
377
15
views
downloads
All versions This version
Views 377377
Downloads 1515
Data volume 813.7 MB813.7 MB
Unique views 253253
Unique downloads 1414
More info on how stats are collected.
Available in Indexed in
Publication date:
August 14, 2019
DOI:
10.5281/zenodo.3368504

Zenodo DOI Badge

DOI 

10.5281/zenodo.3368504

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

Keyword(s):
scilla smart contracts benchmarks blockchain evm zilliqa language design static analysis
Related identifiers:
Supplement to
License (for files):
MIT License

Versions

Version v1.0 10.5281/zenodo.3368504 Aug 14, 2019
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.3368503. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export