Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Dataset . 2024
License: CC BY
Data sources: ZENODO
Claim

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

Research datakeyboard_double_arrow_right Dataset 02 Feb 2024Publisher:Zenodo
Authors: Zhang, Chi; Wang, Linzhang; Rigger, Manuel;

doi: 10.5281/zenodo.10609061

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

Abstract

The artifact consists of two main components: The source code of the tool Datalog Engine Optimization Tester (Deopt), which we used to find all of the bugs presented in our paper. The data and reproduce documents for the results of the evaluation in the paper.

Related Organizations
Powered by OpenAIRE graph
Found an issue? Give us feedback