OOPSLARuntime pointer disambiguation Fabian Gruber, Johannes Doerfert, Alexandros Lambrineas, Tobias Grosser, Fabrice Rastello, Fernando Magno Quintão Pereira, 2015