D${}^2$ABS: A Framework for Dynamic Dependence Abstraction of Distributed Programs

Haipeng Cai, Xiaoqin Fu

As modern software systems are increasingly developed for running in distributed environments, it is crucial to provide fundamental techniques such as dependence analysis for check…