research
∙
09/07/2023
P4R-Type: a Verified API for P4 Control Plane Programs (Technical Report)
Software-Defined Networking (SDN) significantly simplifies programming, ...
share
research
∙
11/01/2022
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
Efficient parallelization of algorithms on general-purpose GPUs is today...
research
∙
07/01/2019
On consistency types for lattice-based distributed programming languages
Distributed systems address an increasing demand for fast access to reso...
research
∙
05/14/2018
A Chaos Engineering System for Live Analysis and Falsification of Exception-handling in the JVM
Software systems contain resilience code to handle those failures and un...
research
∙
02/26/2018