Symbol-Specific Sparsification of Interprocedural Distributive Environment Problems.

Kadiray Karakaya, Eric Bodden

Browse the full ICSE paper archive.