Password required
The library is open to reviewers only for the time being. Please enter the password you were given.
The library is open to reviewers only for the time being. Please enter the password you were given.
Information provided according to §5 German Telemedia Act (TMG)
University of Bremen
Faculty 3
Group of Computer Architecture (AGRA)
Bibliothekstr. 5
28359 Bremen
Germany
drechsler@uni-bremen.de
qialiu@uni-bremen.de
Prof. Dr. Rolf Drechsler
Qian Liu
This website and the associated tools are provided exclusively for academic research and educational purposes. The benchmark specifications, generated source code and verification artifacts are experimental in nature and are provided without any warranty. They must not be used in safety-critical or production environments without independent verification and validation.
Unless stated otherwise, all benchmark files in the library are published under the Creative Commons Attribution 4.0 International (CC BY 4.0) license. Attribution is given by citing the associated publication.
As a service provider, we are responsible for our own content on these pages in accordance with general laws (§7(1) TMG). However, according to §§8–10 TMG, we are not obliged to monitor transmitted or stored third-party information or to investigate circumstances that indicate illegal activity. Liability is only possible from the time of knowledge of a concrete infringement. Upon becoming aware of such violations, we will remove the affected content immediately.
This website contains links to external third-party platforms (GitHub, arXiv, publisher pages), over whose content we have no control. The respective platform operators are solely responsible for the content of the linked pages.
Browsing and downloading from this website does not require an account and no tracking or analytics services are employed. Submitting a benchmark stores the name, e-mail address and affiliation you enter, solely to attribute and review the submission. A technically necessary session cookie is set only when signing in to protected areas. External fonts and icon scripts are loaded from Google Fonts and jsDelivr.