Alceste Scalas
Since March 2019,
I am a lecturer (assistant professor) in Computer Science at
Aston University, Birmingham, UK.
My new home page is here. This page is no longer maintained.
I am a Research Associate at
Imperial College London,
Department of Computing. I am a member of the
Mobility Reading Group, directed by Prof. Nobuko
Yoshida.
I earned my PhD in May 2015 at the University of Cagliari (score: excellent). Earlier, I earned a BSc and a MSc in Informatics (both
cum laude) at the University of Cagliari, worked as software developer in industry, and as research software engineer in several projects at CRS4 (Center for Advanced Studies, Research and
Development in Sardinia).
Research interests
I am interested in the theory and practice of concurrent and distributed systems: how to design and develop correct and reliable applications, by building upon rigorous mathematical foundations.
My main research topics are: formal methods, concurrency theory, distributed systems, programming languages, type systems.
I am particularly keen on producing theoretically-grounded tools and libraries to aid software design, development, and verification.
News
New publications:
Events
Tools
Research projects
Publications
(Also on
DBLP)
- Alceste Scalas, Nobuko Yoshida, Elias Benussi.
Effpi: Verified Message-Passing Programs in Dotty (tool paper). Proc. ACM SIGPLAN Scala Symposium 2019.
- Alceste Scalas, Nobuko Yoshida, Elias Benussi.
Verifying Message-Passing Programs with Dependent Behavioural Types. Proc. PLDI 2019.
-
Silvia Ghilezan, Svetlana Jakšić,
Jovanka Pantović, Alceste Scalas, and Nobuko Yoshida.
Precise subtyping for synchronous multiparty sessions.
Journal of Logical and Algebraic Methods in Programming, Vol. 109,
April 2019.
- Alceste Scalas, Nobuko Yoshida.
Less is More: Multiparty Session Types Revisited. Proc. POPL 2019.
- Alceste Scalas, Nobuko Yoshida.
Multiparty Session Types, Beyond Duality. Journal of Logical and Algebraic Methods in Programming, 2018.
- Alceste Scalas, Ornela Dardha, Raymond Hu, Nobuko Yoshida.
A Linear Decomposition of Multiparty Sessions for Safe
Distributed Programming (+ artifact). Proc. ECOOP 2017.
- Alceste Scalas, Nobuko Yoshida.
Multiparty Session Types, Beyond Duality (Abstract). Proc. PLACES 2017.
- Tzu-chun Chen, Mariangiola Dezani-Ciancaglini, Alceste Scalas, Nobuko Yoshida. On the Preciseness of Subtyping in
Session Types. Logical Methods in Computer Science, 2017.
- Massimo Bartoletti, Alceste Scalas, Emilio Tuosto, Roberto Zunino. Honesty By Typing. Logical Methods in Computer Science, 2016.
- A. Scalas, N. Yoshida. Lightweight Session Programming
in Scala (+ artifact). Proc. ECOOP 2016. For the latest version of the artifact, visit: http://alcestes.github.io/lchannels
- M. Bartoletti, M. Murgia, A. Scalas. R. Zunino. Verifiable abstractions for contract-oriented systems. Journal of Logical and Algebraic Methods in Programming, 2015.
- A. Scalas, M. Bartoletti. The LTS WorkBench. Proc. ICE 2015, 4-5 June 2015, Granoble, France. For the implementation, see the LTS WorkBench page
- M. Bartoletti, J. Lange, A. Scalas, R. Zunino. Choreographies in the wild. Accepted for publication in Science of Computer Programming, 2014.
- M. Bartoletti, A. Scalas, R. Zunino. A semantic deconstruction of session types. Proc. CONCUR'14, 1-6 September 2014, Rome, Italy. (For an extended version with proofs, see the PhD thesis below)
- M. Bartoletti, M. Murgia, A. Scalas, R. Zunino. Modelling and verifying contract-oriented systems in Maude. WRLA'14, 5-6 April 2014, Grenoble, France. Extended version available on the TCS publications page.
- J. Lange, A. Scalas. Choreography synthesis as contract agreement. ICE 2013, 6 June 2013 , Florence, Italy. Extended version available on the TCS publications page.
-
M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by typing. FORTE/FMOODS'13, 3-6 June 2013, Florence, Italy. Extended technical report available on the TCS publications page.
-
A. Scalas, G. Casu, P. Pili. High-performance technical
computing with
Erlang. ACM SIGPLAN
Erlang Workshop (satellite event of ACM ICFP), 27 September 2008.
Peer-reviewed workshops (without formal proceedings)
- M. Bartoletti, A. Scalas, R. Zunino. Towards a theory of honesty. HotSpot'14, 5 April 2014, Grenoble, France.
-
M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. Honesty by
typing (preliminar version). BEAT'13, 22 January 2013, Rome, Italy.
-
M. Bartoletti, A. Scalas, E. Tuosto, R. Zunino. What if
contracts are violated? (short
paper). FLACOS'12, 19 September 2012, Bertinoro, Italy.
Seminars and invited talks
-
Effpi: concurrent programming with dependent behavioural types (joint work with E. Benussi and N. Yoshida). Presented at:
-
Lightweight session programming in Scala
(joint work with N. Yoshida).
Presented at:
-
Dagstuhl seminar:
Theory and Applications of Behavioural Types.
Schloss Dagstuhl, 29 Jan -- 3 Feb 2017.
-
Multiparty session types and their applications.
Univ. of Novi Sad (Serbia), 4 March 2016
(with N. Yoshida).
-
A gentle introduction to concurrency theory.
CRS4, May 26, 2015.
- A semantic deconstruction of session types
(joint work with M. Bartoletti and R. Zunino). Presented at:
- Imperial College London, December 4, 2014.
- University of Glasgow, February 3, 2015.
-
Contract-oriented computing in CO2
(joint work with M. Bartoletti, E. Tuosto, and R. Zunino).
Presented at:
- University of Cagliari - MSc Seminar, course on "Foundations of security" (December 17-18, 2013)
- OPLSS 2013 Student Talks (August 1, 2013)
-
University of Cagliari - PhD/MSc Seminar, course on "Foundations of security" (March 26, 2013)
-
University of Pisa - "Mauriana Pesaresi" PhD Seminars (December 13, 2012)
-
University of Leicester - PhD Seminars (October 4, 2012)
-
FOSAD 2012 - open session (September 8, 2012)
PhD Thesis
A
semantic deconstruction of session types. Successfully defended on May 2015 (final score: excellent)
Other writings