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 …

An agent based negotiation protocol for cloud service level agreements

F Messina, G Pappalardo, C Santoro… - 2014 IEEE 23rd …, 2014 - ieeexplore.ieee.org
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 …

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 …

Introduction to dynamic program analysis with DiSL

L Marek, Y Zheng, D Ansaloni, L Bulej… - Proceedings of the 4th …, 2013 - dl.acm.org
DiSL is a new domain-specific language for bytecode instrumentation with complete
bytecode coverage. It reconciles expressiveness and efficiency of low-level bytecode …

Instrumentation for RV: From Basic Monitoring to Advanced Use Cases

C Soueidi, Y Falcone - International Conference on Runtime Verification, 2023 - Springer
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 …

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 …

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 …

[HTML][HTML] Detecting broken pointcuts using structural commonality and degree of interest

R Khatchadourian, A Rashid, H Masuhara… - Science of Computer …, 2017 - Elsevier
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 …

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 …

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 …