Integrating program analyses with programmer productivity tools.
Towards the systematic measurement of ATL transformation models.
Safe, multiphase bounds check elimination in Java.
Monitoring of Probabilistic Timed Property Sequence Charts.
Compiler-assisted dynamic scratch-pad memory management with space overlapping for embedded systems.