Verification-Aware Programming Language Concurrency Semantics

Projektinformationen

VAPLCS

ID Finanzhilfevereinbarung: 851811

DOI

10.3030/851811

EK-Unterschriftsdatum 12 September 2019

Startdatum 1 April 2021

Enddatum 31 Dezember 2026

Finanziert unter

• EXCELLENT SCIENCE - European Research Council (ERC)

Gesamtkosten

€ 1 449 528,00

EU-Beitrag

€ 1 449 528,00

Koordiniert durch

TEL AVIV UNIVERSITY
Israel

CORDIS bietet Links zu öffentlichen Ergebnissen und Veröffentlichungen von HORIZONT-Projekten.

Links zu Ergebnissen und Veröffentlichungen von RP7-Projekten sowie Links zu einigen Typen spezifischer Ergebnisse wie Datensätzen und Software werden dynamisch von OpenAIRE abgerufen.

Veröffentlichungen

Peer reviewed articles (4)

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Autoren: Abhishek Kr Singh, Ori Lahav
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Autoren: Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Veröffentlicht in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.

Putting Weak Memory in Order via a Promising Intermediate Representation

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

What’s Decidable about Causally Consistent Shared Memory?

Autoren: Ori Lahav, Udi Boker
Veröffentlicht in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Herausgeber: Association for Computing Machinary, Inc.

Conference proceedings (7)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Autoren: Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Veröffentlicht in: 2023
Herausgeber: CAV

An Algebraic Theory for Shared-State Concurrency

Autoren: Yotam Dvir, Ohad Kammar, Ori Lahav
Veröffentlicht in: 2022
Herausgeber: APLAS

Sequential reasoning for optimizing compilers under weak memory concurrency

Autoren: Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Veröffentlicht in: 2022
Herausgeber: ACM

Modular Data-Race-Freedom Guarantees in the Promising Semantics

Autoren: Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Veröffentlicht in: 2021
Herausgeber: ACM

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

Autoren: Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Veröffentlicht in: 2022
Herausgeber: Springer

Abstraction for Crash-Resilient Objects

Autoren: Artem Khyzha, Ori Lahav
Veröffentlicht in: 2022
Herausgeber: Springer

Making Weak Memory Models Fair

Autoren: Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Veröffentlicht in: 2021
Herausgeber: ACM