Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis.

Krishnendu Chatterjee, Amir Kafshdar Goharshady, Rasmus Ibsen-Jensen, Andreas Pavlogiannis

Browse the full ESOP paper archive.