Challenges for refinement and composition of instrumentations: position paper

Authors:
Danilo Ansaloni;Walter Binder;Christoph Bockisch;Eric Bodden;Kardelen Hatun;Lukáš Marek;Zhengwei Qi;Aibek Sarimbekov;Andreas Sewe;Petr Tůma;Yudi Zheng
Affiliations:
University of Lugano, Switzerland;University of Lugano, Switzerland;University of Twente, The Netherlands;Technische Universität Darmstadt, Germany;University of Twente, The Netherlands;Charles University, Czech Republic;Shanghai Jiao Tong University, China;University of Lugano, Switzerland;Technische Universität Darmstadt, Germany;Charles University, Czech Republic;Shanghai Jiao Tong University, China
Venue:
SC'12 Proceedings of the 11th international conference on Software Composition
Year:
2012

Citing 16
Cited 1

Exploiting hardware performance counters with flow and context sensitive profiling

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
JAsCo: an aspect-oriented approach tailored for component based software development

Proceedings of the 2nd international conference on Aspect-oriented software development
Load-Time Structural Reflection in Java

ECOOP '00 Proceedings of the 14th European Conference on Object-Oriented Programming
An Overview of AspectJ

ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Soot - a Java bytecode optimization framework

CASCON '99 Proceedings of the 1999 conference of the Centre for Advanced Studies on Collaborative research
Flexible calling context reification for aspect-oriented programming

Proceedings of the 8th ACM international conference on Aspect-oriented software development
Mnemonics: type-safe bytecode generation at run time

Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation
The RoadRunner Dynamic Analysis Framework for Concurrent Programs

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Composition of dynamic analysis aspects

GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Polymorphic bytecode instrumentation

Proceedings of the tenth international conference on Aspect-oriented software development
Comprehensive aspect weaving for Java

Science of Computer Programming
Flexible and efficient profiling with aspect-oriented programming

Concurrency and Computation: Practice & Experience
DiSL: a domain-specific language for bytecode instrumentation

Proceedings of the 11th annual international conference on Aspect-oriented Software Development
An overview of caesarj

Transactions on Aspect-Oriented Software Development I
A framework for policy driven auto-adaptive systems using dynamic framed aspects

Transactions on Aspect-Oriented Software Development II
Turbo DiSL: partial evaluation for high-level bytecode instrumentation

TOOLS'12 Proceedings of the 50th international conference on Objects, Models, Components, Patterns

Challenges in defining a programming language for provably correct dynamic analyses

ISoLA'12 Proceedings of the 5th international conference on Leveraging Applications of Formal Methods, Verification and Validation: technologies for mastering change - Volume Part I

Quantified Score

Hi-index	0.00

Visualization

Abstract

Instrumentation techniques are widely used for implementing dynamic program analysis tools like profilers or debuggers. While there are many toolkits and frameworks to support the development of such low-level instrumentations, there is little support for the refinement or composition of instrumentations. A common practice is thus to copy and paste from existing instrumentation code. This, of course, violates well-established software engineering principles, results in code duplication, and hinders maintenance. In this position paper we identify two challenges regarding the refinement and composition of instrumentations and illustrate them with a running example.