skip to main content
10.1145/1176617.1176673acmconferencesArticle/Chapter ViewAbstractPublication PagessplashConference Proceedingsconference-collections
Article

Efficient trace monitoring

Published: 22 October 2006 Publication History

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.

References

[1]
Chris Allan, Pavel Avgustinov, Aske Simon Christensen, Laurie Hendren, Sascha Kuzins, Ondrej Lhotak, Oege de Moor, Damien Sereni, Ganesh Sittampalam, and Julian Tibble. Adding Trace Matching with Free Variables to AspectJ. In OOPSLA '05, pages 345-364. ACM Press, 2005.
[2]
Pavel Avgustinov, Julian Tibble, Eric Bodden, Ondrej Lhotak, Laurie Hendren, Oege de Moor, Neil Ongkingco, and Ganesh Sittampalam. Efficient trace monitoring. Technical Report abc-2006-1, www.aspectbench.org, March 2006.
[3]
Remi Douence, Pascal Fradet, andMario Sudholt. Trace-based aspects. In AOSD '04, pages 141-150. Addison-Wesley, 2004.
[4]
Michael Martin, Benjamin Livshits, and Monica S. Lam. Finding application errors using PQL: a program query language. In OOPSLA '05, pages 365-383. ACM Press, 2005.
[5]
Robert Walker and Kevin Viggers. Implementing protocols via declarative event patterns. In ACM Sigsoft International Symposium on Foundations of Software Engineering (FSE-12), pages 159-169. ACM Press, 2004.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
OOPSLA '06: Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
October 2006
530 pages
ISBN:159593491X
DOI:10.1145/1176617
  • General Chair:
  • Peri Tarr,
  • Program Chair:
  • William R. Cook
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. aspect-oriented programming
  2. program analysis
  3. program monitoring
  4. runtime verification

Qualifiers

  • Article

Conference

OOPSLA06
Sponsor:

Upcoming Conference

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)2
  • Downloads (Last 6 weeks)0
Reflects downloads up to 30 Jan 2025

Other Metrics

Citations

Cited By

View all
  • (2018)Forward chaining in HALOComputer Languages, Systems and Structures10.1016/j.cl.2008.06.00235:1(31-47)Online publication date: 20-Dec-2018
  • (2012)FayACM Transactions on Computer Systems (TOCS)10.1145/2382553.238255530:4(1-35)Online publication date: 1-Nov-2012
  • (2012)Partially Evaluating Finite-State Runtime Monitors Ahead of TimeACM Transactions on Programming Languages and Systems10.1145/2220365.222036634:2(1-52)Online publication date: Jun-2012
  • (2011)FayProceedings of the Twenty-Third ACM Symposium on Operating Systems Principles10.1145/2043556.2043585(311-326)Online publication date: 23-Oct-2011
  • (2011)Teaching runtime verificationProceedings of the Second international conference on Runtime verification10.1007/978-3-642-29860-8_4(34-48)Online publication date: 27-Sep-2011
  • (2010)Clara: Partially Evaluating Runtime Monitors at Compile TimeRuntime Verification10.1007/978-3-642-16612-9_8(74-88)Online publication date: 2010
  • (2008)cHALO, stateful aspects in CProceedings of the 2008 AOSD workshop on Aspects, components, and patterns for infrastructure software10.1145/1404891.1404892(1-6)Online publication date: 31-Mar-2008
  • (2008)Transforming Timeline Specifications into Automata for Runtime MonitoringApplications of Graph Transformations with Industrial Relevance10.1007/978-3-540-89020-1_18(249-264)Online publication date: 15-Oct-2008
  • (2007)MopACM SIGPLAN Notices10.1145/1297105.129706942:10(569-588)Online publication date: 21-Oct-2007
  • (2007)MopProceedings of the 22nd annual ACM SIGPLAN conference on Object-oriented programming systems, languages and applications10.1145/1297027.1297069(569-588)Online publication date: 21-Oct-2007
  • Show More Cited By

View Options

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Figures

Tables

Media

Share

Share

Share this Publication link

Share on social media