|
P27: Efficient Trace Monitoring |
P27: Efficient Trace Monitoring 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. Pavel Avgustinov, University of Oxford
Julian Tibble, University of Oxford
Eric Bodden, McGill University
Ondrej Lhotak, University of Waterloo
Laurie Hendren, McGill University
Oege de Moor, University of Oxford |
