-
Notifications
You must be signed in to change notification settings - Fork 131
Recent News
ROSE team member Markus Schordan captures first place in the ranking-based categories Sequential Reachability and Sequential LTL (Linear Temporal Logic) in the RERS Challenge (Rigorous Examination of Reactive Systems) with the ROSE software verification tool CodeThorn.This international competition pits teams against each other to find errors in large C applications (up to 1M LOC). Congratulations to Markus Schordan for winning in the RERS Challenge 2019. RERS was one of 16 competitions in the TOOLympics at TACAS 2019 in Prague, Czech Republic.
3/11/2018 – ROSE follow on funding awarded for Strategic Partnership Program (SPP) for source and binary Program Analysis
8/8/2017 – ROSE chosen for Environmental Security Technology Certification Program (ESTCP)
7/12/2017 – ROSE Based Code Thorn tool garners first place again at Rigorous Examination of Reactive Systems (RERS) Challenge
5/1/2017 – ROSE named part of the Exascale Computing Project (ECP) team
ROSE is widely used by industry, government, academia, and within U.S. Department of Energy (DOE) national labs.
Specifically, ROSE has been used for research work on large-scale DOE applications, and because of this, recent work has focused on making ROSE suitable for production-level use as a result of work for ASC at LLNL. Current development work includes production-level software development practices: project management and issue/bug tracking with Atlassian JIRA, multiple levels of software releases, static analysis of the full ROSE code base, testing of thousands of ROSE configurations every week at LLNL and on the Amazon cloud (AWS), many tens of thousands of regression tests, and much more. Moreover, the ROSE team has a 13-year history of releasing ROSE for external use within DOE, and a 9-year history of releasing ROSE on the Web.
ROSE continues to gear up with best practice software engineering and quality assurance practices to ensure a high-quality software that is suitable for production-level usage.
Stay tuned for even more improvements as our team continues to actively work on making ROSE a high-quality compiler infrastructure for your compiler tools.