Giorgio Audrito

Registered user since Wed 5 Jul 2017

Name:Giorgio Audrito
Country:Italy
Affiliation:UniversitĂ  di Torino
Research interests:Internet of Things, Programming Languages, Graph Algorithms

Contributions

ACSOS 2022 Committee Member in Program Committee within the Main Track-track
VORTEX 2022 Author of Predictive Semantics for Past-CTL Runtime Monitors within the VORTEX 2022-track
PC Member in VORTEX 2022 Workshop Organizers within the VORTEX 2022-track
ECOOP 2022 Author of Functional programming for distributed systems with XC within the Research Papers-track
VORTEX 2021 Author of Towards Aggregate Monitoring of Spatio-temporal Properties within the VORTEX-track
Author of RM for Users’ Safety and Security in the Built Environment within the VORTEX-track
ACSOS 2021 PC Member in Program Committee within the Main Track-track
ACSOS 2020 Author of FCPP: an efficient and extensible field calculus framework within the Research Papers-track
Organizer of 5th Workshop on Engineering Collective Adaptive Systems (eCAS 2020) within the Workshops and Tutorials-track
VORTEX 2019 Presenter of A Field Calculus Implementation of Spatial Logic within the VORTEX 2019-track
Committee Member in Program Committee within the VORTEX 2019-track
VORTEX 2018 Author of On Distributed runtime verification by aggregate computing within the VORTEX-track
SPLASH 2018 Committee Member in Artifact Evaluation Committee within the Artifacts-track
SPLASH 2017 Committee Member in Artifact Evaluation Committee within the OOPSLA Artifacts-track