Speeding up Static Analysis with the Split Operator.

Vincenzo Arceri, Greta Dolcetti, Enea Zaffanella

Browse the full PLDI paper archive.