Runtime Monitoring (RM) is concerned with the runtime analysis of software and hardware system executions in order to infer properties relating to system behaviour. Example applications include telemetry, log aggregation, threshold alerting, performance monitoring and adherence to correctness properties (more commonly referred to as runtime verification).

RM has gained popularity as a solution to ensure software reliability, bridging the gap between formal verification and testing: on the one hand, the notion of event trace abstracts over system executions, thus favoring system agnosticism to better support reuse and interoperability; on the other hand, monitoring a system offers more opportunities for addressing error recovery, self-adaptation, and issues that go beyond software reliability.

The goal of VORTEX is to bring together researchers contributing on all aspects of RM covering and possibly integrating both theoretical and practical aspects, with particular focus on hybrid approaches inspired by formal methods, program analysis, and testing.

Plenary
You're viewing the program in a time zone which is different from your device's time zone change time zone

Tue 18 Jul

Displayed time zone: Pacific Time (US & Canada) change

08:00 - 08:30
Coffee and Light BreakfastCatering at Microsoft Atrium (Allen Center)
08:00
30m
Coffee break
Break
Catering

09:00 - 10:00
09:00
60m
Keynote
Towards Code-Aware Code Models
Keynotes
K: Baishakhi Ray Columbia University
10:00 - 10:30
10:00
30m
Coffee break
Break
Catering

10:30 - 12:00
10:30
20m
Talk
Runtime Monitoring of Human Behaviour with Aggregate Computing on Android
VORTEX
Volker Stolz Høgskulen på Vestlandet, Giorgio Audrito Università di Torino
Media Attached
10:50
20m
Talk
On Stream Runtime Verification and Aggregate Programming
VORTEX
Ferruccio Damiani University of Turin, Gianluca Torta Dipartimento di Informatica - Università di Torino, Italy
11:10
20m
Talk
Combining Static and Runtime Verification with AC and Coq
VORTEX
Giorgio Audrito Università di Torino, Daniel Haures University of Turin, Italy
12:00 - 13:30
12:00
90m
Lunch
Lunch
Catering

13:30 - 15:00
13:30
30m
Talk
RV4Rasa: a formalism-agnostic Runtime Verification framework for verifying ChatBots in Rasa
VORTEX
Angelo Ferrando , Andrea Gatti University of Genoa, Italy, Viviana Mascardi DIBRIS, University of Genova, Italy
14:00
20m
Talk
Monitoring for resource-awareness
VORTEX
Riccardo Bianchini University of Genoa
15:00 - 15:30
15:00
30m
Coffee break
Break
Catering

Call for Papers

Submissions are expected to be in English and to belong to one of the following two categories:

  • regular paper, page limit 8 in acmart sigconf style: unpublished self-contained work
  • extended abstract, page limit 4 in acmart sigconf style: original contribution, not yet fully developed

Topics of interest include, but are not limited to, the following ones:

  • monitor construction and synthesis techniques
  • program adaptation
  • monitoring oriented programming
  • runtime enforcement, fault detection, recovery and repair
  • combination of static and dynamic analyses
  • specification formalisms for RM
  • specification mining
  • monitoring concurrent/distributed systems
  • RM for safety and security
  • RM for the Internet of Things
  • industrial applications
  • integrating RM, formal verification, and testing
  • tool development
  • instrumentation techniques for RM
  • surveys on different RM tools, formal frameworks or methodologies
  • presentations of RM tools
  • techniques to increase coverage of RM, as concolic execution

Papers must be submitted electronically via EasyChair; the submission deadline is April 30 AoE. Authors should use the official ACM Master article template, which can be obtained from the ACM Proceedings Template pages.

Latex users should use the sigconf option, as well as review to produce line numbers for easy reference by the reviewers, as indicated by the following command:

\documentclass[sigconf,review]{acmart}

Remark: Although attendance in person is strongly encouraged, on line presentations at the workshop will be supported in case of need.

Proceedings

Depending on the quality and number of submissions, the workshop proceedings will be published in the ACM DL, and authors of selected papers will be invited to contribute with extended versions to be included in a special issue of the Journal of Object Technology (JOT)