Streaming Networks for Coordinating Data-Parallel Programs (Position Statement)

  • Alex Shafarenko
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4186)


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.


Stream Processing Stream Network Architecture Initiative Single Stream Computation Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [AW77]
    Ashcroft, E.A., Wadge, W.W.: Lucid, a nonprocedural language with iteration. Communications of the ACM 20(7), 519–526 (1977)MATHCrossRefGoogle Scholar
  2. [BS01]
    Broy, M., Stefanescu, G.: The algebra of stream processing functions. Theoretical Computer Science (258), 99–129 (2001)MATHCrossRefMathSciNetGoogle Scholar
  3. [GC92]
    Gelernter, D., Carriero, N.: Coordination languages and their significance. Communications of the ACM 35(2), 96–107 (1992)CrossRefGoogle Scholar
  4. [Gel85]
    Gelernter, D.: Generative communication in linda. ACM Trans Program. Lang Syst. 1(7), 80–112 (1985)CrossRefGoogle Scholar
  5. [HCRP91]
    Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data-flow programming language LUSTRE. Proceedings of the IEEE 79(9), 1305–1320 (1991)CrossRefGoogle Scholar
  6. [JP05]
    Jacquet, J.-M., Picco, G.P. (eds.): COORDINATION 2005. LNCS, vol. 3454, p. 299. Springer, Heidelberg (2005)MATHGoogle Scholar
  7. [Kah74]
    Kahn, G.: The semantics of a simple language for parallel programming. In: Rosenfeld, L. (ed.) Information Processing 74, Proc. IFIP Congress 74, Stockholm, Sweden, August 5-10, pp. 471–475. North-Holland, Amsterdam (1974)Google Scholar
  8. [Mic02]
    Gordon, M.I., et al.: A stream compiler for communication-exposed architectures. In: Proceedings of the Tenth International Conference on Architectural Support for Programming Languages and Operating Systems, San Jose, CA (October 2002)Google Scholar
  9. [PA98]
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Advances in Computers, vol. 46. Academic Press, London (1998)Google Scholar
  10. [Pro]
  11. [Sha02]
    Shafarenko, A.: Coercion as homomorphism: type inference in a system with subtyping and overloading. In: PPDP 2002: Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming, pp. 14–25 (2002)Google Scholar
  12. [Sha03]
    Shafarenko, A.: Stream processing on the grid: an array stream transforming language. In: SNPD, pp. 268–276 (2003)Google Scholar
  13. [Sha06]
    Shafarenko, A.: Snet: definition and the main algorithms. Technical report, Department of Computer Science (2006)Google Scholar
  14. [SS04]
    Shafarenko, A., Scholz, S.-B.: General Homomorphic Overloading. In: Grelck, C., Huch, F., Michaelson, G.J., Trinder, P. (eds.) IFL 2004. LNCS, vol. 3474, pp. 195–210. Springer, Heidelberg (2005) (Revised Selected Papers)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Alex Shafarenko
    • 1
  1. 1.Compiler Technology and Computer Architecture GroupUniversity of HertfordshireUnited Kingdom

Personalised recommendations