Verification-Aware Programming Language Concurrency Semantics

Informations projet

VAPLCS

N° de convention de subvention: 851811

DOI

10.3030/851811

Date de signature de la CE 12 Septembre 2019

Date de début 1 Avril 2021

Date de fin 31 Mars 2026

Financé au titre de

• EXCELLENT SCIENCE - European Research Council (ERC)

Coût total

€ 1 449 528,00

Contribution de l’UE

€ 1 449 528,00

Coordonné par

TEL AVIV UNIVERSITY
Israel

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (4)

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Auteurs: Abhishek Kr Singh, Ori Lahav
Publié dans: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Auteurs: Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Publié dans: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.

Putting Weak Memory in Order via a Promising Intermediate Representation

Auteurs: Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Publié dans: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.

What’s Decidable about Causally Consistent Shared Memory?

Auteurs: Ori Lahav, Udi Boker
Publié dans: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Éditeur: Association for Computing Machinary, Inc.

Conference proceedings (7)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Auteurs: Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Publié dans: 2023
Éditeur: CAV

An Algebraic Theory for Shared-State Concurrency

Auteurs: Yotam Dvir, Ohad Kammar, Ori Lahav
Publié dans: 2022
Éditeur: APLAS

Sequential reasoning for optimizing compilers under weak memory concurrency

Auteurs: Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Publié dans: 2022
Éditeur: ACM

Modular Data-Race-Freedom Guarantees in the Promising Semantics

Auteurs: Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Publié dans: 2021
Éditeur: ACM

View-Based Owicki–Gries Reasoning for Persistent x86-TSO

Auteurs: Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Publié dans: 2022
Éditeur: Springer

Abstraction for Crash-Resilient Objects

Auteurs: Artem Khyzha, Ori Lahav
Publié dans: 2022
Éditeur: Springer

Making Weak Memory Models Fair

Auteurs: Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Publié dans: 2021
Éditeur: ACM