Discamus continentiam augere, luxuriam coercere
Home -> Publications
all years
    edited volumes
  Full CV [pdf]


  Past Events

Publications of Torsten Hoefler
Copyright Notice:

The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without the explicit permission of the copyright holder.

E. Holk, W. E. Byrd, J. Willcock, T. Hoefler, A. Chauhan and A. Lumsdaine:

 Kanor -- A Declarative Language for Explicit Communication

(In Proceedings of the 13th international conference on Practical aspects of declarative languages, presented in Austin, TX, USA, pages 190--204, Springer-Verlag, ISBN: 978-3-642-18377-5, Jan. 2011)


Programmers of high-performance applications face two major implementation options: to use a high-level language which manages communication implicitly or to use a low-level language while specifying communication explicitly. The high-level approach offers safety and convenience, but forces programmers to give up control, making it difficult to hand-tune communications or to estimate communication cost. The low-level approach retains this control, but forces programmers to express communication at a verbose, tedious, and error-prone level of detail. We advocate a complementary third approach in which the programmer declaratively, but explicitly, specifies the essence of the communication pattern. The programmer lets the implementation handle the details when appropriate, but retains enough control to hand-encode communications when necessary. In this paper we present Kanor, a language for declaratively expressing explicit communication patterns, and demonstrate how Kanor safely, succinctly, and efficiently expresses both point-to-point and collective communications.


download article:


  author={E. Holk and W. E. Byrd and J. Willcock and T. Hoefler and A. Chauhan and A. Lumsdaine},
  title={{Kanor -- A Declarative Language for Explicit Communication}},
  booktitle={Proceedings of the 13th international conference on Practical aspects of declarative languages},
  location={Austin, TX, USA},

serving:© Torsten Hoefler