BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
Collaborated with:
N.Yoshida Elias Benussi M.Bartoletti M.Murgia R.Zunino O.Dardha R.Hu
Talks about:
session (3) program (3) multiparti (2) verifi (2) type (2) lightweight (1) decomposit (1) distribut (1) behaviour (1) contract (1)

Person: Alceste Scalas

DBLP DBLP: Scalas:Alceste

Contributed to:

WRLA 20142014
ECOOP 20162016
ECOOP 20172017
PLDI 20192019
POPL 20192019

Wrote 5 papers:

WRLA-2014-BartolettiMSZ #maude #modelling #verification
Modelling and Verifying Contract-Oriented Systems in Maude (MB, MM, AS, RZ), pp. 130–146.
ECOOP-2016-ScalasY #lightweight #programming #scala
Lightweight Session Programming in Scala (AS, NY), p. 28.
ECOOP-2017-ScalasDHY #composition #distributed #linear #multi #programming
A Linear Decomposition of Multiparty Sessions for Safe Distributed Programming (AS, OD, RH, NY), p. 31.
PLDI-2019-ScalasYB #behaviour #message passing #source code #verification
Verifying message-passing programs with dependent behavioural types (AS, NY, EB), pp. 502–516.
POPL-2019-ScalasY #less is more #multi #revisited
Less is more: multiparty session types revisited (AS, NY), p. 29.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.