Maroua Maalej, Vitor Paisante, Pedro Ramos, Laure Gonnord, Fernando Magno Quintão Pereira. Pointer disambiguation via strict inequalities. In Vijay Janapa Reddi, Aaron Smith, Lingjia Tang, editors, Proceedings of the 2017 International Symposium on Code Generation and Optimization, CGO 2017, Austin, TX, USA, February 4-8, 2017. pages 134-147, ACM, 2017. [doi]
Abstract is missing.