Publication date
February 2023
DOIAbstract
This is the 2017 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects in this collection for documentation and scripting support
This is the 2017 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects in this collection for documentation and scripting support
Full benchmark set of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Licenses are ...
This archive contains: directory benchmarks (cf. benchmarks/README.md): contains the benchmark ...
Datasets for the benchmarks performed on the reduce_basis function of the arby project https://arby....
This is the 2021 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is the 2020 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is the 2022 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is a supporting code artifact for the publication: "CompilerGym: Robust, Performant Compiler Op...
This deposit contains benchmarks used for evaluation of Baital tool https://github.com/meelgroup/bai...
The Renaissance Benchmark Suite is an open source collaborative benchmark project where the communit...
Benchmark results for the SPEC CPU 2017 benchmark suite with the full power and temperature data. Da...
This is the main directory for the 2D Hubbard benchmark data. Please see the README file for the fu...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
Full benchmark set of the 10th Intl. Competition on Software Verification (SV-COMP 2021). Licenses ...
This is the dataset of paper "Benchmarking Label Dynamics of VirusTotal Engines" in CCS 2020. Pleas...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
Full benchmark set of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Licenses are ...
This archive contains: directory benchmarks (cf. benchmarks/README.md): contains the benchmark ...
Datasets for the benchmarks performed on the reduce_basis function of the arby project https://arby....
This is the 2021 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is the 2020 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is the 2022 fragment of the GraalVM Compiler Benchmark Results Dataset. Check the other objects...
This is a supporting code artifact for the publication: "CompilerGym: Robust, Performant Compiler Op...
This deposit contains benchmarks used for evaluation of Baital tool https://github.com/meelgroup/bai...
The Renaissance Benchmark Suite is an open source collaborative benchmark project where the communit...
Benchmark results for the SPEC CPU 2017 benchmark suite with the full power and temperature data. Da...
This is the main directory for the 2D Hubbard benchmark data. Please see the README file for the fu...
Full benchmark set of the 9th Intl. Competition on Software Verification (SV-COMP 2020). Licenses a...
Full benchmark set of the 10th Intl. Competition on Software Verification (SV-COMP 2021). Licenses ...
This is the dataset of paper "Benchmarking Label Dynamics of VirusTotal Engines" in CCS 2020. Pleas...
This report documents the Dagstuhl Seminar 17502 "Testing and Verification of Compilers" that took p...
Full benchmark set of the 3rd Intl. Competition on Software Testing (Test-Comp 2021). Licenses are ...
This archive contains: directory benchmarks (cf. benchmarks/README.md): contains the benchmark ...
Datasets for the benchmarks performed on the reduce_basis function of the arby project https://arby....
Add to ORKG