Data-flow analysis for heterogeneous programs. - Hanin Halawani (2025)