Photo of Alceste Scalas

Alceste Scalas

Dr

  • 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

20082021

Research activity per year

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

Search results

  • 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 proceedingConference 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 proceedingConference publication

    Open Access
    File
  • 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 proceedingConference publication

    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 proceedingConference publication

    Open Access
    File
  • 2016

    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 proceedingConference publication

    Open Access
    File
  • 2013

    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 proceedingConference 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 proceedingConference publication

Your message has successfully been sent.
Your message was not sent due to an error.