This is the preliminary artifact for our paper on learning to judge the validity of invariants (specifically, method pre- and post-conditions), including data, code and output...

Model-Dependent Artifacts in Long-Range Structure Determination Using Orientational Restraints Derived from NMR Relaxation

Artifact for FSE'15 paper "MemInsight: Platform-independent memory debugging for JavaScript".  For instructions on how to use, see...

A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted...

Artifact for the PLDI 2019 paper "Argosy: Verifying layered storage systems with recovery refinement". The artifact README.html are the instructions the artifact evaluation...

The artifact for Staged Abstract Interpreters (OOPSLA 2019).

A zip file containing the artifact, benchmark suites, and script for installing and reproducing results of the paper "Chain Free String Constraints" accepted at ATVA'19.

A Gradual Dependently-typed Language

A zip file containing the artifact, benchmark suites, and script for installing and reproducing the results of the paper "Chain Free String Constraints" accepted at ATVA'19.

The artifact accompanying the paper title "Cost Analysis of Nondeterministic Probabilistic Programs", appearing at the 40th ACM Conference on Programming Language...

This tarball includes the final supporting materials of the paper titled "Safecracker: Leaking Secrets through Compressed Caches" published in ASPLOS 2020.

The artifact for Staged Abstract Interpreters (OOPSLA 2019).

This is an artifact for generating the figures found in the PPoPP 2019 paper titled "A Round-Efficient Distributed Betweenness Centrality Algorithm".

This tarball includes supporting materials of the paper titled "Compress Objects, Not Cache Lines: An Object-Based Compressed Memory Hierarchy" for the Artifact Evaluation...

This is an artifact for generating the figures found in the PPoPP 2019 paper titled "A Round-Efficient Distributed Betweenness Centrality Algorithm".

This package contains all the artifacts (i.e. codes & datasets) we use in our paper "Understanding and Discovering Software Configuration Dependencies in Cloud and...

This is the artifact accompanying the POPL18 paper "RustBelt: Securing the Foundations of the Rust Programming Language". You can find the latest version of this...