D. Prokesch: "Single-Path Code Generation and Input-Data Dependence Analysis"; Talk: T-CREST/parMERASA/CERTAINTY Workshop, Madrid; 2014-07-10.
http://publik.tuwien.ac.at/files/PubDat_236069.pdf