Improving Runtime Overheads for detectEr
classification
💻 cs.SE
keywords
detectermonitoroptimisationsoverheadsruntimetoolcomparedconcurrent
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.