40 citations
- Technical University of DenmarkDK9 papers
- University of CopenhagenDK3 papers
- Ames National LaboratoryUS2 papers
- Commissariat à l'Énergie Atomique et aux Énergies AlternativesFR2 papers
- École Polytechnique Fédérale de LausanneCH2 papers
- Helmholtz-Zentrum Berlin für Materialien und EnergieDE2 papers
- Iowa State UniversityUS2 papers
- Paul Scherrer InstituteCH2 papers
- Utrecht UniversityNL2 papers
- Aarhus UniversityDK1 paper
- Australian Nuclear Science and Technology OrganisationAU1 paper
- Brookhaven National LaboratoryUS1 paper
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 1 cited
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…
cs.PL2023★ 22 cited
A Deductive Verification Infrastructure for Probabilistic Programs (Extended Version)
Philipp Schröer, Kevin Batz, Benjamin Lucien Kaminski +2
This paper presents a quantitative program verification infrastructure for discrete probabilistic programs. Our infrastructure can be viewed as the probabilistic analogue of Boogie…