Horizon: A multi-abstraction framework for graph analyticsAdnan HaiderFabio Checconiet al.2018CF 2018