Collaborated with:
K.Chatterjee A.Pavlogiannis
Talks about:
reachabl (1) analysi (1) depend (1) optim (1) dyck (1) data (1) alia (1)
Person: Bhavya Choudhary
DBLP: Choudhary:Bhavya
Contributed to:
Wrote 1 papers:
- POPL-2018-ChatterjeeCP #alias #analysis #data flow #reachability
- Optimal Dyck reachability for data-dependence and alias analysis (KC, BC, AP), p. 30.