Stem pthread$ (all stems)
2 papers:
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.
PPoPP-2007-Boehm #constraints #order #thread- Reordering constraints for pthread-style locks (HJB), pp. 173–182.