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

Checking Consistency of Event-Driven Traces

Jan 1, 2025·
Parosh Aziz Abdulla
,
Mohamed Faouzi Atig
,
R. Govind
,
Samuel Grahn
,
Ramanathan S. Thinniyam
· 0 min read
Cite DOI URL arXiv Implementation
Type
Conference paper
Publication
Programming Languages and Systems - 23rd Asian Symposium, APLAS 2025, Bengaluru, India, October 27-30, 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.