Software Open Access

Measuring the impact of lineage tracking in the Petit Poucet library

Hallé, Sylvain; Tremblay, Hugo

Petit Poucet is Java library that allows users to create function circuits over which lineage queries can then be addressed.

This benchmark measures the impact on performance (processing time and memory) of the lineage features. It does so by evaluating various function circuits on multiple types of inputs.

The results produced by this lab are discussed in the following publication:

  • S. Hallé, H. Tremblay. (2021). Foundations of Fine-Grained Explainability. Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021).

A version of this dataset has been submitted as an artifact for the conference. It contains a virtual machine with a small Linux installation called SliTaz. Boot using the default options. Login with user "tux" and password "tux". If you ever need root access (which you shouldn't), the root password is "root". On the desktop, head for the "Documents" folder, which contains a file called Readme.txt for instructions on what to do inside the VM.

Files (206.5 MB)
Name Size
CAV21.ova
md5:78a25966ff2d417a4a08ab796063121f
206.5 MB Download
Readme.txt
md5:46f50e965e2948713b2c0f289aa7bc0f
6.3 kB Download
150
51
views
downloads
All versions This version
Views 150150
Downloads 5151
Data volume 5.4 GB5.4 GB
Unique views 140140
Unique downloads 3636

Share

Cite as