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

Linearizability Monitoring

Feb 15, 2021 · 1 min read

Verifying linearizability for executions of concurrent data structures (eg. stacks, queues and sets).

Last updated on Feb 15, 2021
Linearizability
Samuel Grahn
Authors
Samuel Grahn
PhD Student
Verifying register machines against the Release/Acquire semantics Jan 1, 0001 →

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