Komal Pathade, Uday P. Khedker. Computing partially path-sensitive MFP solutions in data flow analyses. In Christophe Dubach, Jingling Xue, editors, Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. pages 37-47, ACM, 2018. [doi]
Abstract is missing.