Alceste Scalas
Alceste Scalas
Assistant 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
612016
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
592014
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
532017
Less is more: multiparty session types revisited
A Scalas, N Yoshida
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
342019
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
Formal Techniques for Distributed Systems, 305-320, 2013
292013
A semantic deconstruction of session types
M Bartoletti, A Scalas, R Zunino
International Conference on Concurrency Theory, 402-418, 2014
262014
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
182019
Honesty by typing
M Bartoletti, A Scalas, E Tuosto, R Zunino
arXiv preprint arXiv:1211.2609, 2012
162012
Choreography synthesis as contract agreement
J Lange, A Scalas
arXiv preprint arXiv:1310.4573, 2013
142013
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
132019
Choreographies in the wild
M Bartoletti, J Lange, A Scalas, R Zunino
Science of Computer Programming 109, 36-60, 2015
132015
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
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
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
72021
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
72017
Lightweight session programming in scala (artifact)
A Scalas, N Yoshida
DARTS-Dagstuhl Artifacts Series 2, 2016
52016
Towards a hybrid verification methodology for communication protocols (short paper)
CB Burlò, A Francalanza, A Scalas
International Conference on Formal Techniques for Distributed Objects …, 2020
42020
Multiparty session types, beyond duality
A Scalas, N Yoshida
Journal of Logical and Algebraic Methods in Programming 97, 55-84, 2018
42018
A semantic deconstruction of session types
A Scalas
Università degli Studi di Cagliari, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20