Samuel Grahn
  • Bio
  • Publications
  • Talks
  • Awards
  • Experience
  • Teaching
  • Thesis
  • Recent & Upcoming Talks
    • Efficient Linearizability Monitoring
    • Efficient Linearizability Monitoring
    • Halftime Seminar, Efficient Linearizability Monitoring
    • Modeling Systems via Register Machines
  • Awards
    • Third place in the ASPLOS 2025 contest on Intra-Operator Parallelism for Distributed Deep Learning
  • Publications
    • Checking Consistency of Event-Driven Traces
    • Efficient Linearizability Monitoring
    • Verification of the Release-Acquire Semantics
  • Experience
  • Teaching
    • Advanced Functional Programming
    • Algorithms and Data Structures 2
    • Introduction to Parallel Programming
    • Programming embedded systems project
    • Programming Theory
    • Software Engineering and project Management
  • Thesis

Verification of the Release-Acquire Semantics

Jan 1, 2025·
Parosh Aziz Abdulla
,
Elli Anastasiadi
,
Mohamed Faouzi Atig
,
Samuel Grahn
· 0 min read
Cite DOI URL arXiv
Type
Conference paper
Publication
Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings
Last updated on Jan 1, 2025
Thesis
← Efficient Linearizability Monitoring Jan 1, 2025

© 2026 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.