Data-trace types for distributed stream processing systems.

Konstantinos Mamouras, Caleb Stanford, Rajeev Alur, Zachary G. Ives, Val Tannen

Browse the full PLDI paper archive.