programs -- Integration of automated and user-level tools toward efficient parallel