ΤΣΑΤΙΡΗΣ ΗΛΙΑΣ, Declarative type inference and SSA transformation of Android applications, 2019,