Samuel Grahn
Open Menu
Close Menu
Bio
Publications
Talks
Awards
Experience
Projects
Teaching
Recent & Upcoming Talks
Efficient Linearizability Monitoring
Jun 16, 2025
Efficient Linearizability Monitoring
May 19, 2025
Halftime Seminar, Efficient Linearizability Monitoring
Jan 14, 2025
Modeling Systems via Register Machines
Nov 6, 2024