Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems. - Karakaya, Kadiray; Bodden, Eric (ICSE: International Conference on Software Engineering, 2024)