Verification-Aware Programming Language Concurrency Semantics

Informazioni relative al progetto

VAPLCS

ID dell’accordo di sovvenzione: 851811

DOI

10.3030/851811

Data della firma CE 12 Settembre 2019

Data di avvio 1 Aprile 2021

Data di completamento 31 Dicembre 2026

Finanziato da

• EXCELLENT SCIENCE - European Research Council (ERC)

Costo totale

€ 1 449 528,00

Contributo UE

€ 1 449 528,00

Coordinato da

TEL AVIV UNIVERSITY
Israel

CORDIS fornisce collegamenti ai risultati finali pubblici e alle pubblicazioni dei progetti ORIZZONTE.

I link ai risultati e alle pubblicazioni dei progetti del 7° PQ, così come i link ad alcuni tipi di risultati specifici come dataset e software, sono recuperati dinamicamente da .OpenAIRE .

Pubblicazioni

Peer reviewed articles (4)

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Autori: Abhishek Kr Singh, Ori Lahav
Pubblicato in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Autori: Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Pubblicato in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.

Putting Weak Memory in Order via a Promising Intermediate Representation

Autori: Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Pubblicato in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.

What’s Decidable about Causally Consistent Shared Memory?

Autori: Ori Lahav, Udi Boker
Pubblicato in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Editore: Association for Computing Machinary, Inc.

Conference proceedings (7)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Autori: Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Pubblicato in: 2023
Editore: CAV

An Algebraic Theory for Shared-State Concurrency

Autori: Yotam Dvir, Ohad Kammar, Ori Lahav
Pubblicato in: 2022
Editore: APLAS

Sequential reasoning for optimizing compilers under weak memory concurrency

Autori: Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Pubblicato in: 2022
Editore: ACM

Modular Data-Race-Freedom Guarantees in the Promising Semantics

Autori: Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Pubblicato in: 2021
Editore: ACM

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

Autori: Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Pubblicato in: 2022
Editore: Springer

Abstraction for Crash-Resilient Objects

Autori: Artem Khyzha, Ori Lahav
Pubblicato in: 2022
Editore: Springer

Making Weak Memory Models Fair

Autori: Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Pubblicato in: 2021
Editore: ACM