Nilesh Mahajan, Eric Holk, Arun Chauhan, Andrew Lumsdaine. An Embedded DSL for High Performance Declarative Communication with Correctness Guarantees in C++. In Xipeng Shen, Frank Mueller, James Tuck, editors, Languages and Compilers for Parallel Computing - 28th International Workshop, LCPC 2015, Raleigh, NC, USA, September 9-11, 2015, Revised Selected Papers. Volume 9519 of Lecture Notes in Computer Science, pages 206-220, Springer, 2015. [doi]
Abstract is missing.