SCHEDULE: NOV 15-20, 2015

When viewing the Technical Program schedule, on the far righthand side is a column labeled "PLANNER." Use this planner to build your own schedule. Once you select an event and want to add it to your personal schedule, just click on the calendar icon of your choice (outlook calendar, ical calendar or google calendar) and that event will be stored there. As you select events in this manner, you will have your own schedule to guide you through the week.

Kanor: an EDSL for Declarative Communication

SESSION: Doctoral Showcase

EVENT TYPE: Doctoral Showcase

EVENT TAG(S): Programming Systems, HPC Beginner Friendly

TIME: 3:30PM - 3:45PM

SESSION CHAIR(S): Elizabeth Leake

Presenter(s):Nilesh N. Mahajan

ROOM:Ballroom E

ABSTRACT:

High performance programs, using explicit communication calls to
specify communication structure, need considerable programming exper-
tise. It is diffcult to guarantee properties like deadlock freedom while
avoiding significant performance degradation. We have developed a do-
main specific language embedded in C++ called Kanor that allows pro-
grammers to specify the communication declaratively. Kanor programs
are written in the Bulk Synchronous Style (BSP) and deadlock freedom
is guaranteed by construction.
In this work, we present the design and implementation of Kanor.
We start with a description of Kanor syntax and explain how the syntax
makes it easier to write communication patterns. Next we describe Kanor
semantics and explain how Kanor programs guarantee certain properties.
Finally, we describe how the declarative nature of Kanor communication
allows us to optimize Kanor programs.

Chair/Presenter Details:

Elizabeth Leake (Chair) - STEM-Trek|

Nilesh N. Mahajan - Indiana University

  Click here to download .ics calendar file

  Click here to download .vcs calendar file

  Click here to add event to your Google Calendar