Software Analysis and Transformation group projects