SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS)

Virtual Machine for Reproduction of Results This VM can be used for running the reproduction packages published by SoSy-Lab. Operating system Ubuntu 24.04.2 LTS with Linux kernel 6.8.0-57-generic Resource Configurations By default, this VM uses 6 CPU cores and 18000 MB of memory. If the resource requirements are too high, please adjust the configurations manually. Installed Software Packages The following softwares have been installed in this VM: GCC 13.3.0 Clang 18.1.3 Python 3.12.3 OpenJDK Runtime Environment 11.0.26, 17.0.14, and 21.0.6 BenchExec 3.29 To see the full list of installed packages, please open the README file in the archive.

Authors

Institutions

Publication Details

Journal
Zenodo (CERN European Organization for Nuclear Research)
Published
2025-04-14
DOI
https://doi.org/10.5281/zenodo.1158641
Primary Topic
Distributed and Parallel Computing Systems
Type
article
Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS)

Dirk Beyer, Thomas R. Lemberger
Zenodo (CERN European Organization for Nuclear Research)
Distributed and Parallel Computing Systems
article

SoSy-Lab Virtual Machine (Ubuntu 24.04 LTS)

Dirk Beyer, Thomas R. Lemberger
article en

Abstract

Virtual Machine for Reproduction of Results This VM can be used for running the reproduction packages published by SoSy-Lab. Operating system Ubuntu 24.04.2 LTS with Linux kernel 6.8.0-57-generic Resource Configurations By default, this VM uses 6 CPU cores and 18000 MB of memory. If the resource requirements are too high, please adjust the configurations manually. Installed Software Packages The following softwares have been installed in this VM: GCC 13.3.0 Clang 18.1.3 Python 3.12.3 OpenJDK Runtime Environment 11.0.26, 17.0.14, and 21.0.6 BenchExec 3.29 To see the full list of installed packages, please open the README file in the archive.

Zenodo (CERN European Organization for Nuclear Research)
LMU Klinikum (DE), Ludwig-Maximilians-Universität München (DE)
Distributed and Parallel Computing Systems
DOIOpen Access PDFOpenAlex
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.