Samuel Grahn
Assistent med doktoranduppgifter vid Institutionen för informationsteknologi; Datorteknik
- Telefon:
- 018-471 55 40
- E-post:
- samuel.grahn@it.uu.se
- Besöksadress:
- Hus 10, Regementsvägen 10
- Postadress:
- Box 524
751 20 UPPSALA
Ladda ned kontaktuppgifter för Samuel Grahn vid Institutionen för informationsteknologi; Datorteknik
Publikationer
Senaste publikationer
-
Checking Consistency of Event-Driven Traces
Ingår i Programming Languages and Systems, s. 173-194, 2026
- DOI för Checking Consistency of Event-Driven Traces
- Ladda ner fulltext (pdf) av Checking Consistency of Event-Driven Traces
-
Verification of the Release-Acquire Semantics
Ingår i Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings, s. 106-123, 2025
-
Efficient Linearizability Monitoring
Ingår i Proceedings of the ACM on Programming Languages, s. 1937-1960, 2025
- DOI för Efficient Linearizability Monitoring
- Ladda ner fulltext (pdf) av Efficient Linearizability Monitoring
Alla publikationer
Artiklar i tidskrift
-
Efficient Linearizability Monitoring
Ingår i Proceedings of the ACM on Programming Languages, s. 1937-1960, 2025
- DOI för Efficient Linearizability Monitoring
- Ladda ner fulltext (pdf) av Efficient Linearizability Monitoring
Konferensbidrag
-
Checking Consistency of Event-Driven Traces
Ingår i Programming Languages and Systems, s. 173-194, 2026
- DOI för Checking Consistency of Event-Driven Traces
- Ladda ner fulltext (pdf) av Checking Consistency of Event-Driven Traces
-
Verification of the Release-Acquire Semantics
Ingår i Theoretical Aspects of Computing - ICTAC 2025 - 22nd International Colloquium, Marrakech, Morocco, November 24-28, 2025, Proceedings, s. 106-123, 2025