Improving Runtime Overheads for detectEr

Improving Runtime Overheads for detectEr

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 comp...

Full description

Bibliographic Details
Main Authors: Ian Cassar, Adrian Francalanza, Simon Said
Format: Article
Language:English
Published: Open Publishing Association 2015-03-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1503.04912v1
id doaj-dcc269ae48a64234a0cffdf069195a42
record_format Article
spelling doaj-dcc269ae48a64234a0cffdf069195a422020-11-24T22:29:47ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802015-03-01178Proc. FESCA 20151810.4204/EPTCS.178.1:7Improving Runtime Overheads for detectErIan Cassar0Adrian Francalanza1Simon Said2 University of Malta University of Malta University of Malta 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.http://arxiv.org/pdf/1503.04912v1
collection DOAJ
language English
format Article
sources DOAJ
author Ian Cassar
Adrian Francalanza
Simon Said
spellingShingle Ian Cassar
Adrian Francalanza
Simon Said
Improving Runtime Overheads for detectEr
Electronic Proceedings in Theoretical Computer Science
author_facet Ian Cassar
Adrian Francalanza
Simon Said
author_sort Ian Cassar
title Improving Runtime Overheads for detectEr
title_short Improving Runtime Overheads for detectEr
title_full Improving Runtime Overheads for detectEr
title_fullStr Improving Runtime Overheads for detectEr
title_full_unstemmed Improving Runtime Overheads for detectEr
title_sort improving runtime overheads for detecter
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2015-03-01
description 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.
url http://arxiv.org/pdf/1503.04912v1
work_keys_str_mv AT iancassar improvingruntimeoverheadsfordetecter
AT adrianfrancalanza improvingruntimeoverheadsfordetecter
AT simonsaid improvingruntimeoverheadsfordetecter
_version_ 1725743245204389888

Similar Items