Artifact for "Boosting End-to-End Database Isolation Checking via Mini-Transactions"

This repository includes the artifact for our submission #1647.

The file icde-tr.pdf contains the appendices cited in the submitted paper.

Repository Organization

|-- Data         # experimental data presented in the paper
|-- Exps         # code for experiments in the paper
|-- History      # histories and benchmarks used in our experiments
`-- Tools        # our implementations of MTC