Publications (2)
- Synchronization property checking and inference in a lock-step synchronous parallel Replica language
(2013)
- Nordic Workshop on Programming Theory
- SMASim: A Cycle-accurate Scalable Multi-core Architecture Simulator
(2010)
- Lecture notes in engineering and computer science