https://github.com/hengxin/polysi-pvldb2023-artifacts

PolySI-PVLDB2023-Artifacts
https://github.com/hengxin/polysi-pvldb2023-artifacts

Last synced: 4 months ago
JSON representation

PolySI-PVLDB2023-Artifacts

• Host: GitHub
• URL: https://github.com/hengxin/polysi-pvldb2023-artifacts
• Owner: hengxin
• Created: 2023-02-12T06:54:42.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2023-07-08T01:13:19.000Z (about 2 years ago)
• Last Synced: 2025-02-25T05:27:44.124Z (7 months ago)
• Language: Java
• Size: 24.4 MB
• Stars: 3
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
This repository contains the supplementary material for our paper submission #518: **Efficient Black-box Checking of Snapshot Isolation in Databases**.

The artifact can be found in the sub-repository ```artifact```.

The ```polysi-tr.pdf``` file is the accompanying technical report.