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 März 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

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