Samuel Grahn

Assistant with doctoral duties at Department of Information Technology; Division of Computer Systems

Telephone:: +46 18 471 55 40
E-mail:: samuel.grahn@it.uu.se
Visiting address:: Hus 10, Regementsvägen 10
Postal address:: Box 524
751 20 UPPSALA

Download contact information for Samuel Grahn at Department of Information Technology; Division of Computer Systems

Publications

Recent publications

Checking Consistency of Event-Driven Traces

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rajanbabu, Govind; Grahn, Samuel et al.

Part of Programming Languages and Systems, p. 173-194, 2026
- DOI for Checking Consistency of Event-Driven Traces
- Download full text (pdf) of Checking Consistency of Event-Driven Traces
Verification of the Release-Acquire Semantics

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

Part of Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings, p. 106-123, 2025
- DOI for Verification of the Release-Acquire Semantics
Efficient Linearizability Monitoring

Abdulla, Parosh; Grahn, Samuel; Jonsson, Bengt; Krishna, Shankaranarayanan et al.

Part of Proceedings of the ACM on Programming Languages, p. 1937-1960, 2025
- DOI for Efficient Linearizability Monitoring
- Download full text (pdf) of Efficient Linearizability Monitoring

All publications

Articles in journal

Efficient Linearizability Monitoring

Abdulla, Parosh; Grahn, Samuel; Jonsson, Bengt; Krishna, Shankaranarayanan et al.

Part of Proceedings of the ACM on Programming Languages, p. 1937-1960, 2025
- DOI for Efficient Linearizability Monitoring
- Download full text (pdf) of Efficient Linearizability Monitoring

Conference papers

Checking Consistency of Event-Driven Traces

Abdulla, Parosh Aziz; Atig, Mohamed Faouzi; Rajanbabu, Govind; Grahn, Samuel et al.

Part of Programming Languages and Systems, p. 173-194, 2026
- DOI for Checking Consistency of Event-Driven Traces
- Download full text (pdf) of Checking Consistency of Event-Driven Traces
Verification of the Release-Acquire Semantics

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

Part of Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings, p. 106-123, 2025
- DOI for Verification of the Release-Acquire Semantics