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

Share

Cite as