Kaleidoscope: Precise Invariant-Guided Pointer Analysis

Tapti Palit, Pedro Fonseca 0001. Kaleidoscope: Precise Invariant-Guided Pointer Analysis. In Rajiv Gupta 0001, Nael B. Abu-Ghazaleh, Madan Musuvathi, Dan Tsafrir, editors, Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 3, ASPLOS 2024, La Jolla, CA, USA, 27 April 2024- 1 May 2024. pages 561-576, ACM, 2024. [doi]

Abstract

Abstract is missing.