Das Artifact Evaluation Committee hat unsere Ergebnisse unabhängig auf mehreren Umgebungen validiert und die im Paper berichteten experimentellen Resultate erfolgreich reproduziert.
Die verliehenen Badges stehen für zwei zentrale Aspekte wissenschaftlicher Software:
- Available: Das Artefakt ist öffentlich zugänglich und dauerhaft archiviert
- Reusable: Das Artefakt ist ausreichend dokumentiert und strukturiert, um von der Forschungsgemeinschaft wiederverwendet werden zu können
Diese Auszeichnungen zeigen, dass unsere Erweiterung von ATLAS nicht nur bedeutende theoretische Fortschritte liefert, sondern zugleich ein praktisches und reproduzierbares Framework zur Analyse anspruchsvoller funktionaler Datenstrukturen wie Skew Heaps und Leftist Heaps bereitstellt.
Unser Artefakt ist öffentlich verfügbar: https://doi.org/10.5281/zenodo.20033832
Diese Arbeit entstand in Zusammenarbeit mit Berry Schoenmakers (TU Eindhoven) und Florian Zuleger (TU Wien).