CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
The project aims to develop a new concurrency model for programming languages that enhances performance and correctness in multi-core systems. By addressing the limitations of existing models, it seeks to provide efficient implementation and scalable verification methods for concurrent programming.
With the proliferation of multi-core processors, concurrent programming regularly appears at the core of heavily relied-upon systems, where both performance and correctness are of paramount importance.
The canonical concurrency model is sequential consistency-identifying concurrent programs with all possible interleavings of operations of their constitute threads.
It is a simple model for programmers, but unsatisfactory as a programming language concurrency semantics.
First, performance-wise, it…
TEL AVIV UNIVERSITY
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
