ECOOP 2022
Mon 6 June - Thu 7 July 2022 Berlin, Germany

VORTEX 2022: Workshop on Verification and mOnitoring at Runtime EXecution

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, testing.

This workshop has been partially funded by the MUR project “T-LADIES” (PRIN 2020TL3X8X)

Keynotes

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

Mon 6 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

10:30 - 11:00
10:30
30m
Coffee break
Coffee break
Catering

11:00 - 12:30
Morning sessionVORTEX at Stockholm
Chair(s): Davide Ancona DIBRIS, University of Genova, Italy
11:00
5m
Day opening
Opening
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta
11:05
40m
Keynote
Specification-Guided Hybrid Dynamic Verification for Parallel and Distributed Programming (online talk)
VORTEX
I: Nobuko Yoshida Imperial College London
11:45
20m
Talk
Towards a Secure Framework for Artifact-centric Workflows Leveraging Runtime Enforcement (online talk)
VORTEX
S: Gaurav Gupta , Saumya Shankar , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar
12:05
20m
Talk
VSMoN: Runtime Monitoring Based Data-driven Remote Vital Sign Monitoring System (online talk)
VORTEX
S: Rahul Bharadwaj Pendyala , Srinivas Pinisetty Indian Institute of Technology Bhubaneswar, Abhinandan Panda
12:30 - 13:30
12:30
60m
Lunch
Lunch
Catering

13:30 - 15:00
First afternoon sessionVORTEX at Stockholm
Chair(s): Gary Leavens University of Central Florida
13:30
40m
Keynote
Hardware-assisted Runtime Monitoring
VORTEX
I: Volker Stolz Høgskulen på Vestlandet
Link to publication
14:10
20m
Talk
Predictive Semantics for Past-CTL Runtime Monitors
VORTEX
S: Giorgio Audrito Università di Torino, Volker Stolz Høgskulen på Vestlandet, Gianluca Torta
14:30
20m
Talk
HIBOU : Tooling Offline Runtime Verification against Interaction Models
VORTEX
15:00 - 15:30
15:00
30m
Coffee break
Coffee break
Catering

15:30 - 17:00
Second afternoon sessionVORTEX at Stockholm
Chair(s): Volker Stolz Høgskulen på Vestlandet
15:30
40m
Keynote
To Monitorability and Beyond (online talk)
VORTEX
I: Antonis Achilleos Reykjavik University
16:10
20m
Talk
Using Fuzzers and Lightweight Specifications to Reveal Semantic Bugs
VORTEX
Amirfarhad Nilizadeh University of Central Florida, S: Gary Leavens University of Central Florida
16:30
20m
Talk
Runtime monitoring of Java duplicate memory allocations (online talk)
VORTEX
16:50
5m
Day closing
Closing
VORTEX
Davide Ancona DIBRIS, University of Genova, Italy, Adrian Francalanza University of Malta

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 style: unpublished self-contained work
  • extended abstract, page limit 4 in acmart style: original contribution, not yet fully developed

Page limits do not include references and optional appendixes.

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

Papers must be submitted electronically via EasyChair; the submission deadline is April 18 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}

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)

Questions? Use the VORTEX contact form.