Optimization and Verification of Parallel Programs

Papers

• Jonathan K. Lee, Jens Palsberg: Featherweight X10: a core calculus for async-finish parallelism. PPOPP 2010: 25-36.