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
46
2
views
downloads
All versions This version
Views 4646
Downloads 22
Data volume 108.5 MB108.5 MB
Unique views 3030
Unique downloads 22
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:
https://github.com/ilyasergey/scilla-benchmarks/tree/v1.0
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