Supplementary Materials

Abstract

Cite as

Mario Hernandez Vera, Marco De Pascale. QCT-UEA-management/quake2iree (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25678,
   title = {{QCT-UEA-management/quake2iree}}, 
   author = {Hernandez Vera, Mario and De Pascale, Marco},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:snp:c7b8f26bbeb0273ac7e029a8bba5845db219bdec}{\texttt{swh:1:snp:c7b8f26bbeb0273ac7e029a8bba5845db219bdec}} (visited on 2026-04-10)},
   url = {https://github.com/QCT-UEA-management/quake2iree.git},
   doi = {10.4230/artifacts.25678},
}

Abstract

Cite as

Aggelos Ferikoglou. FPGAScheduler (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25581,
   title = {{FPGAScheduler}}, 
   author = {Ferikoglou, Aggelos},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2941cf80f4a5b396622da5ebb3f1fb76ffae7b8b;origin=https://github.com/aferikoglou/FPGAScheduler;visit=swh:1:snp:901fb2866292917bb3ed2a4e9973317816eb0787;anchor=swh:1:rev:a7ed7d4ed62bc17fd412752ec49f59cf8f313499}{\texttt{swh:1:dir:2941cf80f4a5b396622da5ebb3f1fb76ffae7b8b}} (visited on 2026-04-10)},
   url = {https://github.com/aferikoglou/FPGAScheduler},
   doi = {10.4230/artifacts.25581},
}

Abstract

Cite as

Tim Lühnen. Tim453/ClusterSim (Software, Source-Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25679,
   title = {{Tim453/ClusterSim}}, 
   author = {L\"{u}hnen, Tim},
   note = {Software (visited on 2026-04-10)},
   url = {https://github.com/Tim453/ClusterSim},
   doi = {10.4230/artifacts.25679},
}

Abstract

Cite as

Victor Charpenay. KGE Cost Experiments (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25692,
   title = {{KGE Cost Experiments}}, 
   author = {Charpenay, Victor},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:29d727e535031eca0583c489c67c47d0b9165d30;origin=https://gitlab.emse.fr/victor.charpenay1/kge-cost-experiments;visit=swh:1:snp:c8388f6f679bddfb1ebaa3f0013ded7072a99c93;anchor=swh:1:rev:16373475e7df75ff036ff884ef6902e9fa716722}{\texttt{swh:1:dir:29d727e535031eca0583c489c67c47d0b9165d30}} (visited on 2026-03-31)},
   url = {https://gitlab.emse.fr/victor.charpenay1/kge-cost-experiments/},
   doi = {10.4230/artifacts.25692},
}

Abstract

Cite as

Om Chabra, Chenning Li, Kevin Hsieh, Santiago Segarra, Behnaz Arzani, Peder Olsen, Ranveer Chandra. Github Repository (Software, Github Repository). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25662,
   title = {{Github Repository }}, 
   author = {Chabra, Om and Li, Chenning and Hsieh, Kevin and Segarra, Santiago and Arzani, Behnaz and Olsen, Peder and Chandra, Ranveer},
   note = {Software (visited on 2026-03-19)},
   url = {https://github.com/microsoft/OrbitalBrain},
   doi = {10.4230/artifacts.25662},
}

Abstract

Cite as

Sarah McClure. NS3 Signal Evaluator (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25654,
   title = {{NS3 Signal Evaluator}}, 
   author = {McClure, Sarah},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fc080aee928071038065de4694f93b62a63ae4dd;origin=https://github.com/smcclure20/ns3-signal-eval;visit=swh:1:snp:fceaff0c2e090131dd366792b545274b1ad1adf9;anchor=swh:1:rev:b38f7aecd02255913304c1d0aeba971dd0cb6a90}{\texttt{swh:1:dir:fc080aee928071038065de4694f93b62a63ae4dd}} (visited on 2026-03-19)},
   url = {https://github.com/smcclure20/ns3-signal-eval},
   doi = {10.4230/artifacts.25654},
}

Abstract

Cite as

Sarah McClure. R+ (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25655,
   title = {{R+}}, 
   author = {McClure, Sarah},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a5c88b162f25c0ed8a252f46ccd54d861985e649;origin=https://github.com/smcclure20/rplus;visit=swh:1:snp:f9163c028d3c69d6809580ab19e0555e3f493ff6;anchor=swh:1:rev:997749d2d30c62e63a603b290673c2d1efb730b7}{\texttt{swh:1:dir:a5c88b162f25c0ed8a252f46ccd54d861985e649}} (visited on 2026-03-19)},
   url = {https://github.com/smcclure20/rplus},
   doi = {10.4230/artifacts.25655},
}

Abstract

Cite as

Satadal Sengupta, Hyojoon Kim, Daniel Jubas, Maria Apostolaki, Jennifer Rexford. Princeton-Cabernet/HiDe (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25664,
   title = {{Princeton-Cabernet/HiDe}}, 
   author = {Sengupta, Satadal and Kim, Hyojoon and Jubas, Daniel and Apostolaki, Maria and Rexford, Jennifer},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:2272463d8c80928885444045fff64939993e666b;origin=https://github.com/Princeton-Cabernet/HiDe;visit=swh:1:snp:6680b9886002b652616c1a164764698587d55ecb;anchor=swh:1:rev:cfeef031c43905c5a00e598d02fbdaf81ea44dcd}{\texttt{swh:1:dir:2272463d8c80928885444045fff64939993e666b}} (visited on 2026-03-19)},
   url = {https://github.com/Princeton-Cabernet/HiDe},
   doi = {10.4230/artifacts.25664},
}

Abstract

Cite as

Humza Ikram, Rumaisa Habib, Muaz Ali, Zartash Afzal Uzmi. RumaisaHabib/vaultor (Software, Prototype). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25656,
   title = {{RumaisaHabib/vaultor}}, 
   author = {Ikram, Humza and Habib, Rumaisa and Ali, Muaz and Uzmi, Zartash Afzal},
   note = {Software (visited on 2026-03-19)},
   url = {https://github.com/RumaisaHabib/vaultor},
   doi = {10.4230/artifacts.25656},
}

Abstract

Cite as

Peter Schafhalter, Alexander Krentsel, Hongbo Wei, Joseph E. Gonzalez, Sylvia Ratnasamy, Scott Shenker, Ion Stoica. TURBO Control System for Utility-Aware Bandwidth Allocation (Software, Source code for the TURBO system.). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25657,
   title = {{TURBO Control System for Utility-Aware Bandwidth Allocation}}, 
   author = {Schafhalter, Peter and Krentsel, Alexander and Wei, Hongbo and Gonzalez, Joseph E. and Ratnasamy, Sylvia and Shenker, Scott and Stoica, Ion},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:099f3210e32198a611ad3063b61473610f373687;origin=https://www.github.com/NetSys/turbo;visit=swh:1:snp:74e95745483a7476e7f2da1ed7eca5a5daf84b71;anchor=swh:1:rev:6e81bb88b6da48fe6b244a8725ac3b6b552bd537}{\texttt{swh:1:dir:099f3210e32198a611ad3063b61473610f373687}} (visited on 2026-03-19)},
   url = {https://www.github.com/NetSys/turbo},
   doi = {10.4230/artifacts.25657},
}

Abstract

Cite as

Hadar Rotschield, Liat Peterfreund. Order-Constrained-Paths-in-Leveled-Graphs (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25284,
   title = {{Order-Constrained-Paths-in-Leveled-Graphs}}, 
   author = {Rotschield, Hadar and Peterfreund, Liat},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:30effa7157a9e9bbf79b73b574a5189d5b5abef4;origin=https://github.com/hadarrot/Order-Constrained-Paths-in-Leveled-Graphs;visit=swh:1:snp:1120381b15e914372a36ff8bda26c5bbe906d092;anchor=swh:1:rev:75ee488b368e427fa88701c8b139104753fbeb25}{\texttt{swh:1:dir:30effa7157a9e9bbf79b73b574a5189d5b5abef4}} (visited on 2026-03-18)},
   url = {https://github.com/hadarrot/Order-Constrained-Paths-in-Leveled-Graphs},
   doi = {10.4230/artifacts.25284},
}

Abstract

Cite as

Federico Terraneo. Miosix (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25582,
   title = {{Miosix}}, 
   author = {Terraneo, Federico},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8104ca885b935dab2efb9b52c0eb0339f022d668;origin=https://github.com/fedetft/miosix-kernel;visit=swh:1:snp:81aea1b096d54584aa2c03f8f479e0e83dc88ab8;anchor=swh:1:rev:54844b8da984b2e70a1850bb487e02ac036b221f}{\texttt{swh:1:dir:8104ca885b935dab2efb9b52c0eb0339f022d668}} (visited on 2026-03-10)},
   url = {https://github.com/fedetft/miosix-kernel.git},
   doi = {10.4230/artifacts.25582},
}

Abstract

Cite as

Qipeng Kuang. l2l7l9p/Polynomials-for-WFOMC (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25483,
   title = {{l2l7l9p/Polynomials-for-WFOMC}}, 
   author = {Kuang, Qipeng},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:e82fa8e26998cfb9e25e723b2c1182f17a82276e;origin=https://github.com/l2l7l9p/Polynomials-for-WFOMC;visit=swh:1:snp:c93a1d1b89d04f98bc8bac6988a75fd140eb9ad0;anchor=swh:1:rev:e474a633cb4a55ef35e7aaf70df4d765cfbef02d}{\texttt{swh:1:dir:e82fa8e26998cfb9e25e723b2c1182f17a82276e}} (visited on 2026-02-18)},
   url = {https://github.com/l2l7l9p/Polynomials-for-WFOMC},
   doi = {10.4230/artifacts.25483},
}

Abstract

Cite as

Perry Hart. PHart3/colimits-agda (Software, Agda). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{2cohagda-pub,
   title = {{PHart3/colimits-agda}}, 
   author = {Hart, Perry},
   note = {Software (visited on 2026-02-18)},
   url = {https://github.com/PHart3/colimits-agda/tree/lapc},
   doi = {10.4230/artifacts.25210},
}

Abstract

Cite as

Antonella Bilotta, Marco Maggesi, Cosimo Perini Brogi. HOLMS: A HOL Light Library for Modal Systems (Software, Source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2026)

@misc{dagstuhl-artifact-25484,
   title = {{HOLMS: A HOL Light Library for Modal Systems}}, 
   author = {Bilotta, Antonella and Maggesi, Marco and Perini Brogi, Cosimo},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:36edca29f53f3fdd0a7fc675702990743eda4c8d}{\texttt{swh:1:dir:36edca29f53f3fdd0a7fc675702990743eda4c8d}} (visited on 2026-02-18)},
   url = {https://github.com/HOLMS-lib/HOLMS},
   doi = {10.4230/artifacts.25484},
}