A lightweight architecture for program execution monitoring

Authors:
Clinton Jeffery;Wenyi Zhou;Kevin Templer;Michael Brazell
Affiliations:
Division of Computer Science, University of Texas, San Antonio;Division of Computer Science, University of Texas, San Antonio;Division of Computer Science, University of Texas, San Antonio;Division of Computer Science, University of Texas, San Antonio
Venue:
Proceedings of the 1998 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
1998

Citing 10
Cited 11

The University of Washington illustrating compiler

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Cone Trees: animated 3D visualizations of hierarchical information

CHI '91 Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
A framework for dynamic program analyzers

OOPSLA '93 Proceedings of the eighth annual conference on Object-oriented programming systems, languages, and applications
ATOM: a system for building customized program analysis tools

PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation
Laying out and visualizing large trees using a hyperbolic space

UIST '94 Proceedings of the 7th annual ACM symposium on User interface software and technology
A framework for execution monitoring in Icon

Software—Practice & Experience
EEL: machine-independent executable editing

PLDI '95 Proceedings of the ACM SIGPLAN 1995 conference on Programming language design and implementation
A procedural interface for program directing

Software—Practice & Experience
Coroutines

Coroutines
Strata-various: multi-layer visualization of dynamics in software system behavior

VIS '94 Proceedings of the conference on Visualization '94

HERCULE: Non-invasively Tracking JavaTM Component-Based Application Activity

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
Tool Support for Testing and Documenting Framework-Based Software

TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
A Dataflow Language for Scriptable Debugging

Proceedings of the 19th IEEE international conference on Automated software engineering
A Taxonomy and Catalog of Runtime Software-Fault Monitoring Tools

IEEE Transactions on Software Engineering
Generic program monitoring by trace analysis

Theory and Practice of Logic Programming
The design and implementation of a dataflow language for scriptable debugging

Automated Software Engineering
Run-Time Enforcement of Nonsafety Policies

ACM Transactions on Information and System Security (TISSEC)
Composing expressive runtime security policies

ACM Transactions on Software Engineering and Methodology (TOSEM)
On the expressiveness and complexity of randomization in finite state monitors

Journal of the ACM (JACM)
Foundations for the run-time monitoring of reactive systems: fundamentals of the MaC language

ICTAC'04 Proceedings of the First international conference on Theoretical Aspects of Computing
Enforcing non-safety security policies with program monitors

ESORICS'05 Proceedings of the 10th European conference on Research in Computer Security

Quantified Score

Hi-index	0.00

Visualization

Abstract

The Alamo monitor architecture reduces the difficulty of writing dynamic analysis tools such as special-purpose profilers, bug-detectors, and visualizations.