3 papers:
SAC-2009-VasudevanE #compilation #concurrent #manycore- Celling SHIM: compiling deterministic concurrency to a heterogeneous multicore (NV, SAE), pp. 1626–1631.
DATE-2008-EdwardsVT #compilation #concurrent #memory management #message passing #multi #programming #thread- Programming Shared Memory Multiprocessors with Deterministic Message-Passing Concurrency: Compiling SHIM to Pthreads (SAE, NV, OT), pp. 1498–1503.
LCTES-2006-EdwardsT #code generation #modelling #performance- Efficient code generation from SHIM models (SAE, OT), pp. 125–134.
