Follow
Alceste Scalas
Alceste Scalas
Associate Professor in Computer Science, DTU Compute, Technical University of Denmark
Verified email at dtu.dk - Homepage
Title
Cited by
Cited by
Year
Lightweight session programming in scala
A Scalas, N Yoshida
Schloss Dagstuhl-Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing 56, 21, 2016
902016
A linear decomposition of multiparty sessions for safe distributed programming
A Scalas, O Dardha, R Hu, N Yoshida
31st European Conference on Object-Oriented Programming (ECOOP 2017), 2017
692017
On the preciseness of subtyping in session types
TC Chen, M Dezani-Ciancaglini, N Yoshida
Proceedings of the 16th International Symposium on Principles and Practice …, 2014
692014
Less is more: multiparty session types revisited
A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
682019
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems, 305-320, 2013
312013
Verifying message-passing programs with dependent behavioural types
A Scalas, N Yoshida, E Benussi
Proceedings of the 40th ACM SIGPLAN Conference on Programming Language …, 2019
292019
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
International Conference on Concurrency Theory, 402-418, 2014
292014
Precise subtyping for synchronous multiparty sessions
S Ghilezan, S Jakšić, J Pantović, A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 104, 127-173, 2019
252019
Precise subtyping for asynchronous multiparty sessions
S Ghilezan, J Pantović, I Prokić, A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 5 (POPL), 1-28, 2021
202021
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
162013
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
arXiv preprint arXiv:1211.2609, 2012
162012
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
142015
High-performance technical computing with erlang
A Scalas, G Casu, P Pili
Proceedings of the 7th ACM SIGPLAN workshop on ERLANG, 49-60, 2008
132008
Effpi: verified message-passing programs in dotty
A Scalas, N Yoshida, E Benussi
Proceedings of the Tenth ACM SIGPLAN Symposium on Scala, 27-31, 2019
112019
A linear decomposition of multiparty sessions for safe distributed programming (artifact)
A Scalas, O Dardha, R Hu, N Yoshida
DARTS-Dagstuhl Artifacts Series 3, 2017
112017
Modelling and verifying contract-oriented systems in Maude
M Bartoletti, M Murgia, A Scalas, R Zunino
International Workshop on Rewriting Logic and its Applications, 130-146, 2014
112014
Verifiable abstractions for contract-oriented systems
M Bartoletti, M Murgia, A Scalas, R Zunino
Journal of Logical and Algebraic Methods in Programming 86 (1), 159-207, 2017
102017
Less is more: multiparty session types revisited. PACMPL, 3, POPL (2019), 30: 1–30: 29
A Scalas, N Yoshida
52019
Multiparty session types, beyond duality
A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 97, 55-84, 2018
52018
Lightweight session programming in scala (artifact)
A Scalas, N Yoshida
DARTS-Dagstuhl Artifacts Series 2, 2016
52016
The system can't perform the operation now. Try again later.
Articles 1–20