Efficient Interprocedural Data-Flow Analysis Using Treedepth and Treewidth.

Amir Kafshdar Goharshady, Ahmed Khaled Zaher

Browse the full VMCAI paper archive.