@misc{indiciae2839aea3e4b4, title = {Optimal Dyck Reachability for Data-Dependence and Alias Analysis}, author = {Krishnendu Chatterjee and Bhavya Choudhary and Andreas Pavlogiannis}, year = {2019}, url = {https://arxiv.org/abs/1910.00241}, note = {Source identifier: 1910.00241} }