Supplementary Materials

Abstract

Cite as

Maxence Perion. maxper4/fair-wait-free-replicated-data-types-experiments (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27710,
   title = {{maxper4/fair-wait-free-replicated-data-types-experiments}}, 
   author = {Perion, Maxence},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:7f5598679623666993670564cc449edd0b4f97c0;origin=https://github.com/maxper4/fair-wait-free-replicated-data-types-experiments;visit=swh:1:snp:eb182b0c08205dab39b3b05d721e47cd2addf120;anchor=swh:1:rev:e1257a4b09ac88a9bb350844995e1afde3386d0e}{\texttt{swh:1:dir:7f5598679623666993670564cc449edd0b4f97c0}} (visited on 2026-11-02)},
   url = {https://github.com/maxper4/fair-wait-free-replicated-data-types-experiments/tree/docker-experiments},
   doi = {10.4230/artifacts.27710},
}

Abstract

Cite as

Arnab Mallick. Arnab-m1/Fair-Binding-for-Hidden-State-Authorization (Software, Lean 4 formalization). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27690,
   title = {{Arnab-m1/Fair-Binding-for-Hidden-State-Authorization}}, 
   author = {Mallick, Arnab},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:5072973aa3f5f05bbf691d42e9c6a87c3b3a11c9;origin=https://github.com/Arnab-m1/Fair-Binding-for-Hidden-State-Authorization;visit=swh:1:snp:9e2f99593aea72989e707a38eda4b9ea0cebc06c;anchor=swh:1:rev:71146fa405eca4641f660bd780bd4b2bb782543a}{\texttt{swh:1:dir:5072973aa3f5f05bbf691d42e9c6a87c3b3a11c9}} (visited on 2026-11-02)},
   url = {https://github.com/Arnab-m1/Fair-Binding-for-Hidden-State-Authorization},
   doi = {10.4230/artifacts.27690},
}

Abstract

Cite as

Ajdin Sumic, Noëlie Ramuzat. Multi-agent Path Finding with Tasks under Time Uncertainty (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27850,
   title = {{Multi-agent Path Finding with Tasks under Time Uncertainty}}, 
   author = {Sumic, Ajdin and Ramuzat, No\"{e}lie},
   note = {Software, version 1.0., ANR-23-DMRO-0006, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:b90831099c338304e218af5159b6add58ed219b1;origin=https://github.com/ajdin14200/MAPF_TTU_TIME;visit=swh:1:snp:37ad480d96968340182c263c9bb0f6da6b0ffc97;anchor=swh:1:rev:10cc58ec7e0ce78479089eaaf8a19c1ad2fa7b7f}{\texttt{swh:1:dir:b90831099c338304e218af5159b6add58ed219b1}} (visited on 2026-10-10)},
   url = {https://github.com/ajdin14200/MAPF_TTU_TIME},
   doi = {10.4230/artifacts.27850},
}

Abstract

Cite as

Xingcheng Chen, Mehmet Besenk, Andrea Stocco. Lexcheck (Software, Source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27688,
   title = {{Lexcheck}}, 
   author = {Chen, Xingcheng and Besenk, Mehmet and Stocco, Andrea},
   note = {Software, version 1.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:51739312cee13103280550edf2c8590475ed093d;origin=https://github.com/ast-fortiss-tum/lexcheck;visit=swh:1:snp:5175c5a7ec246f8653cb207867ddfba87ec01b71;anchor=swh:1:rev:2ca2bf4390e6c3de921d9f5e23d896144e4c9aeb}{\texttt{swh:1:dir:51739312cee13103280550edf2c8590475ed093d}} (visited on 2026-10-05)},
   url = {https://github.com/ast-fortiss-tum/lexcheck},
   doi = {10.4230/artifacts.27688},
}

Abstract

Cite as

Lukas Boschanski, Marco Vieira. CI/CD Security Best Practices and GitHub Actions Documentation (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27689,
   title = {{CI/CD Security Best Practices and GitHub Actions Documentation}}, 
   author = {Boschanski, Lukas and Vieira, Marco},
   note = {Software (visited on 2026-10-05)},
   url = {https://github.com/bluuuk/gh-cicd-sbp-docs},
   doi = {10.4230/artifacts.27689},
}

Abstract

Cite as

Hasen Özaytürk, Feza Buzluca. PASC — Peer-Aware Action-Space Coordination (Software, Development Repository). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-28067,
   title = {{PASC — Peer-Aware Action-Space Coordination}}, 
   author = {\"{O}zayt\"{u}rk, Hasen and Buzluca, Feza},
   note = {Software, version 1.0.0., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:f44739f72961a5fb3ed2c5f4c8b2d88faf946f81;origin=https://github.com/hasenoz/PASC;visit=swh:1:snp:2bbf9f3eaf7f28098289c82c88c383f7303c6004;anchor=swh:1:rev:ae1ee633e91cdf3716bb6bfc809a54df0977486e}{\texttt{swh:1:dir:f44739f72961a5fb3ed2c5f4c8b2d88faf946f81}} (visited on 2026-10-05)},
   url = {https://github.com/hasenoz/PASC},
   doi = {10.4230/artifacts.28067},
}

Abstract

Cite as

Mussammat Maimuna Faria, Mashiat Amin Farin, Yasin Sazid, Ahmedul Kabir. mashiat0808/State_Transition_Diagram_LLM_workflow (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-28071,
   title = {{mashiat0808/State\underlineTransition\underlineDiagram\underlineLLM\underlineworkflow}}, 
   author = {Faria, Mussammat Maimuna and Farin, Mashiat Amin and Sazid, Yasin and Kabir, Ahmedul},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:eb2ad1f0b722352d509a2d8d84762ee769daaa89;origin=https://github.com/mashiat0808/State_Transition_Diagram_LLM_workflow;visit=swh:1:snp:02ddfb98b122ab8ab39994432638150ac446c30a;anchor=swh:1:rev:f77ad234e2c6e84da3299b86f9fc56c1b5f04185}{\texttt{swh:1:dir:eb2ad1f0b722352d509a2d8d84762ee769daaa89}} (visited on 2026-10-05)},
   url = {https://github.com/mashiat0808/State_Transition_Diagram_LLM_workflow},
   doi = {10.4230/artifacts.28071},
}

Abstract

Cite as

Syed Fakhar Abbas Naqvi, Hina Anwar. Benchmarking Performance and Sustainability Trade-Offs in LLMs for Python Bug-Fixing Tasks (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-28073,
   title = {{Benchmarking Performance and Sustainability Trade-Offs in LLMs for Python Bug-Fixing Tasks}}, 
   author = {Naqvi, Syed Fakhar Abbas and Anwar, Hina},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:e2f5ea38e5e8b633db8ef0baf818d58b194468a9;origin=https://github.com/syedfakhar25/empirical-llm-bugfix-benchmark;visit=swh:1:snp:30dfb758d4b717c0deb55403872688c9af37f075;anchor=swh:1:rev:e3cc68f625c69eacd334437f1c9c1343aae6b348}{\texttt{swh:1:dir:e2f5ea38e5e8b633db8ef0baf818d58b194468a9}} (visited on 2026-10-05)},
   url = {https://github.com/syedfakhar25/empirical-llm-bugfix-benchmark/tree/main},
   doi = {10.4230/artifacts.28073},
}

Abstract

Cite as

@misc{dagpub-supp--paper-26313-urlgithub.com-cjhCoder7-CangjieBench,
   title = {{cjhCoder7/CangjieBench}}, 
   author = {Cheng, Junhang},
   note = {Software, This research is supported by the National Natural Science Foundation of China (Grant No.\ 62302021), the State Key Laboratory of Complex \& Critical Software Environment (Grant No.\ CCSE2025ZX-09), and the Fundamental Research Funds for the Central Universities. (visited on 2026-10-05)},
   url = {https://github.com/cjhCoder7/CangjieBench},
}

Abstract

Cite as

Stefan Engels, Robert Wille. Munich Train Control Toolkit (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-28078,
   title = {{Munich Train Control Toolkit}}, 
   author = {Engels, Stefan and Wille, Robert},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2ffb77c8877a842cbc78f45016d4270dd5aeff5d;origin=https://github.com/cda-tum/mtct;visit=swh:1:snp:20caba49d2004e5ecbab4573f4d4db7b8cd312aa;anchor=swh:1:rev:5b921c9a6e5b1cfc757726d8694fb5f2d0b68bf5}{\texttt{swh:1:dir:2ffb77c8877a842cbc78f45016d4270dd5aeff5d}} (visited on 2026-10-02)},
   url = {https://github.com/cda-tum/mtct},
   doi = {10.4230/artifacts.28078},
}

Abstract

Cite as

Bernardo David, Dimitris Karakostas. StakeNote (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27543,
   title = {{StakeNote}}, 
   author = {David, Bernardo and Karakostas, Dimitris},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2ee7704e94b9fa3526b672fabc2b7cc381af6830;origin=https://github.com/commonprefix/stakenote;visit=swh:1:snp:ca71b6e0e2c822a67d4b82fd21131abf4f65b2d0;anchor=swh:1:rev:456c0b56ca9c43218f88e554ac56bbd9d0a7c243}{\texttt{swh:1:dir:2ee7704e94b9fa3526b672fabc2b7cc381af6830}} (visited on 2026-10-02)},
   url = {https://github.com/commonprefix/stakenote},
   doi = {10.4230/artifacts.27543},
}

Abstract

Cite as

Dimitris Karakostas. commonprefix/proportional-reward-splitting-MDP (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{evalrepo,
   title = {{commonprefix/proportional-reward-splitting-MDP}}, 
   author = {Karakostas, Dimitris},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:4a244dd0f68a10c4abb1fa0bf218527ba36dd085;origin=https://github.com/commonprefix/proportional-reward-splitting-MDP;visit=swh:1:snp:a0413a5ae0edfe07508e8ac0499765717efbc483;anchor=swh:1:rev:a2b845a119942b5960e523f3200d5c32003d3f39}{\texttt{swh:1:dir:4a244dd0f68a10c4abb1fa0bf218527ba36dd085}} (visited on 2026-10-02)},
   url = {https://github.com/commonprefix/proportional-reward-splitting-MDP},
   doi = {10.4230/artifacts.27946},
}

Abstract

Cite as

Colin Finkbeiner, Connor Shaw, Ghada Almashaqbeh. CSSL-UConn/temp-sim (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27966,
   title = {{CSSL-UConn/temp-sim}}, 
   author = {Finkbeiner, Colin and Shaw, Connor and Almashaqbeh, Ghada},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:71dbe9c9ecdc32669573f00c1ef9950caad6bd2f;origin=https://github.com/CSSL-UConn/temp-sim;visit=swh:1:snp:73a02f02d4fcbcd3568ff71628d19ea2a776c428;anchor=swh:1:rev:b25e8e2e602772a0285b908eb195432747eb0ce1}{\texttt{swh:1:dir:71dbe9c9ecdc32669573f00c1ef9950caad6bd2f}} (visited on 2026-10-02)},
   url = {https://github.com/CSSL-UConn/temp-sim},
   doi = {10.4230/artifacts.27966},
}

Abstract

Cite as

Francisco Javier Becerra Sanchez, Antonio Ken Iannillo, Radu State. Reproducibility Package: SoK Cryptographic Key Recovery for Cryptoasset Custody and Financial Technologies (Collection, Reproducibility Package). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-27945,
   title = {{Reproducibility Package: SoK Cryptographic Key Recovery for Cryptoasset Custody and Financial Technologies}}, 
   author = {Sanchez, Francisco Javier Becerra and Iannillo, Antonio Ken and State, Radu},
   note = {Collection, version aft-2026-artifacts. (visited on 2026-10-02)},
   url = {https://github.com/franciscobecerra97/Cryptographic-Key-Recovery-for-Financial-Technologies/tree/aft-2026-artifacts},
   doi = {10.4230/artifacts.27945},
}

Abstract

Cite as

Woncheol Jeong, Sohee Choi, Jiwon Yoon. Bots-in-Web3-P2E-Games/Dataset-for-Detecting-Bots-in-Web3-P2E-Games (Dataset). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-28075,
   title = {{Bots-in-Web3-P2E-Games/Dataset-for-Detecting-Bots-in-Web3-P2E-Games}}, 
   author = {Jeong, Woncheol and Choi, Sohee and Yoon, Jiwon},
   note = {Dataset, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2eef651a0c2d25b011e0754a2f62e4784d985072;origin=https://github.com/WONCHEOL-JEONG/Dataset-for-Detecting-Bots-in-Web3-P2E-Games;visit=swh:1:snp:8051734db6c73874cc258efc40a76fa617a45ff8;anchor=swh:1:rev:5b17a2983ebb5506283420e69ee597792862c145}{\texttt{swh:1:dir:2eef651a0c2d25b011e0754a2f62e4784d985072}} (visited on 2026-10-02)},
   url = {https://github.com/WONCHEOL-JEONG/Dataset-for-Detecting-Bots-in-Web3-P2E-Games.git},
   doi = {10.4230/artifacts.28075},
}