1 citations · 2 across the 4 of their papers we have counts for
3 papers · 1 filter
Behavioural Types for Heterogeneous Systems (Position Paper)
Simon Fowler, Philipp Haller, Roland Kuhn +3
Behavioural types provide a promising way to achieve lightweight, language-integrated verification for communication-centric software. However, a large barrier to the adoption of b…
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…
Object Capabilities and Lightweight Affinity in Scala: Implementation, Formalization, and Soundness
Philipp Haller, Alexandre Loiko
Aliasing is a known source of challenges in the context of imperative object-oriented languages, which have led to important advances in type systems for aliasing control. However,…