Program analysis for event-based distributed systems
Staying FIT: Efficient Load Shedding Techniques for Distributed Stream Processing