Repository Overview

This repository includes five parts:

1. ./Technical-Report.pdf is the technical report of our paper.
2. ./Bug-List.pdf is the bug list we found.
3. ./IL-Description.pdf describes the definition and implementation of isolation levels in popular commercial DBMSs.
4. ./Online Leopard Service contains the link and guideline for Leopard online service.
5. ./Bug Reporducer contains the detailed reproduce step for several bugs.