Efficient session type guided distributed interaction

K. C. Sivaramakrishnan; Karthik Nagaraj; Lukasz Ziarek; Patrick Eugster

doi:10.1007/978-3-642-13414-2_11

Efficient session type guided distributed interaction

K. C. Sivaramakrishnan
, Karthik Nagaraj
, Lukasz Ziarek
, Patrick Eugster

Department of Computer Science and Engineering

Purdue University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

18 Scopus citations

Abstract

Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements. In this paper, we present a session type assisted performance enhancement framework for distributed object interaction in Java. Experimental evaluation within our distributed runtime infrastructure illustrates the costs and benefits of our composable enhancement strategies.

Original language	English
Title of host publication	Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings
Pages	152-167
Number of pages	16
DOIs	https://doi.org/10.1007/978-3-642-13414-2_11
State	Published - 2010
Event	12th International Conference on Coordination Models and Languages, COORDINATION 2010 - Amsterdam, Netherlands Duration: Jun 7 2010 → Jun 9 2010

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	6116 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	12th International Conference on Coordination Models and Languages, COORDINATION 2010
Country/Territory	Netherlands
City	Amsterdam
Period	06/7/10 → 06/9/10

Access to Document

10.1007/978-3-642-13414-2_11

Cite this

Sivaramakrishnan, K. C., Nagaraj, K., Ziarek, L., & Eugster, P. (2010). Efficient session type guided distributed interaction. In Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings (pp. 152-167). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6116 LNCS). https://doi.org/10.1007/978-3-642-13414-2_11

Sivaramakrishnan, K. C. ; Nagaraj, Karthik ; Ziarek, Lukasz et al. / Efficient session type guided distributed interaction. Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. 2010. pp. 152-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{f8384ae633944991b9e10b8401b8db40,

title = "Efficient session type guided distributed interaction",

abstract = "Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements. In this paper, we present a session type assisted performance enhancement framework for distributed object interaction in Java. Experimental evaluation within our distributed runtime infrastructure illustrates the costs and benefits of our composable enhancement strategies.",

author = "Sivaramakrishnan, \{K. C.\} and Karthik Nagaraj and Lukasz Ziarek and Patrick Eugster",

year = "2010",

doi = "10.1007/978-3-642-13414-2\_11",

language = "English",

isbn = "3642134130",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "152--167",

booktitle = "Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings",

note = "12th International Conference on Coordination Models and Languages, COORDINATION 2010 ; Conference date: 07-06-2010 Through 09-06-2010",

}

Sivaramakrishnan, KC, Nagaraj, K, Ziarek, L & Eugster, P 2010, Efficient session type guided distributed interaction. in Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 6116 LNCS, pp. 152-167, 12th International Conference on Coordination Models and Languages, COORDINATION 2010, Amsterdam, Netherlands, 06/7/10. https://doi.org/10.1007/978-3-642-13414-2_11

Efficient session type guided distributed interaction. / Sivaramakrishnan, K. C.; Nagaraj, Karthik; Ziarek, Lukasz et al.
Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. 2010. p. 152-167 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 6116 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Efficient session type guided distributed interaction

AU - Sivaramakrishnan, K. C.

AU - Nagaraj, Karthik

AU - Ziarek, Lukasz

AU - Eugster, Patrick

PY - 2010

Y1 - 2010

N2 - Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements. In this paper, we present a session type assisted performance enhancement framework for distributed object interaction in Java. Experimental evaluation within our distributed runtime infrastructure illustrates the costs and benefits of our composable enhancement strategies.

AB - Recently, there has been much interest in multi-party session types (MPSTs) as a means of rigorously specifying protocols for interaction among multiple distributed participants. By capturing distributed interaction as series of typed interactions, MPSTs allow for the static verification of compliance of corresponding distributed object programs. We observe that explicit control flow information manifested by MPST opens intriguing avenues also for performance enhancements. In this paper, we present a session type assisted performance enhancement framework for distributed object interaction in Java. Experimental evaluation within our distributed runtime infrastructure illustrates the costs and benefits of our composable enhancement strategies.

UR - https://www.scopus.com/pages/publications/77954632934

U2 - 10.1007/978-3-642-13414-2_11

DO - 10.1007/978-3-642-13414-2_11

M3 - Conference contribution

AN - SCOPUS:77954632934

SN - 3642134130

SN - 9783642134135

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 152

EP - 167

BT - Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings

T2 - 12th International Conference on Coordination Models and Languages, COORDINATION 2010

Y2 - 7 June 2010 through 9 June 2010

ER -

Sivaramakrishnan KC, Nagaraj K, Ziarek L, Eugster P. Efficient session type guided distributed interaction. In Coordination Models and Languages - 12th International Conference, COORDINATION 2010, Proceedings. 2010. p. 152-167. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-13414-2_11

Efficient session type guided distributed interaction

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this