STARS - STAtic+Runtime verification Synergies @ SEFM 2026
STARS 2026 is new a forum for researchers interested in exploring and advancing the integration of static and runtime verification techniques. It will take place on 23/24 November in Malta, as a satellite event of SEFM 2026.
in Workshops by Alceste Scalas on August 12, 2026

Highlights and important dates

STARS 2026 welcomes the submission of both talk proposals and full papers. If accepted, the full papers will be published in the post-proceedings (Springer LMCS, to be confirmed). We are also planning a later journal special issue (quite likely, on Elsevier JLAMP). For further details, feel free to contact the organisers (stars2026@easychair.org) or visit the website: https://stars-workshop.github.io/

Invited speakers

Submission link: https://easychair.org/conferences/?conf=stars2026

  • 3 September 2026: Abstracts for full papers
  • 8 September 2026: Full papers
  • 15 September 2026: Talk proposals
  • 7 October 2026: Author notifications
  • 23/24 November 2026: Workshop satellite event of SEFM 2026 in Malta

Motivation and topics

Static and runtime verification are extremely successful approaches to software correctness. On the one hand, static verification requires access to program code and guarantees the absence of bugs, but may produce false positives. On the other hand, runtime verification can work without program code access and can be tailored to only report real bugs, but cannot find latent bugs before execution.

These techniques can complement each other. For instance, runtime monitors can be deployed to observe parts of a system that cannot be statically verified, or to enforce properties for which static verification may be too restrictive. This interplay is especially relevant for heterogeneous systems where some components cannot be statically analysed. Some combinations of static and runtime verification are already widely studied (for instance, gradual typing), but the broader design space is rich and worth deeper exploration.

STARS 2026 welcomes the submission of talk proposals and papers on theoretical and practical approaches that combine static and runtime verification, including but not limited to:

  • Program analysis and verification
  • Monitor synthesis
  • Gradual typing
  • Instrumentation techniques
  • System adaptation, including shields, gateways, and interceptors
  • Correct-by-construction techniques such as controlled system synthesis and supervisory control
  • Fault detection, isolation, recovery, and repair
  • Correctness specification and specification mining
  • Applications to security and the Internet of Things
  • Surveys, retrospective studies, position papers, benchmarking studies, empirical evaluations, and tool papers related to the above

STARS 2026 is partially supported by the Independent Research Fund Denmark project Hyben.

Organisers

Programme Committee