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.
| Name | Size | |
|---|---|---|
|
CAV21.ova
md5:78a25966ff2d417a4a08ab796063121f |
206.5 MB | Download |
|
Readme.txt
md5:46f50e965e2948713b2c0f289aa7bc0f |
6.3 kB | Download |
| All versions | This version | |
|---|---|---|
| Views | 150 | 150 |
| Downloads | 51 | 51 |
| Data volume | 5.4 GB | 5.4 GB |
| Unique views | 140 | 140 |
| Unique downloads | 36 | 36 |
- Publication date:
- April 24, 2021
- DOI:
-
- Keyword(s):
- explainability lineage function circuits LabPal Computer-Aided Verification CAV 2021
- Meeting:
- 33rd International Conference on Computer-Aided Verification (CAV), Los Angeles, CA, USA, 18-23 July 2021
- License (for files):
- Creative Commons Attribution 4.0 International