Verification-Aware Programming Language Concurrency Semantics

Project Information

VAPLCS

Grant agreement ID: 851811

DOI

10.3030/851811

EC signature date 12 September 2019

Start date 1 April 2021

End date 31 March 2026

Funded under

• EXCELLENT SCIENCE - European Research Council (ERC)

Total cost

€ 1 449 528,00

EU contribution

€ 1 449 528,00

Coordinated by

TEL AVIV UNIVERSITY
Israel

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (4)

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Author(s): Abhishek Kr Singh, Ori Lahav
Published in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Author(s): Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Published in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

Putting Weak Memory in Order via a Promising Intermediate Representation

Author(s): Sung-Hwan Lee, Minki Cho, Roy Margalit, Chung-Kil Hur, Ori Lahav
Published in: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

What’s Decidable about Causally Consistent Shared Memory?

Author(s): Ori Lahav, Udi Boker
Published in: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Publisher: Association for Computing Machinary, Inc.

Conference proceedings (7)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Author(s): Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Published in: 2023
Publisher: CAV

An Algebraic Theory for Shared-State Concurrency

Author(s): Yotam Dvir, Ohad Kammar, Ori Lahav
Published in: 2022
Publisher: APLAS

Sequential reasoning for optimizing compilers under weak memory concurrency

Author(s): Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Published in: 2022
Publisher: ACM

Modular Data-Race-Freedom Guarantees in the Promising Semantics

Author(s): Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Published in: 2021
Publisher: ACM

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

Author(s): Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Published in: 2022
Publisher: Springer

Abstraction for Crash-Resilient Objects

Author(s): Artem Khyzha, Ori Lahav
Published in: 2022
Publisher: Springer

Making Weak Memory Models Fair

Author(s): Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Published in: 2021
Publisher: ACM