A Compilation Framework for Concurrency Platforms