DiSL: a domain-specific language for bytecode instrumentation
L Marek, A Villazón, Y Zheng, D Ansaloni… - Proceedings of the 11th …, 2012 - dl.acm.org
Many dynamic analysis tools for programs written in managed languages such as Java rely
on bytecode instrumentation. Tool development is often tedious because of the use of low …
on bytecode instrumentation. Tool development is often tedious because of the use of low …
An agent based negotiation protocol for cloud service level agreements
In an agent-based cloud scenario, when two agents, provided with different ontologies
exchange messages to negotiate a Service Level Agreement for a cloud service, they could …
exchange messages to negotiate a Service Level Agreement for a cloud service, they could …
Aspect-oriented race detection in Java
E Bodden, K Havelund - IEEE Transactions on Software …, 2010 - ieeexplore.ieee.org
In the past, researchers have developed specialized programs to aid programmers in
detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data …
detecting concurrent programming errors such as deadlocks, livelocks, starvation, and data …
Introduction to dynamic program analysis with DiSL
DiSL is a new domain-specific language for bytecode instrumentation with complete
bytecode coverage. It reconciles expressiveness and efficiency of low-level bytecode …
bytecode coverage. It reconciles expressiveness and efficiency of low-level bytecode …
Instrumentation for RV: From Basic Monitoring to Advanced Use Cases
Instrumentation is crucial in Runtime Verification because it should ensure that monitors are
fed with relevant and accurate information about the executing program under monitoring …
fed with relevant and accurate information about the executing program under monitoring …
Modularity first: a case for mixing AOP and attribute grammars
P Avgustinov, T Ekman, J Tibble - … of the 7th international conference on …, 2008 - dl.acm.org
We have reimplemented the frontend of the extensible AspectBench Compiler for AspectJ,
using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object …
using the aspect-oriented meta-compiler JastAdd. The original frontend was purely object …
Hotwave: creating adaptive tools with dynamic aspect-oriented programming in java
A Villazón, W Binder, D Ansaloni, P Moret - Proceedings of the eighth …, 2009 - dl.acm.org
Developing tools for profiling, debugging, testing, and reverse engineering is error-prone,
time-consuming, and therefore costly when using low-level techniques, such as bytecode …
time-consuming, and therefore costly when using low-level techniques, such as bytecode …
[HTML][HTML] Detecting broken pointcuts using structural commonality and degree of interest
Pointcut fragility is a well-documented problem in Aspect-Oriented Programming; changes to
the base-code can lead to join points incorrectly falling in or out of the scope of pointcuts …
the base-code can lead to join points incorrectly falling in or out of the scope of pointcuts …
Unifying aspect-and object-oriented design
H Rajan, KJ Sullivan - ACM Transactions on Software Engineering and …, 2009 - dl.acm.org
The contribution of this work is the design and evaluation of a programming language model
that unifies aspects and classes as they appear in AspectJ-like languages. We show that our …
that unifies aspects and classes as they appear in AspectJ-like languages. We show that our …
A design rule language for aspect-oriented programming
AC Neto, R Bonifácio, M Ribeiro, CE Pontual… - Journal of Systems and …, 2013 - Elsevier
Aspect-oriented programming is known as a technique for modularizing crosscutting
concerns. However, constructs aimed to support crosscutting modularity might actually break …
concerns. However, constructs aimed to support crosscutting modularity might actually break …