Dan Iorga
YOU?
Author Swipe
View article: Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools
Simulating Operational Memory Models Using Off-the-Shelf Program Analysis Tools Open
Memory models allow reasoning about the correctness of multithreaded programs. Constructing and using such models is facilitated by simulators that reveal which behaviours of a given program are allowed. While extensive work has been done …
View article: The semantics of shared memory in Intel CPU/FPGA systems
The semantics of shared memory in Intel CPU/FPGA systems Open
Heterogeneous CPU/FPGA devices, in which a CPU and an FPGA can execute together while sharing memory, are becoming popular in several computing sectors. In this paper, we study the shared-memory semantics of these devices, with a view to p…
View article: Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis
Do Your Cores Play Nicely? A Portable Framework for Multi-core Interference Tuning and Analysis Open
Multi-core architectures can be leveraged to allow independent processes to run in parallel. However, due to resources shared across cores, such as caches, distinct processes may interfere with one another, e.g. affecting execution time. A…