Measuring the impact of lineage tracking in the Petit Poucet library

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.