Precise Dataflow Analysis of Event-Driven Applications. - Ming-Ho Yee; Ayaz Badouraly; Ondrej Lhoták; Frank Tip; Jan Vitek (CoRR, 2019)