English

Improving Runtime Overheads for detectEr

Software Engineering 2015-03-18 v1
Authors: Ian Cassar , Adrian Francalanza , Simon Said
View on arXiv ↗ PDF ↗ DOI ↗

Abstract

We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement these optimisations as part of the existing tool and show that they yield considerably lower runtime overheads when compared to the unoptimised monitor synthesis.

Keywords

runtime monitoring

Cite

@article{arxiv.1503.04912,
  title  = {Improving Runtime Overheads for detectEr},
  author = {Ian Cassar and Adrian Francalanza and Simon Said},
  journal= {arXiv preprint arXiv:1503.04912},
  year   = {2015}
}

Comments

In Proceedings FESCA 2015, arXiv:1503.04378

Related papers

View all related →
Programming Languages · Computer Science
An Approach to Static Performance Guarantees for Programs with Run-time Checks
Maximiliano Klemen, Nataliia Stulova, Pedro Lopez-Garcia, José F. Morales +1
2018-04-09
Logic in Computer Science · Computer Science
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingólfsdóttir
2017-08-25
Logic in Computer Science · Computer Science
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
2015-02-13
Software Engineering · Computer Science
Towards Solving the Challenge of Minimal Overhead Monitoring
David Georg Reichelt, Stefan Kühne, Wilhelm Hasselbring
2023-04-13
Programming Languages · Computer Science
Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
Emanuele De Angelis, Fabio Fioravanti, Adrián Palacios, Alberto Pettorossi +1
2018-09-14
Logic in Computer Science · Computer Science
Accelerated Runtime Verification of LTL Specifications with Counting Semantics
Ramy Medhat, Yogi Joshi, Borzoo Bonakdarpour, Sebastian Fischmeister
2014-11-11
Software Engineering · Computer Science
Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces
Mikhail Chupilko, Alexander Kamkin
2013-03-06
Distributed, Parallel, and Cluster Computing · Computer Science
Redesigning OP2 Compiler to Use HPX Runtime Asynchronous Techniques
Zahra Khatami, Hartmut Kaiser, J. Ramanujam
2017-03-29
Software Engineering · Computer Science
Worst-Case Execution Time Calculation for Query-Based Monitors by Witness Generation
Márton Búr, Kristóf Marussy, Brett H. Meyer, Dániel Varró
2021-11-04
Cryptography and Security · Computer Science
Detecting Fault Injection Attacks with Runtime Verification
Ali Kassem, Yliès Falcone
2019-09-23
Logic in Computer Science · Computer Science
Centralized vs Decentralized Monitors for Hyperproperties
Luca Aceto, Antonis Achilleos, Elli Anastasiadi, Adrian Francalanza +2
2025-05-01
Software Engineering · Computer Science
In Perfect Harmony: Orchestrating Causality in Actor-Based Systems
Vladyslav Mikytiv, Bernardo Toninho, Carla Ferreira
2026-03-19
Computers and Society · Computer Science
Combining Cost-Constrained Runtime Monitors for AI Safety
Tim Tian Hua, James Baskerville, Henri Lemoine, Mia Hopman +2
2025-10-22
Programming Languages · Computer Science
Synthesizing Fine-Grained Synchronization Protocols for Implicit Monitors (Extended Version)
Kostas Ferles, Benjamin Sepanski, Rahul Krishnan, James Bornholt +1
2022-03-17
Logic in Computer Science · Computer Science
Optimal Runtime Verification of Finite State Properties over Lossy Event Streams
Peeyush Kushwaha, Rahul Purandare, Matthew B. Dwyer
2020-04-10
Logic in Computer Science · Computer Science
Towards Partial Monitoring: It is Always too Soon to Give Up
Angelo Ferrando, Rafael C. Cardoso
2021-10-26
Programming Languages · Computer Science
Compiling Away the Overhead of Race Detection
Alexey Paznikov, Andrey Kogutenko, Yaroslav Osipov, Michael Schwarz +1
2025-12-08
Logic in Computer Science · Computer Science
Runtime Verification: Monitoring, Knowledge, and Uncertainty (Lecture Notes)
Benedikt Bollig
2026-04-30
Logic in Computer Science · Computer Science
A Note on Runtime Verification of Concurrent Systems
Martin Leucker
2025-07-08
Software Engineering · Computer Science
Comprehensive Monitor-Oriented Compensation Programming
Christian Colombo, Gordon J. Pace
2014-04-04
Software Engineering · Computer Science
A Survey of Challenges for Runtime Verification from Advanced Application Domains (Beyond Software)
César Sánchez, Gerardo Schneider, Wolfgang Ahrendt, Ezio Bartocci +12
2018-11-19
Logic in Computer Science · Computer Science
Developing Theoretical Foundations for Runtime Enforcement
Ian Cassar, Adrian Francalanza, Luca Aceto, Anna Ingolfsdottir
2018-11-13
Programming Languages · Computer Science
Safe Execution of Concurrent Programs by Enforcement of Scheduling Constraints
Patrick Metzler, Habib Saissi, Péter Bokor, Neeraj Suri
2020-04-15
Logic in Computer Science · Computer Science
Multi-Property Temporal Logic Monitoring
Arınç Demir, Dogan Ulus
2026-05-14
Distributed, Parallel, and Cluster Computing · Computer Science
ActiveMonitor: Non-blocking Monitor Executions for Increased Parallelism
Weil-Lun Hung, Himanshu Chauhan, Vijay K. Garg
2014-08-06
R2 v1 2026-06-22T08:54:50.022Z