Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis



Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus and Pavlogiannis, Andreas
(2020) Optimal and Perfectly Parallel Algorithms for On-demand Data-flow Analysis. PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020), 12075. 112 - 140.

[img] Text
2001.11070.pdf - Submitted Version

Download (1MB) | Preview
Item Type: Article
Uncontrolled Keywords: Data-flow analysis, IFDS, Treewidth
Depositing User: Symplectic Admin
Date Deposited: 22 Apr 2020 15:18
Last Modified: 10 Aug 2022 00:17
DOI: 10.1007/978-3-030-44914-8_5
Related URLs:
URI: https://livrepository.liverpool.ac.uk/id/eprint/3084307