DOI,IST REx ID,Research Group,Title of publication
10.1145/3158118,10416,KrCh,Optimal Dyck reachability for data-dependence and Alias analysis
