Hallé, Sylvain
Tremblay, Hugo
2021-04-24
<p><a href="https://github.com/liflab/petitpoucet">Petit Poucet</a> is Java library that allows users to create function circuits over which <em>lineage queries</em> can then be addressed.</p>
<p>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.</p>
<p>The results produced by this lab are discussed in the following publication:</p>
<ul>
<li>S. Hallé, H. Tremblay. (2021). Foundations of Fine-Grained Explainability. Proceedings of the 33rd International Conference on Computer-Aided Verification (CAV 2021).</li>
</ul>
<p>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.</p>
https://doi.org/10.5281/zenodo.4717794
oai:zenodo.org:4717794
eng
Zenodo
https://doi.org/10.5281/zenodo.4717793
info:eu-repo/semantics/openAccess
Creative Commons Attribution 4.0 International
https://creativecommons.org/licenses/by/4.0/legalcode
CAV, 33rd International Conference on Computer-Aided Verification, Los Angeles, CA, USA, 18-23 July 2021
explainability
lineage
function circuits
LabPal
Computer-Aided Verification
CAV 2021
Measuring the impact of lineage tracking in the Petit Poucet library
info:eu-repo/semantics/other