Samuel Grahn

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

Collaborative distances:

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

2025

Efficient Linearizability Monitoring.

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

Proc. ACM Program. Lang., 2025

Verification of the Release-Acquire Semantics.

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

Proceedings of the Theoretical Aspects of Computing - ICTAC 2025, 2025

Checking Consistency of Event-Driven Traces.

Parosh Aziz Abdulla, Mohamed Faouzi Atig, R. Govind, Samuel Grahn, Ramanathan S. Thinniyam

Proceedings of the Programming Languages and Systems - 23rd Asian Symposium, 2025