Alceste Scalas

Lecturer, Engineering & Applied Science
Lecturer, Computer Science

https://orcid.org/0000-0002-1153-6164

Phone+44 121 204 4760

Computer ScienceSchool of Engineering and Applied Science, Aston University
B4 7ET Birmingham
United Kingdom
Aston University Main Building, room MB214D

Research activity per year

If you made any changes in Pure these will be visible here soon.

9 Article
7 Conference publication
3 Conference article
1 Chapter

20 results

2021
Precise subtyping for asynchronous multiparty sessions
Ghilezan, S., Pantović, J., Prokić, I., Scalas, A. & Yoshida, N., 4 Jan 2021, In: Proceedings of the ACM on Programming Languages. 5, POPL, p. 1-28 28 p., 16.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2020
Towards a hybrid verification methodology for communication protocols (short paper)
Bartolo Burlò, C., Francalanza, A. & Scalas, A., 8 Jun 2020, Formal Techniques for Distributed Objects, Components, and Systems - 40th IFIP WG 6.1 International Conference, FORTE 2020, held as part of the 15th International Federated Conference on Distributed Computing Techniques, DisCoTec 2020, Proceedings. Gotsman, A. & Sokolova, A. (eds.). p. 227-235 9 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 12136 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference publication
2019
Effpi: Verified Message-Passing Programs in Dotty
Scalas, A., Yoshida, N. & Benussi, E., 17 Jul 2019, Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019. ACM, p. 27-31 5 p. (Scala 2019 - Proceedings of the 10th ACM SIGPLAN International Symposium on Scala, Part of ECOOP 2019).
Research output: Chapter in Book/Report/Conference proceeding › Conference publication

Open Access
File
Less is more: multiparty session types revisited
Scalas, A. & Yoshida, N., 2 Jan 2019, In: Proceedings of the ACM on Programming Languages. 3, POPL, 29 p., 30.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Precise subtyping for synchronous multiparty sessions
Ghilezan, S., Jakšić, S., Pantović, J., Scalas, A. & Yoshida, N., Apr 2019, In: Journal of Logical and Algebraic Methods in Programming. 104, p. 127-173 47 p.
Research output: Contribution to journal › Article › peer-review
Verifying message-passing programs with dependent behavioural types
Scalas, A., Yoshida, N. & Benussi, E., 8 Jun 2019, PLDI 2019 - Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation. McKinley, K. S. & Fisher, K. (eds.). ACM, p. 502-516 15 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference publication

Open Access
File
2018
Multiparty session types, beyond duality
Scalas, A. & Yoshida, N., Jun 2018, In: Journal of Logical and Algebraic Methods in Programming. 97, p. 55-84 30 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
2017
A linear decomposition of multiparty sessions for safe distributed programming
Scalas, A., Dardha, O., Hu, R. & Yoshida, N., 1 Jun 2017, 31st European Conference on Object-Oriented Programming, ECOOP 2017. Muller, P. (ed.). Vol. 74. p. 24:1-24:31
Research output: Chapter in Book/Report/Conference proceeding › Conference publication

Open Access
File
Multiparty session types, beyond duality (Abstract)
Scalas, A. & Yoshida, N., 8 Apr 2017, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 246, p. 37-38 2 p.
Research output: Contribution to journal › Conference article › peer-review

Open Access
File
On the preciseness of subtyping in session types
Chen, T. C., Dezani-Ciancaglini, M., Scalas, A. & Yoshida, N., 30 Jun 2017, In: Logical Methods in Computer Science. 13, 2, 12.
Research output: Contribution to journal › Article › peer-review

Open Access
File
Verifiable abstractions for contract-oriented systems
Bartoletti, M., Murgia, M., Scalas, A. & Zunino, R., 1 Jan 2017, In: Journal of Logical and Algebraic Methods in Programming. 86, 1, p. 159-207 49 p.
Research output: Contribution to journal › Article › peer-review
2016
Honesty by typing
Bartoletti, M., Scalas, A., Tuosto, E., Zunino, R. & Silva, A. (ed.), 28 Dec 2016, In: Logical Methods in Computer Science. 12, 4:7, p. 1-58
Research output: Contribution to journal › Article › peer-review

Open Access
File
Lightweight session programming in scala
Scalas, A. & Yoshida, N., 22 Jul 2016, 30th European Conference on Object-Oriented Programming, ECOOP 2016. Lerner, B. S. & Krishnamurthi, S. (eds.). Vol. 56. p. 21:1-21:28 (30th European Conference on Object-Oriented Programming (ECOOP 2016)).
Research output: Chapter in Book/Report/Conference proceeding › Conference publication

Open Access
File
2015

Choreographies in the wild
Bartoletti, M., Lange, J., Scalas, A. & Zunino, R., 1 Jan 2015, In: Science of Computer Programming. 109, p. 36-60 25 p.
Research output: Contribution to journal › Article › peer-review

Open Access
File
The LTS WorkBench
Scalas, A. & Bartoletti, M., 19 Aug 2015, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 189, p. 86-98 13 p.
Research output: Contribution to journal › Conference article › peer-review

Open Access
File
2014
A Semantic Deconstruction of Session Types
Bartoletti, M., Scalas, A. & Zunino, R., 2014, International Conference on Concurrency Theory. Springer, Vol. 8704. p. 402-418 (CONCUR 2014 – Concurrency Theory; vol. 8704).
Research output: Chapter in Book/Report/Conference proceeding › Chapter
Modelling and verifying contract-oriented systems in Maude
Bartoletti, M., Murgia, M., Scalas, A. & Zunino, R., 16 Nov 2014, In: Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 8663, p. 130-146 17 p.
Research output: Contribution to journal › Article › peer-review
2013

Choreography synthesis as contract agreement
Lange, J. & Scalas, A., 15 Oct 2013, In: Electronic Proceedings in Theoretical Computer Science, EPTCS. 131, p. 52-67 16 p.
Research output: Contribution to journal › Conference article › peer-review
Honesty by typing
Bartoletti, M., Scalas, A., Tuosto, E. & Zunino, R., 9 Oct 2013, Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on DisCoTec 2013, Proceedings. p. 305-320 16 p. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); vol. 7892 LNCS).
Research output: Chapter in Book/Report/Conference proceeding › Conference publication
2008
High-performance technical computing with erlang
Scalas, A., Casu, G. & Pili, P., 1 Dec 2008, Erlang'08: Proceedings of the 2008 SIGPLAN Erlang Workshop. p. 49-60 12 p.
Research output: Chapter in Book/Report/Conference proceeding › Conference publication

Search results