Calculating communication costs with Sessions Types and Sizes

Authors Juliana Franco, Sophia Drossopoulou, Nobuko Yoshida

Thumbnail PDF


  • Filesize: 0.57 MB
  • 8 pages

Document Identifiers

Author Details

Juliana Franco
Sophia Drossopoulou
Nobuko Yoshida

Cite AsGet BibTex

Juliana Franco, Sophia Drossopoulou, and Nobuko Yoshida. Calculating communication costs with Sessions Types and Sizes. In 2014 Imperial College Computing Student Workshop. Open Access Series in Informatics (OASIcs), Volume 43, pp. 50-57, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2014)


We present a small object-oriented language with communication primitives. The language allows the assignment of binary session types to communication channels in order to govern the interaction between different objects and to statically calculate communication costs. Class declarations are annotated with size information in order to determine the cost of sending and receiving objects. This paper describes our first steps in the creation of a session-based, object-oriented language for communication optimization purposes.
  • Session types
  • communication
  • object-oriented
  • multicore


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads


  1. Alexandre Caldeira and Vasco T. Vasconcelos. Bica. URL:
  2. Joana Campos and Vasco T. Vasconcelos. Channels as objects in concurrent object-oriented programming. In PLACES 2010, volume 69 of EPTCS, pages 12-28, 2011. Google Scholar
  3. Mariangiola Dezani-Ciancaglini, Elena Giachino, Sophia Drossopoulou, and Nobuko Yoshida. Bounded session types for object oriented languages. In Formal Methods for Components and Objects, volume 4709 of LNCS, pages 207-245. Springer Berlin Heidelberg, 2007. Google Scholar
  4. Mariangiola Dezani-Ciancaglini, Dimitris Mostrous, Nobuko Yoshida, and Sophia Drossopoulou. Session types for object-oriented languages. In European Conference on Object-Oriented Programming, 2006. Google Scholar
  5. Mariangiola Dezani-Ciancaglini, Nobuko Yoshida, Alexander Ahern, and Sophia Drossopoulou. A distributed object-oriented language with session types. In Trustworthy Global Computing, pages 299-318, 2005. Google Scholar
  6. Juliana Franco and VascoThudichum Vasconcelos. A concurrent programming language with refined session types. In Software Engineering and Formal Methods, LNCS, pages 15-28. Springer International Publishing, 2014. Google Scholar
  7. Simon Gay, Vasco T. Vasconcelos, António Ravara, Nils Gesbert, and Alexandre Z. Caldeira. Modular session types for distributed object-oriented programming. In Principles of Programming Languages, pages 299-312. ACM Press, 2010. Google Scholar
  8. Kohei Honda, EduardoR.B. Marques, Francisco Martins, Nicholas Ng, Vasco T. Vasconcelos, and Nobuko Yoshida. Verification of mpi programs using session types. In Recent Advances in the Message Passing Interface, LNCS, pages 291-293. Springer Berlin Heidelberg, 2012. Google Scholar
  9. Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language primitives and type disciplines for structured communication-based programming. In European Symposym on Programming, volume 1381 of LNCS, pages 22-138. Springer, 1998. Google Scholar
  10. Raymond Hu, Nobuko Yoshida, and Kohei Honda. Session-based distributed programming in Java. In European Conference on Object-Oriented Programming, volume 5142 of LNCS, pages 516-541. Springer, 2008. Google Scholar
  11. Nicholas Ng and Nobuko Yoshida. Pabble: Parameterised scribble for parallel programming. In PDP 2014, pages 707-714. IEEE Computer Society, 2014. Google Scholar
  12. Nicholas Ng, Nobuko Yoshida, and Kohei Honda. Multiparty session C: safe parallel programming with message optimisation. In Conference on Objects, Models, Components, Patterns, volume 7304 of LNCS, pages 202-218. Springer, 2012. Google Scholar
  13. Nicholas Ng, Nobuko Yoshida, Xinyu Niu, and Kuen Hung Tsoi. Session types: towards safe and fast reconfigurable programming. SIGARCH Computer Architecture News, 40(5):22-27, 2012. Google Scholar
  14. K. C. Sivaramakrishnan, Mohammad Qudeisat, Lukasz Ziarek, Karthik Nagaraj, and Patrick Eugster. Efficient sessions. Sci. Comput. Program., pages 147-167, 2013. Google Scholar
  15. K.C. Sivaramakrishnan, Karthik Nagaraj, Lukasz Ziarek, and Patrick Eugster. Efficient session type guided distributed interaction. In Coordination Models and Languages, LNCS, pages 152-167. Springer Berlin Heidelberg, 2010. Google Scholar
  16. Vasco T. Vasconcelos. Fundamentals of session types. Information and Computation, 217:52-70, 2012. Google Scholar
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail