Derek Sorensen. FinCert (Software, Source code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23081,
title = {{FinCert}},
author = {Sorensen, Derek},
note = {Software (visited on 2025-05-16)},
url = {https://github.com/dhsorens/FinCert/tree/FMBC-25},
doi = {10.4230/artifacts.23081},
}
Orestis Melkonian. omelkonian/hoare-ledgers (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23004,
title = {{omelkonian/hoare-ledgers}},
author = {Melkonian, Orestis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fe2bce9b8779645c5a992156ea43604432ccc496}{\texttt{swh:1:dir:fe2bce9b8779645c5a992156ea43604432ccc496}} (visited on 2025-05-16)},
url = {https://github.com/omelkonian/hoare-ledgers},
doi = {10.4230/artifacts.23004},
}
Tudor Ferariu, Philip Wadler, Orestis Melkonian. tferariu/agda2plinth (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23006,
title = {{tferariu/agda2plinth}},
author = {Ferariu, Tudor and Wadler, Philip and Melkonian, Orestis},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}{\texttt{swh:1:dir:03dd5b9f802117f3b5ccef0ed56d4214fee41238}} (visited on 2025-05-16)},
url = {https://github.com/tferariu/agda2plinth},
doi = {10.4230/artifacts.23006},
}
Martín Ceresa, César Sánchez. Fraud Proof Games (Software). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23003,
title = {{Fraud Proof Games}},
author = {Ceresa, Mart{\'\i}n and S\'{a}nchez, C\'{e}sar},
note = {Software, version 1., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:761ba38f606c1b4a0a9e202e6518d092d51ff381;origin=https://gitlab.software.imdea.org/martin.ceresa/leanfpgames;visit=swh:1:snp:fac56d84158cb280cdb40d50d82de3afae8bc491;anchor=swh:1:rev:7d12774f898db347810efdabd41c8a81b867222f}{\texttt{swh:1:dir:761ba38f606c1b4a0a9e202e6518d092d51ff381}} (visited on 2025-05-16)},
url = {https://gitlab.software.imdea.org/martin.ceresa/leanfpgames},
doi = {10.4230/artifacts.23003},
}
Orestis Melkonian, Mauro Jaskelioff. input-output-hk/formal-streamlet (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23005,
title = {{input-output-hk/formal-streamlet}},
author = {Melkonian, Orestis and Jaskelioff, Mauro},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:70b9f1e274a05bad6f0e9fd5fe4e0f70033f503f}{\texttt{swh:1:dir:70b9f1e274a05bad6f0e9fd5fe4e0f70033f503f}} (visited on 2025-05-16)},
url = {https://github.com/input-output-hk/formal-streamlet},
doi = {10.4230/artifacts.23005},
}
Nora Abdelmageed, Ernesto Jiménez-Ruiz, Oktie Hassanzadeh, Birgitta König-Ries. KG2Tables (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22938,
title = {{KG2Tables}},
author = {Abdelmageed, Nora and Jim\'{e}nez-Ruiz, Ernesto and Hassanzadeh, Oktie and K\"{o}nig-Ries, Birgitta},
note = {Software (visited on 2025-04-11)},
url = {https://github.com/fusion-jena/KG2Tables},
doi = {10.4230/artifacts.22938},
}
Magnus Mæhlum. Programming PRET machines (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-23000,
title = {{Programming PRET machines}},
author = {M{\ae}hlum, Magnus},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:8aaaf4d001e8c25c7126b4aafa70a56c9b91725c;origin=https://github.com/magnmaeh/programming-pret-machines;visit=swh:1:snp:07fbf44133f4d508d36221b26ee4e2ef90cd3593;anchor=swh:1:rev:c7ff6d9c34745f84669bee6fb16e7e54b7f798b8}{\texttt{swh:1:dir:8aaaf4d001e8c25c7126b4aafa70a56c9b91725c}} (visited on 2025-03-25)},
url = {https://github.com/magnmaeh/programming-pret-machines},
doi = {10.4230/artifacts.23000},
}
Pierre Senellart. ProvSQL (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22981,
title = {{ProvSQL}},
author = {Senellart, Pierre},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:28237b2e7a78f7ae65b0035d3bf352ce3ddd010b;origin=https://github.com/PierreSenellart/provsql;visit=swh:1:snp:5516fc852479335b8fb18c0059b1dcee8f36d78f;anchor=swh:1:rev:e4e773e3f66f0e61869ba73dab030b89f11eec79}{\texttt{swh:1:dir:28237b2e7a78f7ae65b0035d3bf352ce3ddd010b}} (visited on 2025-03-21)},
url = {https://github.com/PierreSenellart/provsql},
doi = {10.4230/artifacts.22981},
}
Marcos Rodriguez. marcosrc92/MARS-data (Dataset, Experiment results). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22756,
title = {{marcosrc92/MARS-data}},
author = {Rodriguez, Marcos},
note = {Dataset, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:0b2fbba6fbdfa60cb3d84175a2dd102bfb293ff2;origin=https://github.com/marcosrc92/MARS-data;visit=swh:1:snp:6f1643cf47dbc1506addc434ecc22f14c0730e65;anchor=swh:1:rev:6a4e0d0c5bdb8978113179478ef33cc5b9781fe9}{\texttt{swh:1:dir:0b2fbba6fbdfa60cb3d84175a2dd102bfb293ff2}} (visited on 2025-02-27)},
url = {https://github.com/marcosrc92/MARS-data},
doi = {10.4230/artifacts.22756},
}
Vittoriano Muttillo, Vincenzo Stoico. SLIDE-x (System-Level Infrastructure for HW/SW Dataset E-xtraction) (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22912,
title = {{SLIDE-x (System-Level Infrastructure for HW/SW Dataset E-xtraction)}},
author = {Muttillo, Vittoriano and Stoico, Vincenzo},
note = {Software, version 1.0., AIDOaRt grant agreement No. 10100735, MATISSE grant agreement No. 101140216, swhId: \href{https://archive.softwareheritage.org/swh:1:rev:0907cf39f7d023d0dc2e8307e1ffef6115d0377a;origin=https://github.com/hepsycode/SLIDE-x;visit=swh:1:snp:d73c612114afc6dff6a86a042fa006576440f5ec}{\texttt{swh:1:rev:0907cf39f7d023d0dc2e8307e1ffef6115d0377a}} (visited on 2025-02-27)},
url = {https://github.com/hepsycode/SLIDE-x},
doi = {10.4230/artifacts.22912},
}
Adrian Munera, Sara Royuela. GuardianOMP (Software, GuardianOMP Tool for task-based replication with OpenMP). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22922,
title = {{GuardianOMP}},
author = {Munera, Adrian and Royuela, Sara},
note = {Software, version 1.0., This software has been developed with funds from the HiPART project, with reference PID2023-148117NA-I00 and financed by MICIU/AEI /10.13039/501100011033 and FEDER, UE, and the LIONESS project, with Contract No. 4000141286/23/NL/GLC/ov under a program of, and funded by the European Space Agency. (visited on 2025-02-27)},
url = {https://anonymous.4open.science/r/GuardianOMP-4233/README.md},
doi = {10.4230/artifacts.22922},
}
Cyril Cetre, Chenle Yu, Sara Royuela. LLVM for OpenMP event-based synchronization in taskgraphs (Software, LLVM for OpenMP event-based synchronization in taskgraphs). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22923,
title = {{LLVM for OpenMP event-based synchronization in taskgraphs}},
author = {Cetre, Cyril and Yu, Chenle and Royuela, Sara},
note = {Software, version 1.0., This software has been developed with funds from the RisingStars project, under the Marie Skłodowska-Curie grant agreement No 873120 from the European Union’s Horizon 2020 research and innovation programme, and the HiPART project, with reference PID2023-148117NA-I00 and financed by MICIU/AEI /10.13039/501100011033 and FEDER, UE., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:aa51e2f008a05c550f7f0f9b2359a13165b8094a;origin=https://gitlab.bsc.es/ppc-bsc/software/llvm-taskgraph.git;visit=swh:1:snp:2d3f0c60d87275c6edf15c2e686c8f2929555057;anchor=swh:1:rev:97ab8da12f3578e7bec4d5b86517b5edcc6bb74c}{\texttt{swh:1:dir:aa51e2f008a05c550f7f0f9b2359a13165b8094a}} (visited on 2025-02-27)},
url = {https://gitlab.bsc.es/ppc-bsc/software/llvm-taskgraph/-/tree/cudaGraph_RTevent},
doi = {10.4230/artifacts.22923},
}
Adrian Munera, Guerau Dasca, Sara Royuela. LLVM for adaptive parallelism with dynamic variants (Software, LLVM for adaptive parallelism). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)
@misc{dagstuhl-artifact-22924,
title = {{LLVM for adaptive parallelism with dynamic variants}},
author = {Munera, Adrian and Dasca, Guerau and Royuela, Sara},
note = {Software, version 1.0., This software has been developed with funds from the LIONESS project, with Contract No. 4000141286/23/NL/GLC/ov under a program of, and funded by the European Space Agency, and the RisingStars project, under the Marie Skłodowska-Curie grant agreement No 873120 from the European Union’s Horizon 2020 research and innovation programme., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a43d82b3d564a56f1a25347ff9a0beec81def2d5;origin=https://gitlab.bsc.es/ppc-bsc/research/c3po2024-dynamicvariants;visit=swh:1:snp:47f4fb5cee1ee150c654a85a25beab1dde96908a;anchor=swh:1:rev:46ceb084445cd70172f08d5698b78d272873efe9}{\texttt{swh:1:dir:a43d82b3d564a56f1a25347ff9a0beec81def2d5}} (visited on 2025-02-27)},
url = {https://gitlab.bsc.es/ppc-bsc/research/c3po2024-dynamicvariants},
doi = {10.4230/artifacts.22924},
}
Arash Pourdamghani, Chen Avin, Robert Sama, Maryam Shiran, Stefan Schmid. Hash-And-Adjust (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@misc{dagpub-supp--paper-21643-urlgithub.com-inet-tub-Hash-And-Adjust,
title = {{Hash-And-Adjust}},
author = {Pourdamghani, Arash and Avin, Chen and Sama, Robert and Shiran, Maryam and Schmid, Stefan},
note = {Software, version 1.0., This project has received funding from the European Research Council (ERC) under grant agreement No. 864228 (AdjustNet), 2020-2025., swhId: \href{https://archive.softwareheritage.org/swh:1:dir:77be335343d4a118b82953ed6c1bb8a05cd91335;origin=https://github.com/inet-tub/Hash-And-Adjust;visit=swh:1:snp:92f8dea41d62b077bdfcc74688522b8f0d67d68b;anchor=swh:1:rev:d680a69b5437c59d062d532743a3385e87d0e4f7}{\texttt{swh:1:dir:77be335343d4a118b82953ed6c1bb8a05cd91335}} (visited on 2025-01-08)},
url = {https://github.com/inet-tub/Hash-And-Adjust},
doi = {10.4230/artifacts.22600},
}
Achim Reiz. neontometrics (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@misc{dagstuhl-artifact-22597,
title = {{neontometrics}},
author = {Reiz, Achim},
note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:a0a2d612a4de911f171dadcefb66dcc1c5b42bd9;origin=https://github.com/achiminator/neontometrics;visit=swh:1:snp:bef1a3e62d2cda8af8a28c03e945a5d7ea2d6826;anchor=swh:1:rev:fa616530952d419943a480719c407761ae1cc734}{\texttt{swh:1:dir:a0a2d612a4de911f171dadcefb66dcc1c5b42bd9}} (visited on 2024-12-18)},
url = {https://github.com/achiminator/neontometrics},
doi = {10.4230/artifacts.22597},
}
Feedback for Dagstuhl Publishing