Verification-Aware Programming Language Concurrency Semantics

Información del proyecto

VAPLCS

Identificador del acuerdo de subvención: 851811

DOI

10.3030/851811

Fecha de la firma de la CE 12 Septiembre 2019

Fecha de inicio 1 Abril 2021

Fecha de finalización 31 Marzo 2026

Financiado con arreglo a

• EXCELLENT SCIENCE - European Research Council (ERC)

Coste total

€ 1 449 528,00

Aportación de la UE

€ 1 449 528,00

Coordinado por

TEL AVIV UNIVERSITY
Israel

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Peer reviewed articles (4)

An Operational Approach to Library Abstraction under Relaxed Memory Concurrency

Autores: Abhishek Kr Singh, Ori Lahav
Publicado en: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.

Kater: Automating Weak Memory Model Metatheory and Consistency Checking

Autores: Michalis Kokologiannakis, Ori Lahav, Viktor Vafeiadis
Publicado en: Proceedings of the ACM on Programming Languages, 2023, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.

Putting Weak Memory in Order via a Promising Intermediate Representation

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

What’s Decidable about Causally Consistent Shared Memory?

Autores: Ori Lahav, Udi Boker
Publicado en: ACM Transactions on Programming Languages and Systems, 2022, ISSN 0164-0925
Editor: Association for Computing Machinary, Inc.

Conference proceedings (7)

Rely-Guarantee Reasoning for Causally Consistent Shared Memory

Autores: Ori Lahav, Brijesh Dongol, Heike Wehrheim:
Publicado en: 2023
Editor: CAV

An Algebraic Theory for Shared-State Concurrency

Autores: Yotam Dvir, Ohad Kammar, Ori Lahav
Publicado en: 2022
Editor: APLAS

Sequential reasoning for optimizing compilers under weak memory concurrency

Autores: Minki Cho, Sung-Hwan Lee, Dongjae Lee, Chung-Kil Hur, Ori Lahav
Publicado en: 2022
Editor: ACM

Modular Data-Race-Freedom Guarantees in the Promising Semantics

Autores: Minki Cho, Sung-Hwan Lee, Chung-Kil Hur, Ori Lahav
Publicado en: 2021
Editor: ACM

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

Autores: Eleni Vafeiadi Bila, Brijesh Dongol, Ori Lahav, Azalea Raad, John Wickerson
Publicado en: 2022
Editor: Springer

Abstraction for Crash-Resilient Objects

Autores: Artem Khyzha, Ori Lahav
Publicado en: 2022
Editor: Springer

Making Weak Memory Models Fair

Autores: Ori Lahav, Egor Namakonov, Jonas Oberhauser, Anton Podkopaev, Viktor Vafeiadis
Publicado en: 2021
Editor: ACM