Software Open Access

CoSplit (PLDI 2021 Artefact)

George Pîrlea; Amrit Kumar; Ilya Sergey

Virtual machine: The CoSplit.ova file is a virtual machine image containing the full artefact, including the CoSplit static analysis, its integration with the Zilliqa blockchain, the benchmark suite used for evaluation, the Ethereum dataset, and the Jupyter notebook used to analyse the dataset. This is the artefact that was evaluated during the PLDI 2021 Artifact Evaluation process.

The virtual machine image was generated using Virtual Box Version 6.1.18 r142142 and is known to work with that version of the software.

Source code: Please download cosplit-artefact-archive.zipThis includes the full source code, including dependencies, and the Ethereum dataset. The archive produced by GitHub (dranov/cosplit-artefact-v0.1-beta.zip) does not include the dependencies and dataset.

 

Files (17.2 GB)
Name Size
cosplit-artefact-archive.zip
md5:a946ed5920662c3f43ed422631d28000
751.6 MB Download
CoSplit.ova
md5:373a076953120d077eeb47c9fd7cfee8
16.2 GB Download
dranov/cosplit-artefact-v0.1-beta.zip
md5:5fccc9fbd7860b7abcd229b5fd9b4011
222.0 MB Download
174
9
views
downloads
All versions This version
Views 174109
Downloads 98
Data volume 36.7 GB35.9 GB
Unique views 10384
Unique downloads 65

Share

Cite as