Optimal Dyck reachability for data-dependence and alias analysis. - Krishnendu Chatterjee; Bhavya Choudhary; Andreas Pavlogiannis (Proc. ACM Program. Lang., 2018)