Practical Extensions to the IFDS Algorithm. - Nomair A. Naeem; Ondrej Lhoták; Jonathan Rodriguez 002 (CC, 2010)

Actor-Based Parallel Dataflow Analysis. - Jonathan Rodriguez 002; Ondrej Lhoták (CC, 2011)