Artifact Reuseable Batch

ATLAS Receives Available and Reusable Badges

Following the accep­tance of our paper “Auto­mated Amor­tised Anal­ysis of Skew Heaps and Leftist Heaps” @ CAV 2026, we are pleased to announce that our arti­fact has success­fully passed the confer­ence’s Arti­fact Eval­u­a­tion process and has been awarded both the Avail­able and Reusable badges.

The Artifact Evaluation Committee independently validated our results across multiple environments and successfully reproduced the experimental results reported in the paper.

The awarded badges reflect two key aspects of scientific software:

  • Available: The artifact is publicly accessible and properly archived
  • Reusable: The artifact is sufficiently documented and structured to support reuse by the research community

This achievement demonstrates that our extension of ATLAS provides not only strong theoretical advances, but also a practical and reproducible framework for analysing sophisticated functional data structures such as skew heaps and leftist heaps.

Our artifact is publicly available here: https://doi.org/10.5281/zenodo.20033832

This is joint work with and Berry Schoenmakers (TU Eindhoven) and Florian Zuleger (TU Wien)

Nach oben scrollen