Samuel Grahn
  • Bio
  • Papers
  • Talks
  • Experience
  • Projects
  • Teaching
  • Recent & Upcoming Talks
    • Efficient Linearizability Monitoring
    • Modeling Systems via Register Machines
  • Projects
  • Experience
  • Projects
    • Linearizability Monitoring
    • Verifying register machines against the Release/Acquire semantics
  • Publications
  • Teaching

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.