BEGIN:VCALENDAR
PRODID:-//Microsoft Corporation//Outlook MIMEDIR//EN
VERSION:2.0
BEGIN:VEVENT
DTSTART:20151119T213000Z
DTEND:20151119T214500Z
LOCATION:Ballroom E
DESCRIPTION;ENCODING=QUOTED-PRINTABLE:ABSTRACT: High performance programs, using explicit communication calls to=0Aspecify communication structure, need considerable programming exper-=0Atise. It is diffcult to guarantee properties like deadlock freedom while=0Aavoiding significant performance degradation. We have developed a do-=0Amain specific language embedded in C++ called Kanor that allows pro-=0Agrammers to specify the communication declaratively. Kanor programs=0Aare written in the Bulk Synchronous Style (BSP) and deadlock freedom=0Ais guaranteed by construction.=0AIn this work, we present the design and implementation of Kanor.=0AWe start with a description of Kanor syntax and explain how the syntax=0Amakes it easier to write communication patterns. Next we describe Kanor=0Asemantics and explain how Kanor programs guarantee certain properties.=0AFinally, we describe how the declarative nature of Kanor communication=0Aallows us to optimize Kanor programs.
SUMMARY:Kanor: an EDSL for Declarative Communication
PRIORITY:3
END:VEVENT
END:VCALENDAR