Samuel Grahn

Identifiers

• name variant Samuel Grahn 0.60 · backfill

Papers (1)

1. The complexity of verifying the release-acquire semantics over register machines cs.PL · 2025 · author #5

Mentions

• 2506.08238 #5 · arxiv_oai · confidence 0.70 Samuel Grahn

Frequent Coauthors

• Elli Anastasiadi 1 shared papers
• L\'eo Exibard 1 shared papers
• Mohamed Faouzi Atig 1 shared papers
• Parosh Abdulla 1 shared papers