Software Open Access

Replication package for "ANOSY: Approximated Knowledge Synthesis with Refinement Types for Declassification"

Guria, Sankha Narayan; Vazou, Niki; Guarnieri, Marco; Parker, James

The artifact is a Docker image that contains all of the source code, benchmarks, and experiment harnesses used in the development of the paper (set-up and ready to run). The README contains instructions to reproduce results from the paper, as well as pointers for how to use, extend or modify the tool and benchmarks.

Files (823.2 kB)
Name Size
556.zip
md5:3e4b7603308ce876c48e3c938d95e5f7 		823.2 kB Download
162
29
views
downloads
All versions This version
Views 16245
Downloads 298
Data volume 25.3 MB6.6 MB
Unique views 12137
Unique downloads 267
More info on how stats are collected.
Indexed in
Publication date:
March 4, 2022
DOI:
10.5281/zenodo.6412048

Zenodo DOI Badge

DOI 

10.5281/zenodo.6412048

Markdown 

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

reStructedText 

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

HTML 

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

Image URL 

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

Target URL 

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

License (for files):
Creative Commons Attribution 4.0 International

Versions

Version 1.0 10.5281/zenodo.6412048 Mar 4, 2022
Version 1.0 10.5281/zenodo.6400168 Mar 4, 2022
Version 1.0 10.5281/zenodo.6395330 Mar 4, 2022
Version 1.0 10.5281/zenodo.6330070 Mar 4, 2022
Cite all versions? You can cite all versions by using the DOI 10.5281/zenodo.6330069. This DOI represents all versions, and will always resolve to the latest one. Read more.

Share

Cite as

Export