Plumb: Efficient stream processing of multi‐user pipelines. (11th October 2020)