alceste (dot) scalas (at) imperial (dot) ac (dot) uk
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
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).
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.
“Effpi: concurrent programming with dependent behavioural types” (joint work with E. Benussi and N. Yoshida). To be presented at:
- 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
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
Lightweight session programming in Scala
(joint work with N. Yoshida).
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).
- 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)
semantic deconstruction of session types. Successfully defended on May 2015 (final score: excellent)