Alceste Scalas
Since September 2020,
I am an Assistant Professor in Computer Science at
DTU Compute - Section for Formal Methods (Technical University of Denmark).
My new home page is here. This page is no longer maintained.
I am a lecturer (assistant professor) in Computer Science at
Aston University, Birmingham, UK.
I joined Aston University in March 2019.
Before that, I was a Research Associate at
Imperial College London
(Dept. of Computing),
and member of the
Mobility Reading Group
directed by Prof Nobuko Yoshida.
I earned my PhD in Computer Science in 2015,
at the University of Cagliari (Italy).
Before that, I 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