• Sign in
  • Sign up
conf.researchr.org / Emilio Tuosto
  • ECOOP 2022 profile
  • ECOOP 2025 profile
  • ECOOP and ISSTA 2023 profile
  • ISSTA/ECOOP 2024 profile
  • NWPT 2023 - 34th Nordic Workshop on Programming Theory profile
No Photo

Registered user since Fri 9 Jul 2021

Name:Emilio Tuosto
Country:Italy
Affiliation:Gran Sasso Science Institute, L'Aquila, Italy
Personal website: https://cs.gssi.it/emilio.tuosto/
Research interests:Formal methods for concurrent and distributed systems

Contributions

2025

PLF

  • Author of Compositional Implementation and Verification of Swarms - A Tool Demo within the PLF+PLAID-track

2024

ECOOP

  • Author of Fair join pattern matching for actors within the Technical Papers-track
  • Session Chair of Types 1 (part of Technical Papers)
  • Committee Member in Program Committee within the Technical Papers-track

PLAID

  • Author of Fair Join Pattern Matching for Actors within the PLAID 2024-track
  • Author of Compositional Verification of Swarm Protocols within the PLAID 2024-track

2023

NWPT

  • Author of A New Take on Join Patterns within the NWPT 2023-track

ECOOP

  • Author of Behavioural Types for Local-First Software within the Research Papers-track

2022

ECOOP

  • Author of Design-by-Contract for Flexible Multiparty Session Protocols - Choreography Automata for distributed TypeScript programming within the Research Papers-track
Share
xSat 24 May 01:13
using conf.researchr.org (v1.69.0)
Support page
Sign Up