MSL: A Synthesis Enabled Language for Distributed Implementations.

Zhilei Xu, Shoaib Kamil, Armando Solar-Lezama

Browse the full SC paper archive.