Find research datasets worth reusing
Search datasets from major research repositories and use ShareScore to quickly assess how well each record supports discovery, access, and reuse.
2
datasets available to search
ShareScore release 0.9.0
Dataset results
2 results for “Compiler optimizations”
Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption
<p>The data used to generate the graphs in Figures 2 and 3 of the paper "Less is More: Exploiting the Standard Compiler Optimization Levels for Better Performance and Energy Consumption" at SCOPES'18. The data includes power consumption, code size, and running time, indexed by an ID that identifies the combination of compiler options. Data is stored in a CSV file that identifies the specific benchmark, organized into a zip file that identifies the chip architecture.</p> <p>See README.txt for details.</p>
Reproduction Package for ASE 2023 Submission `Improving Verification through Compiler Optimizations'
<p><strong>Artifact</strong></p> <p>In order to run this artifact please clone <a href="https://github.com/sosy-lab/sv-benchmarks">sv-benchmarks</a> into this folder. Afterwards you can just run the program using the running instructions down below. The results used in the paper can be found in the folder <code>transformation-for-verification-data</code>.</p> <p><strong>Setup</strong></p> <p>In order to setup this project, first initialize the submodules or clone this repository with the flag <code>--recursive</code>. Afterwards execute <code>python3 src/setup.py</code> in this directory, in order to add the required files to the submodules.</p> <p><strong>Running</strong></p> <p>In order to run this locally inside <code>./src</code></p> <pre><code>./main_bench.py --specification specification/path.prp program/to/verify.c</code></pre> <p>For example:</p> <pre><code>./main_bench.py --specification ../setup-files/test-run/unreach-call.prp ../setup-files/test-run/test_program.c </code></pre> <p>In order to execute with benchexec, execute the following insider <code>./src</code>, after adapting <code>bench.xml</code> to suit your purposes:</p> <pre><code>./benchmark_local.sh</code></pre>
ScienceDex guides
Understand access before you commit
These curated guides explain access requirements, typical timelines, costs, and reuse considerations for widely used research datasets.
Allen Brain Atlas
Allen Brain Atlas is an Allen Institute collection of brain map atlases, datasets, APIs, and analysis tools covering mouse, human, and non-human primate brain resources.
Annotated Behaviour and Observability Dataset (ABODe)
ABODe is a University of Edinburgh DataShare dataset for behavior classification in group-housed mice using home-cage video, identities, bounding boxes, ground-plate positions, and annotator labels.
DANDI Archive for NWB datasets
DANDI is a BRAIN Initiative archive for publishing and sharing neurophysiology data, including electrophysiology, optophysiology, and behavioral data packaged as NWB and related standards.
International Brain Laboratory public data
The International Brain Laboratory public data releases expose standardized mouse decision-making experiments, including Neuropixels recordings, widefield calcium imaging, behavior, and session metadata accessed through the ONE API.
OpenNeuro
OpenNeuro is a free, open platform for sharing neuroimaging datasets, with public search, dataset pages, and download paths for web, S3, DataLad, and the OpenNeuro CLI.