Samuel Grahn

According to our database, Samuel Grahn authored at least 2 papers in 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Verification of the Release-Acquire Semantics.

Parosh Aziz Abdulla, Elli Anastasiadi, Mohamed Faouzi Atig, Samuel Grahn

CoRR, June, 2025

Efficient Linearizability Monitoring.

Parosh Aziz Abdulla, Samuel Grahn, Bengt Jonsson, Shankaranarayanan Krishna, Om Swostik Mishra

Proc. ACM Program. Lang., 2025