Improving Runtime Overheads for detectEr
Ian Cassar (University of Malta), Adrian Francalanza (University of, Malta), Simon Said (University of Malta)
TL;DR
This paper presents optimizations for detectEr, a runtime verification tool for Erlang, significantly reducing runtime overheads by improving monitor synthesis efficiency.
Contribution
The paper introduces specific monitor optimizations integrated into detectEr, enhancing its performance in runtime verification of concurrent Erlang programs.
Findings
Lower runtime overheads demonstrated with optimizations
Optimizations integrated into existing detectEr tool
Significant performance improvements over unoptimized version
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.