Samuel Grahn
  • Bio
  • Publications
  • Talks
  • Awards
  • Experience
  • Projects
  • Teaching
  • Recent & Upcoming Talks
    • Efficient Linearizability Monitoring
    • Efficient Linearizability Monitoring
    • Halftime Seminar, Efficient Linearizability Monitoring
    • Modeling Systems via Register Machines
  • Publications
    • Efficient Linearizability Monitoring
    • Checking Consistency of Event-driven Traces
    • Verification of the Release-Acquire Semantics
  • Awards
    • Third place in the ASPLOS 2025 contest on Intra-Operator Parallelism for Distributed Deep Learning
  • Projects
  • Experience
  • Projects
    • Linearizability Monitoring
    • Verifying register machines against the Release/Acquire semantics
  • Teaching
    • Advanced Functional Programming
    • Algorithms and Data Structures 2
    • Introduction to Parallel Programming
    • Programming embedded systems project
    • Programming Theory
    • Software Engineering and project Management
Teaching
Programming Theory

Programming Theory

· 0 min read
Syllabus
Samuel Grahn
Authors
Samuel Grahn
PhD Student
← Programming embedded systems project Jan 1, 0001
Software Engineering and project Management Jan 1, 0001 →

© 2025 Me. This work is licensed under CC BY NC ND 4.0

Published with Hugo Blox Builder — the free, open source website builder that empowers creators.