2026-08-17T05:05:57Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:7041 2024-03-06T10:26:40Z ddc:004 open_access

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471) Alglave, Jade Cousot, Patrick Urban, Caterina Compilation Computer Memory Concurrency Memory Barrier Memory Ordering Micro-Architecture Multiprocessor Out-of-Order Execution Parallelism Program Synthesis Programming Language Semantics Static Analysis Verification Weak Memory Model This report documents the program and the outcomes of Dagstuhl Seminar 16471 "Concurrency with Weak Memory Models: Semantics, Languages, Compilation, Verification, Static Analysis, and Synthesis". The aim of the seminar was to bring together people from various horizons, including theoreticians and verification practitioners as well as hardware vendors, in order to set up a long-term research program to design formal methods and develop tools ensuring the correctness of concurrent programs on modern multi-processor architectures. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Jade Alglave and Patrick Cousot and Caterina Urban 2017 Is Part Of Dagstuhl Reports, Volume 6, Issue 11 (2017) Article Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/DagRep.6.11.108 urn:nbn:de:0030-drops-70415 https://drops.dagstuhl.de/entities/document/10.4230/DagRep.6.11.108 eng https://creativecommons.org/licenses/by/3.0/legalcode