PSpec: a formal specification language for fine-grained control on distributed data analytics.

Chen Luo, Fei He, Dong Yan, Dan Zhang, Xin Zhou, Bow-Yaw Wang

Browse the full ICSE paper archive.