Streaming networks for coordinating data-parallel programs

Authors:
Clemens Grelck;Sven-Bodo Scholz;Alex Shafarenko
Affiliations:
Inst. of Software Technology and Programming Languages, University of Lübeck, Germany;Compiler Technology and Computer Architecture Group, University of Hertfordshire, United Kingdom;Compiler Technology and Computer Architecture Group, University of Hertfordshire, United Kingdom
Venue:
PSI'06 Proceedings of the 6th international Andrei Ershov memorial conference on Perspectives of systems informatics
Year:
2006

Citing 10
Cited 1

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Lucid, a nonprocedural language with iteration

Communications of the ACM
The algebra of stream processing functions

Theoretical Computer Science
Coordination languages and their significance

Communications of the ACM
Coercion as homomorphism: type inference in a system with subtyping and overloading

Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming
A stream compiler for communication-exposed architectures

Proceedings of the 10th international conference on Architectural support for programming languages and operating systems
Load Balancing in Parallel Molecular Dynamics

IRREGULAR '98 Proceedings of the 5th International Symposium on Solving Irregularly Structured Problems in Parallel
SAC: a functional array language for efficient multi-threaded execution

International Journal of Parallel Programming
General homomorphic overloading

IFL'04 Proceedings of the 16th international conference on Implementation and Application of Functional Languages
Implementing a numerical solution of the KPI equation using single assignment c: lessons and experiences

IFL'05 Proceedings of the 17th international conference on Implementation and Application of Functional Languages

Compiler-support for robust multi-core computing

ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

A new coordination language for distributed data-parallel programs is presented, call SNet. The intention of SNet is to introduce advanced structuring techniques into a coordination language: stream processing and various forms of subtyping. The talk will present the organisation of SNet, its major type inferencing algorithms and will briefly discuss the current state of implementation and possible applications.