Research data deposit for Yi Li's Software Reliability and Security (SRS) lab.
Featured Dataverses

In order to use this feature you must have at least one published dataverse.

Publish Dataverse

Are you sure you want to publish your dataverse? Once you do so it must remain published.

Publish Dataverse

This dataverse cannot be published because the dataverse it is in has not been published.

Delete Dataverse

Are you sure you want to delete your dataverse? You cannot undelete this dataverse.

Advanced Search

1 to 8 of 8 Results
SpCon-Artifact.zip
May 23, 2022 - Replication Data for: Finding Permission Bugs in Smart Contracts with Role Mining
ZIP Archive - 69.7 MB - MD5: 2d1055288cd938b0a3baa37cdd305dad
SpCon replication package
diffbase.tar.gz
Jul 10, 2021 - Replication Data for: DIFFBASE: A Differential Factbase for Effective Software Evolution Management
Gzip Archive - 125.1 MB - MD5: 02824ae6811d33b46ffbddc32ec561ec
Replication package for Diffbase
MARBLE_appendix.pdf
MARBLE_appendix.pdf
Aug 26, 2020 - Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems
Adobe PDF - 561.3 KB - MD5: 6e9098c1634463be20919cf4a3451b34
Additional proofs
replication-package.tar.gz
Aug 21, 2020 - Replication Data for: GenSlice: Generalized Semantic History Slicing
Gzip Archive - 22.1 MB - MD5: bad1a6b6e9e480248a69937f75e3c8ff
Replication package for GenSlice experiments
raw-results.tar
Aug 7, 2020 - Replication Data for: GenSlice: Generalized Semantic History Slicing
TAR Archive - 165.3 MB - MD5: 7daf37461207cb15da0d96121e626e0c
Raw data obtained in the GenSlice experiments
faircon_data.tar
May 27, 2020 - Replication Data for: Towards Automated Verification of Smart Contract Fairness
TAR Archive - 4.8 MB - MD5: 9c829d07a4d2a0208aa442b159087a67
Tarball containing contract code and raw console logs from the experiments.
Obtain_FairCon.md
May 27, 2020 - Replication Data for: Towards Automated Verification of Smart Contract Fairness
Markdown Text - 11.5 KB - MD5: bc233c7fde39d83eccec490a7de3ba14
Information on how to obtain FairCon.
README.md
May 27, 2020 - Replication Data for: Towards Automated Verification of Smart Contract Fairness
Markdown Text - 8.2 KB - MD5: c0a424f42840678f2362a5cf23ae6513
Information about the dataset usage.
Add Data

Log in to create a dataverse or add a dataset.

Log In
Share Dataverse

Share this dataverse on your favorite social media networks.

Link Dataverse
Reset Modifications

Are you sure you want to reset the selected metadata fields? If you do this, any customizations (hidden, required, optional) you have done will no longer appear.