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

Efficient Linearizability Monitoring

Jan 1, 2025·
Parosh Aziz Abdulla
,
Samuel Grahn
,
Bengt Jonsson
,
Shankaranarayanan Krishna
,
Om Swostik Mishra
· 0 min read
Cite DOI URL arXiv Implementation Mechanisation
Type
Journal article
Publication
Proc. ACM Program. Lang.
Last updated on Jan 1, 2025
Thesis
← Checking Consistency of Event-Driven Traces Jan 1, 2025
Verification of the Release-Acquire Semantics 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.