Improving Runtime Overheads for detectEr
This work addresses runtime performance issues for users of detectEr, an Erlang verification tool, but is incremental as it builds on an existing method.
The authors tackled the problem of high runtime overheads in detectEr, a runtime-verification tool for Erlang programs, by designing and implementing monitor optimisations, resulting in considerably lower runtime overheads compared to the unoptimised version.
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.