Emilio's web page

Contact

Associate Professor Gran Sasso Science Institute 67100 L'Aquila (Italy) Viale Rendina, 28 Room P2-16 Office Hours: always keen to meet; just drop me an email to fix a meeting. email ['.'/'dot'] +39 0862 428 0312

Highlights Recent talks (full list here)

BehAPI GSSI is almost in :)
ChorGram One of my favourtie hobbies
CIRC Clément Aubert new project on concurrency in reversible computing
Formal Methods Europe Site about FM in Europe
GSSI seminars I’m organising the seminars at GSSI: contact me if you are interested to give a talk

It-Matters final meeting 11-12/07/2023 A talk at the final It-Matters Meeting. July 11, 2023
OPCT 2023 An invited talk at OPCT 2023. July 28, 2023
DisCoTec 2023 An invited tutorial at DisCoTec 2023. July 23, 2023
ISoLA 2022 Presentation at ISoLA 2022. October 26, 2022

Recent stuff	Projects	Tools
We are using sequentialisation for precise race-detection in C-like programsData Races in C with Roland Kuhn and Hernán MelgrattiWe are defining a behavioural typing discipline grounded on local-first principles for P2P networks where peers communicate via event notificationBehavioural types for local-first principles with Agustín Martinez Suñé and Carlos Gustavo PomboWe are defining a dynamic logic indexed with choreographies for the analysis of non-functional properties of communicating systemsChoregraphic and QoS with Franco Barbanera and Ivan LaneseWe are setting an abstract framework for choreographies based on formal languagesChoregraphic automata and formal languages with Alex Coto and Roberto GuancialeModel-driven testing based on choreographies…a first step. We introduce admissible tests and show how to derive them from global specificationsChoregraphy-driven testing with Ugo de’Liguoro and Hernán MelgrattiWe want to equip choreographies with refinement mechanisms in order to enhance modular developmentRefinement of choreographies with Hernán MelgrattiWe advocate a different nature of behavioural specifications that concern more data- than control-flow of protocolsData-driven behavioural specifications with Christian Bartolo Burlo’, Adrian Francalanza, and Alceste ScalasWe are studying model-driven testing based for client-server architecturs based on binary session typesSession-types for testing	DeLiCE: Decentralised Ledgers in Circular Economy PRIN PNRR BehAPI - Behavioural Application Program InterfacesSite leader and Work package leader (Marie Skłodowska-Curie Actions RISE, agreement No 778233, €742,500.00)(1/3/2018 to-date) ASTRA - Advanced Space Technologies and Research Alliance SPOKE GSSI of the Innovation, digitalization and sustainability for the diffused economy in Central Italy - VITALITY. Task leader of the WP2, PNRR ECS_00000041 (Missione 4 Componente 2 Investimento 1.5, €~10M of which ~2M for WP2)(11/10/2022 to-date) Involvement in past projects	Tool-chain for choreographic developmentChorGram An extension of ChorGram for QoS analysisMoCheQoS Partition refinement for history-dependent automataMIHDA An ad-hoc model checker for security protocols ASPASYA and H-ASPASYA

Events Fun & not so fun stuff

OOPSLA 2024 (deadline: 2024/04/05)
DisCoTec (deadline: 2024/02/??)
ECOOP 2024 (deadline: 2024/01/17)
ICTAC (deadline: 2023/6/16)
ETAPS 2024 (deadline: 2023/10/12)
Concur (deadline: )

The Story of a Journal Proposal: quoting Cristina: ‘If there’s any lesson to be learned from the ACM Publications Board’s policies on scientific publication is this: pay attention to their policies, then do the exact opposite.’Lopes’ view on conferences vs. journals in CS
The title says it all, and probably such crimes are also committed outside the ‘systems’ communitySystems Benchmarking Crimes
Publication pressureVardi’s view on publication pressure
CS & societiesPhil’s Rogaway insightful lament about
be carefulGlobalisation and research…
Not so bad after allItalian research is not so bad after all
This video is somehow related to researchKen Robinson’s view on education
Playing with regular expressionsPuzzles & regex
Enclosed is our latest version of Ms. #1996-02-22-RRRRR, that is the re-re-re-revised revision of our paper :))Frustrated authors
Das KapitalLectures on Marx’s [Capital V. 1] by David Harvey

Latest from eM
November 29, 2023: STTT paper online at https://link.springer.com/article/10.1007/s10009-023-00728-9 November 21, 2023: attending the PRO3 workshop on software quality at GSSI! November 08, 2023: teaching again! November 01, 2023: Preparing for the viva at UBA October 25, 2023: Amost done with TACAS artefacts October 23, 2023: ChorGram handles QoS October 20, 2023: attending FACS 2023 October 18, 2023: TACAS papers submitted! Working on artefacts now September 11, 2023: ICTAC paper accepted! Very high quality reviewsgit push! August 03, 2023: STTT paper accepted
Openings: 2 post-docs
If you’re interested in doing research on decentralised finance (DeFi) and formal methods, we’ll soon advertise two post-doc positions (up-to 24 months; call expected by end 2023) funded by the Italian PNRR PRIN 2022 project DeLICE. The posts are at the University of Cagliari (Unica) and the Gran Sasso Science Institute (GSSI); the research will develop formal methods for decentralised finance (DeFi) possibility of interaction among research groups in Cagliari, GSSI, University of Sassari and their international research partners, and with mainstream blockchain foundations (e.g., Ethereum Foundation, IOTA Foundation) expected skills/expertise: blockchain technologies, smart contracts, decentralised finance, formal methods for modelling and verification, logics gross salary: 30K EUR/year (University of Cagliari), 45K EUR/year (GSSI)