Title: DeepWeaver: a Declarative Framework for Analysis and Optimization 

Paul Kelly


Abstract

DeepWeaver-1 is a tool supporting cross-cutting program analysis and 
transformation components, called ``weaves''. Like an aspect, a DeepWeaver weave 
consists of a query part, and a part which may modify code. DeepWeaver's query 
language is based on Prolog, and provides access to data-flow and control-flow 
reachability analyses. DeepWeaver provides a declarative way to access the 
internal structure of methods, and supports cross-cutting weaves which operate 
on code blocks from different parts of the codebase simultaneously. DeepWeaver 
operates at the level of bytecode, but offers predicates to extract structured 
control flow constructs. This talk will motivate the design, and demonstrate 
some its power, using a sequence of examples including performance profiling and 
domain-specific performance optimisations for database access and remote method 
invocation.