\chapter{Static extraction of memory-carried dependencies}
