Efficient trace monitoring

Authors:
Pavel Avgustinov;Julian Tibble;Eric Bodden;Laurie Hendren;Ondrej Lhotak;Oege de Moor;Neil Ongkingco;Ganesh Sittampalam
Affiliations:
University of Oxford;University of Oxford;McGill University;McGill University;University of Waterloo;University of Oxford;University of Oxford;University of Oxford
Venue:
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Year:
2006

Citing 3
Cited 5

Implementing protocols via declarative event patterns

Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Adding trace matching with free variables to AspectJ

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Finding application errors and security flaws using PQL: a program query language

OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications

cHALO, stateful aspects in C

Proceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software
An effective sequential statistical test for probabilistic monitoring

Information and Software Technology
Fay: extensible distributed tracing from kernels to clusters

SOSP '11 Proceedings of the Twenty-Third ACM Symposium on Operating Systems Principles
Teaching runtime verification

RV'11 Proceedings of the Second international conference on Runtime verification
Fay: Extensible Distributed Tracing from Kernels to Clusters

ACM Transactions on Computer Systems (TOCS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

A wealth of recent research involves generating program monitors from declarative specifications. Doing this efficiently has proved challenging, and available implementations often produce infeasibly slow monitors. We demonstrate how to dramatically improve performance -- typically reducing overheads to within an order of magnitude of the program's normal runtime.