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

Verification of the Release-Acquire Semantics

Jan 1, 2025·
Parosh Abdulla
,
Elli Anastasiadi
,
Mohamed Faouzi Atig
,
Samuel Grahn
· 0 min read
Cite arXiv URL
Type
Manuscript
Last updated on Jan 1, 2025
← Checking Consistency of Event-driven Traces Jan 1, 2025

© 2025 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.