Jirí Simácek: Harnessing Forest Automata for Verification of Heap Manipulating Programs. (Vérification de programmes avec structures de données complexes). Grenoble Alpes University, France 2012