Published February 2, 2024 | Version v1
Dataset Open

Artifact for "Finding Cross-rule Optimization Bugs in Datalog Engines"

Creators

  • 1. ROR icon Nanjing University
  • 2. ROR icon National University of Singapore

Description

The artifact consists of two main components:

  1. The source code of the tool Datalog Engine Optimization Tester (Deopt), which we used to find all of the bugs presented in our paper.

  2. The data and reproduce documents for the results of the evaluation in the paper.

Files

Deopt.zip

Files (748.0 kB)

Name Size Download all
md5:9e86034ca83a662ac5622a1a826c0ca0
748.0 kB Preview Download