1 citations · 1 across the 2 of their papers we have counts for
3 papers
Holon Streaming: Global Aggregations with Windowed CRDTs
Jonas Spenger, Kolya Krafeld, Ruben van Gemeren +2
Scaling global aggregations is a challenge for exactly-once stream processing systems. Current systems implement these either by computing the aggregation in a single task instance…
Failure Transparency in Stateful Dataflow Systems (Technical Report)
Aleksey Veresov, Jonas Spenger, Paris Carbone +1
Failure transparency enables users to reason about distributed systems at a higher level of abstraction, where complex failure-handling logic is hidden. This is especially true for…
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Jens Kanstrup Larsen, Roberto Guanciale, Philipp Haller +1
Software-Defined Networking (SDN) significantly simplifies programming, reconfiguring, and optimizing network devices, such as switches and routers. The de facto standard for progr…