#	Pagina
attuale pagina	/open-h2020/projects/225128/index.html

Opendata, web and dolomites

VAPLCS SIGNED

Verification-Aware Programming Language Concurrency Semantics

Total Cost €

EC-Contrib. €

Partnership

Views

VAPLCS project word cloud

Explore the words cloud of the VAPLCS project. It provides you a very rough idea of what is the project "VAPLCS" about.

commodity certain tackles correctness verification practical appears java operations costly canonical shed underlying threads programs easily concurrent sufficiently posing specifications bridge significantly revolutionize mainstream usable guarantees obstacle flaws languages software fact explosion checking proliferation language amenable utmost longstanding interleavings overarching leap efficient unsatisfactory unfortunate model infamous processors programming conceptual wise opportunity algorithms scalable attempt leverage core hardware risk heavily first weak constitute gain performance light provides foundations applicability relied sequential consistency paramount programmers gap semantics too concurrency

Project "VAPLCS" data sheet

The following table provides information about the project.

Coordinator	TEL AVIV UNIVERSITY Organization address address: RAMAT AVIV city: TEL AVIV postcode: 69978 website: http://www.tau.ac.il/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Israel [IL]
Total cost	1˙449˙528 €
EC max contribution	1˙449˙528 € (100%)
Programme	1. H2020-EU.1.1. (EXCELLENT SCIENCE - European Research Council (ERC))
Code Call	ERC-2019-STG
Funding Scheme	ERC-STG
Starting year	2020
Duration (year-month-day)	from 2020-10-01 to 2025-09-30

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	TEL AVIV UNIVERSITY TEL AVIV UNIVERSITY Organization address address: RAMAT AVIV city: TEL AVIV postcode: 69978 website: http://www.tau.ac.il/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IL (TEL AVIV)	coordinator	1˙449˙528.00

Map

Project objective

'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 is too costly to implement. In fact, no commodity hardware provides sequential consistency. Second, the number of interleavings is often so large, posing the infamous 'state explosion problem' as the utmost obstacle to any verification attempt.

Our overarching goal is to develop a novel concurrency semantics for programming languages that will: allow efficient implementation; provide easily usable guarantees, sufficiently strong for concurrent algorithms; and be amenable to scalable verification. To achieve this, we will leverage our recent advances in addressing the flaws in the C/C\ and Java specifications and in model checking under certain weak concurrency semantics. Moreover, we will develop practical verification methods to facilitate the task of concurrent programming.

This proposal makes a conceptual leap beyond the state-of-the-art, by identifying the development of a weak concurrency semantics not only as an unfortunate necessity, but also as an opportunity to revolutionize software verification. It is high-risk: it tackles a longstanding open problem in programming languages. It is also high-gain: it will significantly increase the applicability of verification, bridge a major gap between verification research and practical concurrent programming, and shed light on the role of the underlying semantics. I aim for the proposed concurrency semantics to provide new foundations for the specifications of mainstream and emerging programming languages. '

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "VAPLCS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "VAPLCS" are provided by the European Opendata Portal: CORDIS opendata.